DY*: a modular symbolic verification framework for executable cryptographic protocol code

DY*: a modular symbolic verification framework for executable cryptographic protocol code

Bhargavan, Karthikeyan; Bichhawat, Abhishek; Huy Do, Quoc; Hosseyni, Pedram; Kusters, Ralf; Schmitz, Guido; Wurtele, Tim
URI: https://repository.iitgn.ac.in/handle/123456789/6404
Date: 2021-09-06

Show full item record

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Search Digital Repository


Browse

My Account