Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook
Continuous Formal Verification of Amazon s2n
CAV, 2018.
@inproceedings{CAV-2018-ChudnovCCDHMMMM,
author = "Andrey Chudnov and Nathan Collins and Byron Cook and Joey Dodds and Brian Huffman and Colm MacCárthaigh and Stephen Magill and Eric Mertens and Eric Mullen and Serdar Tasiran and Aaron Tomb and Eddy Westbrook",
booktitle = "{Proceedings of the 30th International Conference on Computer Aided Verification, Part II}",
doi = "10.1007/978-3-319-96142-2_26",
isbn = "['978-3-319-96141-5', '978-3-319-96142-2']",
pages = "430--446",
publisher = "{Springer}",
title = "{Continuous Formal Verification of Amazon s2n}",
year = 2018,
}
Tags:
