« earlier | later » Page 1 of 1
Kryptos Logic Research: OpenSSL's squaring bug, and opportunistic formal verification
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
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 | openssl |
| 2 | security |
| 1 | ssl |
| 1 | static-analysis |
| 1 | testing |
tasty by Adam Sampson.