Page not found

Perhaps you were looking for one of these?

Latest

• Subversion-resilient Key-exchange in the Post-quantum World
• Token Weaver: Privacy Preserving and Post-Compromise Secure Attestation
• Open positions
• The hitchiker's guide to a PhD
• Formal verification of the PQXDH Post-Quantum key agreement protocol for end-to-end secure messaging
• Post-quantum sound CryptoVerif and verification of hybrid TLS and SSH key-exchanges
• Signal
• A comprehensive, formal and automated analysis of the EDHOC protocol
• Automated Analysis of Protocols that use Authenticated Encryption: How Subtle AEAD Differences can impact Protocol Security
• Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations