Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Machine-Checked Proof of Security for AWS Key Management Service.

J. Almeida, M. Barbosa, G. Barthe, M. Campagna, E. Cohen, B. Grégoire, V. Pereira, B. Portela, P. Strub, and S. Tasiran. CCS, page 63-78. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Other publications of authors with the same name

Certified Synthesis of Efficient Batch Verifiers.J. Akinyele, G. Barthe, B. Grégoire, B. Schmidt, and P. Strub. CSF, page 153-165. IEEE Computer Society, (2014)Proving Expected Sensitivity of Probabilistic Programs.G. Barthe, T. Espitau, B. Grégoire, J. Hsu, and P. Strub. CoRR, (2017)Formal Verification of a Constant-Time Preserving C Compiler.G. Barthe, S. Blazy, B. Grégoire, R. Hutin, V. Laporte, D. Pichardie, and A. Trieu. IACR Cryptology ePrint Archive, (2019)Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs.G. Barthe, B. Grégoire, and S. Béguelin. MPC, volume 7342 of Lecture Notes in Computer Science, page 1-6. Springer, (2012)Verified Indifferentiable Hashing into Elliptic Curves.G. Barthe, B. Grégoire, S. Heraud, F. Olmedo, and S. Béguelin. POST, volume 7215 of Lecture Notes in Computer Science, page 209-228. Springer, (2012)Formal verification of a constant-time preserving C compiler.G. Barthe, S. Blazy, B. Grégoire, R. Hutin, V. Laporte, D. Pichardie, and A. Trieu. Proc. ACM Program. Lang., 4 (POPL): 7:1-7:30 (2020)Coupling proofs are probabilistic product programs.G. Barthe, B. Grégoire, J. Hsu, and P. Strub. POPL, page 161-174. ACM, (2017)Verified Proofs of Higher-Order Masking.G. Barthe, S. Belaïd, F. Dupressoir, P. Fouque, B. Grégoire, and P. Strub. EUROCRYPT (1), volume 9056 of Lecture Notes in Computer Science, page 457-485. Springer, (2015)Masking the GLP Lattice-Based Signature Scheme at Any Order.G. Barthe, S. Belaïd, T. Espitau, P. Fouque, B. Grégoire, M. Rossi, and M. Tibouchi. EUROCRYPT (2), volume 10821 of Lecture Notes in Computer Science, page 354-384. Springer, (2018)Programming Language Techniques for Cryptographic Proofs.G. Barthe, B. Grégoire, and S. Béguelin. ITP, volume 6172 of Lecture Notes in Computer Science, page 115-130. Springer, (2010)

PUMA

Disambiguation of "Grégoire, Benjamin"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Machine-Checked Proof of Security for AWS Key Management Service.

Please choose a person to relate this publication to

Jun. -Prof. Dr. rer. nat. Benjamin Uekermann University of Stuttgart

Benjamin Rothaupt

Dr. phil. Benjamin Holfelder University of Stuttgart

Benjamin Bursik University of Stuttgart

Benjamin Kaiser University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Grégoire, Benjamin"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML A Machine-Checked Proof of Security for AWS Key Management Service.

Please choose a person to relate this publication to

Jun. -Prof. Dr. rer. nat. Benjamin Uekermann University of Stuttgart

Benjamin Rothaupt

Dr. phil. Benjamin Holfelder University of Stuttgart

Benjamin Bursik University of Stuttgart

Benjamin Kaiser University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Machine-Checked Proof of Security for AWS Key Management Service.