| dc.contributor.author |
Bhargavan, Karthikeyan |
|
| dc.contributor.author |
Bichhawat, Abhishek |
|
| dc.contributor.author |
Huy Do, Quoc |
|
| dc.contributor.author |
Hosseyni, Pedram |
|
| dc.contributor.author |
Kusters, Ralf |
|
| dc.contributor.author |
Schmitz, Guido |
|
| dc.contributor.author |
Wurtele, Tim |
|
| dc.contributor.other |
6th IEEE European Symposium on Security and Privacy |
|
| dc.coverage.spatial |
Virtual, AT |
|
| dc.date.accessioned |
2021-04-01T15:04:33Z |
|
| dc.date.available |
2021-04-01T15:04:33Z |
|
| dc.date.issued |
2021-09-06 |
|
| dc.identifier.citation |
Bhargavan, Karthikeyan; Bichhawat, Abhishek; Huy Do, Quoc; Hosseyni, Pedram; Kusters, Ralf; Schmitz, Guido and Wurtele, Tim, "DY*: a modular symbolic verification framework for executable cryptographic protocol code", in the 6th IEEE European Symposium on Security and Privacy, Virtual, AT, Sep. 6-10, 2021. |
en_US |
| dc.identifier.uri |
https://repository.iitgn.ac.in/handle/123456789/6404 |
|
| dc.description.statementofresponsibility |
by Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Kusters, Guido Schmitz and Tim Wurtele |
|
| dc.language.iso |
en_US |
en_US |
| dc.title |
DY*: a modular symbolic verification framework for executable cryptographic protocol code |
en_US |
| dc.type |
Article |
en_US |