$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do 0001, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele. $\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. In IEEE European Symposium on Security and Privacy, EuroS&P 2021, Vienna, Austria, September 6-10, 2021. pages 523-542, IEEE, 2021. [doi]

This author has not been identified. Look up 'Karthikeyan Bhargavan' in GoogleThis author has not been identified. Look up 'Abhishek Bichhawat' in GoogleThis author has not been identified. Look up 'Quoc Huy Do 0001' in GoogleThis author has not been identified. Look up 'Pedram Hosseyni' in GoogleThis author has not been identified. Look up 'Ralf Küsters' in GoogleThis author has not been identified. Look up 'Guido Schmitz' in GoogleThis author has not been identified. Look up 'Tim Würtele' in Google

runs on WebDSL