Matthew Campagna

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Resource Constrained

Secure Communication

Key Pre Distribution

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Trans. Circuits Syst. I Regul. Pap.

Publications

Adam Petcher, Matthew Campagna
Security of Hybrid Key Establishment using Concatenation. IACR Cryptol. ePrint Arch. 2023 (2023)
Matthew Campagna, Adam Petcher
Security of Hybrid Key Encapsulation. IACR Cryptol. ePrint Arch. 2020 (2020)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran
A Machine-Checked Proof of Security for AWS Key Management Service. IACR Cryptol. ePrint Arch. 2019 (2019)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Matthew Campagna, Ernie Cohen, Benjamin Grégoire, Vitor Pereira, Bernardo Portela, Pierre-Yves Strub, Serdar Tasiran
A Machine-Checked Proof of Security for AWS Key Management Service. CCS (2019)
Amir Jalali, Reza Azarderakhsh, Mehran Mozaffari Kermani, Matthew Campagna, David Jao
Optimized Supersingular Isogeny Key Encapsulation on ARMv8 Processors. IACR Cryptol. ePrint Arch. 2019 (2019)
Matthew Campagna, Shay Gueron
Key Management Systems at the Cloud Scale. Cryptogr. 3 (3) (2019)
Amir Jalali, Reza Azarderakhsh, Mehran Mozaffari Kermani, Matthew Campagna, David Jao
ARMv8 SIKE: Optimized Supersingular Isogeny Key Encapsulation on ARMv8 Processors. IEEE Trans. Circuits Syst. I Regul. Pap. (11) (2019)