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)

Charm: A framework for Rapidly Prototyping Cryptosystems. - Joseph A. Akinyele; Matthew Green 001; Aviel D. Rubin (IACR Cryptol. ePrint Arch., 2011)

Using SMT solvers to automate design tasks for encryption and signature schemes. - Joseph A. Akinyele; Matthew Green 001; Susan Hohenberger (CCS, 2013)

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)

Certified Synthesis of Efficient Batch Verifiers. - Joseph A. Akinyele; Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt; Pierre-Yves Strub (CSF, 2014)

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)

Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes. - Joseph A. Akinyele; Christina Garman; Susan Hohenberger (IACR Cryptol. ePrint Arch., 2015)