| Subject | Datestamp | Replies | Score | |||
|---|---|---|---|---|---|---|
| Formally verified != bug-free | ||||||
| attached to A Suite of Digital Cryptography Tools, Released Today, Has Been Mathematically Proven To Be Completely Secure and Free of Bugs | ||||||
Term, holidays, term, holidays, till we leave school, and then work, work, work till we die. -- C.S. Lewis
