| user: | livingparadox |
| created: | May 2, 2013 |
| karma: | 510 |
| 1. | ISIS Remote Control Agent OPSEC(medium.com) |
| 2. | Private Keys on Web Servers(golem.de) |
| 3. | Mozilla and NSF offer $2M prize to decentralize the web(blog.mozilla.org) |
| 4. | Password Manager That Doesn't Need to Sync(github.com) |
| 5. | Boogie: An Intermediate Verification Language(microsoft.com) |