Continuous Formal Verification of Amazon s2n
暂无分享,去创建一个
Brian Huffman | Serdar Tasiran | Byron Cook | Stephen Magill | Nathan Collins | Edwin M. Westbrook | Aaron Tomb | Eric Mertens | Andrey Chudnov | Joey Dodds | Colm MacCárthaigh | Eric Mullen | Eddy Westbrook | S. Tasiran | B. Cook | Stephen Magill | Nathan Collins | B. Huffman | A. Chudnov | J. Dodds | Colm MacCárthaigh | Eric Mertens | Eric Mullen | Aaron Tomb
[1] Manuel Barbosa,et al. Compiling CAO: From Cryptographic Specifications to C Implementations , 2014, POST.
[2] Alfredo Pironti,et al. A Messy State of the Union: Taming the Composite State Machines of TLS , 2015, 2015 IEEE Symposium on Security and Privacy.
[3] Andrew W. Appel,et al. Verified Correctness and Security of OpenSSL HMAC , 2015, USENIX Security Symposium.
[4] Alfredo Pironti,et al. Proving the TLS Handshake Secure (as it is) , 2014, IACR Cryptol. ePrint Arch..
[5] Tim Dierks,et al. The Transport Layer Security (TLS) Protocol Version 1.2 , 2008 .
[6] Karthikeyan Bhargavan,et al. HACL*: A Verified Modern Cryptographic Library , 2017, CCS.
[7] J. Gregory Morrisett,et al. The Foundational Cryptography Framework , 2014, POST.
[8] W. Marsden. I and J , 2012 .
[9] Elaine B. Barker,et al. The Keyed-Hash Message Authentication Code (HMAC) | NIST , 2002 .
[10] Peter W. O'Hearn,et al. Continuous Reasoning: Scaling the impact of formal methods , 2018, LICS.
[11] Nikhil Swamy,et al. Implementing and Proving the TLS 1.3 Record Layer , 2017, 2017 IEEE Symposium on Security and Privacy (SP).
[12] Peter Sewell,et al. Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation , 2015, USENIX Security Symposium.
[13] Hao Zhou,et al. Transport Layer Security (TLS) Session Resumption without Server-Side State , 2008, RFC.
[14] Benjamin Grégoire,et al. Jasmin: High-Assurance and High-Speed Cryptography , 2017, CCS.
[15] Eric Rescorla,et al. The Transport Layer Security (TLS) Protocol Version 1.1 , 2006, RFC.
[16] Joeri de Ruiter,et al. Protocol State Fuzzing of TLS Implementations , 2015, USENIX Security Symposium.
[17] Peter Sewell,et al. Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation , 2015 .
[18] Donald Eastlake rd,et al. Transport Layer Security (TLS) Extensions: Extension Definitions , 2011 .
[19] Alfredo Pironti,et al. Implementing TLS with Verified Cryptographic Security , 2013, 2013 IEEE Symposium on Security and Privacy.
[20] John Matthews,et al. Pragmatic equivalence and safety checking in Cryptol , 2009, PLPV '09.