| dc.contributor.author |
Ho, Son |
|
| dc.contributor.author |
Protzenko, Jonathan |
|
| dc.contributor.author |
Bichhawat, Abhishek |
|
| dc.contributor.author |
Bhargavan, Karthikeyan |
|
| dc.contributor.other |
43rd IEEE Symposium on Security and Privacy (SP 2022) |
|
| dc.coverage.spatial |
San Francisco, US |
|
| dc.date.accessioned |
2022-08-31T15:47:28Z |
|
| dc.date.available |
2022-08-31T15:47:28Z |
|
| dc.date.issued |
22-05-22 |
|
| dc.identifier.citation |
Ho, Son; Protzenko, Jonathan; Bichhawat, Abhishek and Bhargavan, Karthikeyan, "Noise*: a library of verified high-performance secure channel protocol implementations", in the 43rd IEEE Symposium on Security and Privacy (SP 2022), San Francisco, US, May 22-26, 2022. |
en_US |
| dc.identifier.uri |
https://repository.iitgn.ac.in/handle/123456789/8103 |
|
| dc.description.statementofresponsibility |
by Son Ho, Jonathan Protzenko, Abhishek Bichhawat and Karthikeyan Bhargavan |
|
| dc.language.iso |
en_US |
en_US |
| dc.title |
Noise*: a library of verified high-performance secure channel protocol implementations |
en_US |
| dc.type |
Conferene Papers |
en_US |