Matthew Campagna - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 6 from 6

2020

Security of Hybrid Key EncapsulationMatthew Campagna, Adam Petcher. iacr, 2020:1364, 2020. [doi]

2019

A Machine-Checked Proof of Security for AWS Key Management ServiceJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran. iacr, 2019:1042, 2019. [doi]

A Machine-Checked Proof of Security for AWS Key Management ServiceJosé Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran. ccs 2019: 63-78 [doi]

Key Management Systems at the Cloud ScaleMatthew Campagna, Shay Gueron. cryptography, 3(3):23, 2019. [doi]

ARMv8 SIKE: Optimized Supersingular Isogeny Key Encapsulation on ARMv8 ProcessorsAmir Jalali, Reza Azarderakhsh, Mehran Mozaffari Kermani, Matthew Campagna, David Jao. tcas, 66(11):4209-4218, 2019. [doi]

Optimized Supersingular Isogeny Key Encapsulation on ARMv8 ProcessorsAmir Jalali, Reza Azarderakhsh, Mehran Mozaffari Kermani, Matthew Campagna, David Jao. iacr, 2019:331, 2019. [doi]

Sign in or sign up to see more results.

runs on WebDSL