Karthikeyan Bhargavan, Prasad Naldurg. Practical Formal Methods for Real World Cryptography (Invited Talk). In Arkadev Chattopadhyay, Paul Gastin, editors, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India. Volume 150 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
@inproceedings{BhargavanN19,
title = {Practical Formal Methods for Real World Cryptography (Invited Talk)},
author = {Karthikeyan Bhargavan and Prasad Naldurg},
year = {2019},
doi = {10.4230/LIPIcs.FSTTCS.2019.1},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.1},
researchr = {https://researchr.org/publication/BhargavanN19},
cites = {0},
citedby = {0},
booktitle = {39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, December 11-13, 2019, Bombay, India},
editor = {Arkadev Chattopadhyay and Paul Gastin},
volume = {150},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-131-3},
}