Self-Protecting Electronic Medical Records Using Attribute-Based Encryption. - Joseph A. Akinyele; Christoph U. Lehmann; Matthew Green 001; Matthew W. Pagano; Zachary N. J. Peterson; Aviel D. Rubin (IACR Cryptol. ePrint Arch., 2010)

Securing electronic medical records using attribute-based encryption on mobile devices. - Joseph A. Akinyele; Matthew W. Pagano; Matthew D. Green; Christoph U. Lehmann; Zachary N. J. Peterson; Aviel D. Rubin (SPSM@CCS, 2011)

Client-based authentication technology: user-centric authentication using secure containers. - Conor P. Cahill; Jason Martin; Matthew W. Pagano; Vinay Phegade; Anand Rajan (Digital Identity Management, 2011)

Charm: a framework for rapidly prototyping cryptosystems. - Joseph A. Akinyele; Christina Garman; Ian Miers; Matthew W. Pagano; Michael Rushanan; Matthew Green 001; Aviel D. Rubin (J. Cryptogr. Eng., 2013)

Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes. - Joseph A. Akinyele; Matthew Green 001; Susan Hohenberger; Matthew W. Pagano (J. Comput. Secur., 2014)

On The Introduction of Automatic Program Repair in Bloomberg. - 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; et al. (IEEE Softw., 2021)

Towards developer-centered automatic program repair: findings from Bloomberg. - Emily Rowan Winter; Vesna Nowack; David Bowes; Steve Counsell; Tracy Hall; Sæmundur Óskar Haraldsson; John R. Woodward; Serkan Kirbas; Etienne Windels; Olayori McBello; Abdurahman Atakishiyev; Kevin Kells; et al. (ESEC/SIGSOFT FSE, 2022)