Charlie Jacomme
Charlie Jacomme
Home
Open Positions
Teaching
Non Academic Materials
Contact
Light
Dark
Automatic
Alexander Dax
Latest
Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
Cite
×