| Formally Verified Cryptographic Web Applications in WebAssembly |
40th IEEE Symposium on Security and Privacy
|
| FLEXTLS: A Tool for Testing TLS Implementations |
WOOT '15
|
| A Messy State of the Union: Taming the Composite State Machines of TLS |
36th IEEE Symposium on Security and Privacy
|