%0 Conference Paper %1 conf/uss/BondHKLLPRST17 %A Bond, Barry %A Hawblitzel, Chris %A Kapritsos, Manos %A Leino, K. Rustan M. %A Lorch, Jacob R. %A Parno, Bryan %A Rane, Ashay %A Setty, Srinath T. V. %A Thompson, Laure %B USENIX Security Symposium %D 2017 %E Kirda, Engin %E Ristenpart, Thomas %I USENIX Association %K dblp %P 917-934 %T Vale: Verifying High-Performance Cryptographic Assembly Code. %U http://dblp.uni-trier.de/db/conf/uss/uss2017.html#BondHKLLPRST17

@inproceedings{conf/uss/BondHKLLPRST17, added-at = {2021-02-01T00:00:00.000+0100}, author = {Bond, Barry and Hawblitzel, Chris and Kapritsos, Manos and Leino, K. Rustan M. and Lorch, Jacob R. and Parno, Bryan and Rane, Ashay and Setty, Srinath T. V. and Thompson, Laure}, biburl = {https://www.bibsonomy.org/bibtex/21a0f35da7cb3f842997d39b728a0613c/dblp}, booktitle = {USENIX Security Symposium}, crossref = {conf/uss/2017}, editor = {Kirda, Engin and Ristenpart, Thomas}, ee = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond}, interhash = {11c054a41b41d7da8573e4985ec4c481}, intrahash = {1a0f35da7cb3f842997d39b728a0613c}, keywords = {dblp}, pages = {917-934}, publisher = {USENIX Association}, timestamp = {2024-04-09T15:39:20.000+0200}, title = {Vale: Verifying High-Performance Cryptographic Assembly Code.}, url = {http://dblp.uni-trier.de/db/conf/uss/uss2017.html#BondHKLLPRST17}, year = 2017 }