« earlier | later » Page 1 of 1
Kryptos Logic Research: OpenSSL's squaring bug, and opportunistic formal verification edit / delete
Detecting an OpenSSL bug (after the fact) using formal verification. Interesting because the original formal proof was wrong...
to formal-methods openssl security ssl ... on 16 March 2015
How to Prevent the next Heartbleed edit / delete
An interesting review of some of the approaches that didn't prevent the OpenSSL heartbeat bug (either because they weren't effective or because they weren't applied).
to buffer-overflow checking openssl security static-analysis testing ... on 02 May 2014
« earlier | later » Page 1 of 1
| - openssl | |
| 1 | + buffer-overflow |
| 1 | + checking |
| 1 | + formal-methods |
| 2 | + security |
| 1 | + ssl |
| 1 | + static-analysis |
| 1 | + testing |
tasty by Adam Sampson.