Verified Secure Implementations for the HTTPS Ecosystem

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security - PLAS'16 ◽

10.1145/2993600.2996279 ◽

2016 ◽

Author(s):

Cédric Fournet

Download Full-text