Matthew W. Pagano

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 2

Top Topics

Batch Processing

Signature Scheme

Empirical Evidence

Top Venues

IACR Cryptol. ePrint Arch.

ESEC/SIGSOFT FSE

J. Comput. Secur.

Publications

Emily Rowan Winter, Vesna Nowack, David Bowes, Steve Counsell, Tracy Hall, Sæmundur Haraldsson, John R. Woodward, Serkan Kirbas, Etienne Windels, Olayori McBello, Abdurahman Atakishiyev, Kevin Kells, Matthew W. Pagano
Towards developer-centered automatic program repair: findings from Bloomberg. ESEC/SIGSOFT FSE (2022)
Serkan Kirbas, Etienne Windels, Olayori McBello, Kevin Kells, Matthew W. Pagano, Rafal Szalanski, Vesna Nowack, Emily Rowan Winter, Steve Counsell, David Bowes, Tracy Hall, Saemundur Haraldsson, John R. Woodward
On The Introduction of Automatic Program Repair in Bloomberg. IEEE Softw. 38 (4) (2021)
Joseph A. Akinyele, Matthew Green, Susan Hohenberger, Matthew W. Pagano
Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes. J. Comput. Secur. 22 (6) (2014)
Joseph A. Akinyele, Christina Garman, Ian Miers, Matthew W. Pagano, Michael Rushanan, Matthew Green, Aviel D. Rubin
Charm: a framework for rapidly prototyping cryptosystems. J. Cryptogr. Eng. 3 (2) (2013)
Joseph A. Akinyele, Matthew Green, Susan Hohenberger, Matthew W. Pagano
Machine-Generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes. IACR Cryptol. ePrint Arch. 2013 (2013)
Joseph A. Akinyele, Matthew Green, Susan Hohenberger, Matthew W. Pagano
Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes. CCS (2012)
Conor P. Cahill, Jason Martin, Matthew W. Pagano, Vinay Phegade, Anand Rajan
Client-based authentication technology: user-centric authentication using secure containers. Digital Identity Management (2011)
Joseph A. Akinyele, Matthew W. Pagano, Matthew D. Green, Christoph U. Lehmann, Zachary N. J. Peterson, Aviel D. Rubin
Securing electronic medical records using attribute-based encryption on mobile devices. SPSM@CCS (2011)
Joseph A. Akinyele, Christoph U. Lehmann, Matthew Green, Matthew W. Pagano, Zachary N. J. Peterson, Aviel D. Rubin
Self-Protecting Electronic Medical Records Using Attribute-Based Encryption. IACR Cryptol. ePrint Arch. 2010 (2010)