S

B

SCHMIDT , Benedikt

Last name: SCHMIDT

First name: Benedikt

October 6, 2015 (v1)

Conference paper

Metadata-only

Automated Proofs of Pairing-Based Cryptography

Barthe, Gilles Grégoire, Benjamin Schmidt, Benedikt

International audience

Uploaded on: March 25, 2023
October 30, 2017 (v1)

Conference paper

Metadata-only

Jasmin: High-Assurance and High-Speed Cryptography

Almeida, José Barbosa, Manuel Barthe, Gilles

Jasmin is a framework for developing high-speed and high-assurance cryptographic software. The framework is structured around the Jasmin programming language and its compiler. The language is designed for enhancing portability of programs and for simplifying verification tasks. The compiler is designed to achieve predictability and efficiency...

Uploaded on: February 28, 2023