ERD

Imperfect forward secrecy

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Formally Verified Cryptographic Web Applications in WebAssembly

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Formal Models and Verified Protocols for Group Messaging: Attacks and Proofs for IETF MLS

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Formal Verification for Real-World Cryptographic Protocols and Implementations

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

A messy state of the union

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

hacspec: Towards Verifiable Crypto Standards

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Formal Modeling and Verification for Domain Validation and ACME

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

On the Practical (In-)Security of 64-bit Block Ciphers - Collision Attacks on HTTP over TLS and OpenVPN

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

HACL* - A Verified Modern Cryptographic Library

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

miTLS: Verifying Protocol Implementations against Real-World Attacks

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Downgrade Resilience in Key-Exchange Protocols

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

A Formal Treatment of Accountable Proxying Over TLS

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

A Verified Extensible Library of Elliptic Curves

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Everest: Towards a Verified, Drop-in Replacement of HTTPS

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Verified low-level programming embedded in F*

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Content delivery over TLS: a cryptographic analysis of keyless SSL

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

A modern compiler for the French tax code

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Implementing and Proving the TLS 1.3 Record Layer

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

DY* : A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Periodic Reporting for period 4 - CIRCUS (An end-to-end verification architecture for building Certified Implementations...

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Formal Verification for High Assurance Security Software in FStar: Application to communication protocols and cryptograp...

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Une preuve cryptographique mécanisée du protocole de réseau privé virtuel WireGuard

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Analysing the HPKE Standard

Project: CIRCUS

Updated at: 27-04-2024

Show more information

Project acronym CIRCUS

Resources

Selected filters:

Imperfect forward secrecy

SteelCore: an extensible concurrent separation logic for effectful dependently typed programs

HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms)

Formally Verified Cryptographic Web Applications in WebAssembly

Formal Models and Verified Protocols for Group Messaging: Attacks and Proofs for IETF MLS

Formal Verification for Real-World Cryptographic Protocols and Implementations

Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate

A messy state of the union

hacspec: Towards Verifiable Crypto Standards

Formal Modeling and Verification for Domain Validation and ACME

On the Practical (In-)Security of 64-bit Block Ciphers - Collision Attacks on HTTP over TLS and OpenVPN

HACL* - A Verified Modern Cryptographic Library

Automated Verification for Secure Messaging Protocols and Their Implementations: A Symbolic and Computational Approach

miTLS: Verifying Protocol Implementations against Real-World Attacks

Downgrade Resilience in Key-Exchange Protocols

A Formal Treatment of Accountable Proxying Over TLS

A Verified Extensible Library of Elliptic Curves

Everest: Towards a Verified, Drop-in Replacement of HTTPS

Verified low-level programming embedded in F*

A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol

Content delivery over TLS: a cryptographic analysis of keyless SSL

A modern compiler for the French tax code

Implementing and Proving the TLS 1.3 Record Layer

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

DY* : A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols

Periodic Reporting for period 4 - CIRCUS (An end-to-end verification architecture for building Certified Implementations...

Formal Verification for High Assurance Security Software in FStar: Application to communication protocols and cryptograp...

Une preuve cryptographique mécanisée du protocole de réseau privé virtuel WireGuard

Analysing the HPKE Standard