Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by P. Morrissey
A Modular Security Analysis of the TLS Handshake Protocol
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Modular Verification of Security Protocol Code by Typing
ACM SIGPLAN Notices
Computer Science
Vulnerabilities of the SSL/TLS Protocol
Transport Layer Security (TLS) Transport Model for the Simple Network Management Protocol (SNMP)
Moderate EAP-TLS Protocol - A New Approche
The International Conference on Electrical Engineering
A Transport Layer Security (TLS) ClientHello Padding Extension
The Power of a Handshake
Analysis of Quantum Security Direct Communication Protocol
Addition of the Camellia Cipher Suites to Transport Layer Security (TLS)
Modeling Adversaries in a Logic for Security Protocol Analysis
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
