Automated analysis of TLS 1.3: 0-RTT, resumption and delayed authentication
<p>After a development process of many months, the TLS 1.3 specification is nearly complete. To prevent past mistakes, this crucial security protocol must be thoroughly scrutinised prior to deployment.</p> <br/> <p>In this work we model and analyse revision 10 of the TLS 1.3...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Institute of Electrical and Electronics Engineers
2016
|