$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code (bibtex)

by Bhargavan, Karthikeyan, Bichhawat, Abhishek, Do, Quoc Huy, Hosseyni, Pedram, Küsters, Ralf, Schmitz, Guido and Würtele, Tim

Reference:

$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code (Bhargavan, Karthikeyan, Bichhawat, Abhishek, Do, Quoc Huy, Hosseyni, Pedram, Küsters, Ralf, Schmitz, Guido and Würtele, Tim), In 2021 IEEE European Symposium on Security and Privacy (EuroS&P), volume , 2021.

Bibtex Entry:

@INPROCEEDINGS{dystar,
  author={Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Küsters, Ralf and Schmitz, Guido and Würtele, Tim},
  booktitle={2021 IEEE European Symposium on Security and Privacy (EuroS&P)}, 
  title={$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code}, 
  year={2021},
  volume={},
  number={},
  pages={523-542},
  doi={10.1109/EuroSP51992.2021.00042}}