Hacker News new | ask | show | jobs
by Jolter 57 days ago
Is it possible to prove security properties about a web application?