DY* : A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Kuesters, Ralf and Schmitz, Guido and Wuertele, Tim

Journal title: EuroS&P 2021 - 6th IEEE European Symposium on Security and Privacy

Journal publisher: IEEE

Published year: 2021