Joseph A. Akinyele

Using SMT solvers to automate design tasks for encryption and signature schemes

Matthew Green, Susan Hohenberger, Joseph A. Akinyele, 2013, CCS.

Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes

Matthew Green, Susan Hohenberger, Matthew W. Pagano, 2012, J. Comput. Secur..

Securing electronic medical records using attribute-based encryption on mobile devices

Matthew Green, Christoph U. Lehmann, Aviel D. Rubin, 2011, SPSM '11.

Self-Protecting Electronic Medical Records Using Attribute-Based Encryption

Matthew Green, Christoph U. Lehmann, Aviel D. Rubin, 2010, IACR Cryptol. ePrint Arch..

Enabling Machine-aided Cryptographic Design

Joseph A. Akinyele, 2013 .

Computer Forensics: Results of Live Response Inquiry vs. Memory Image Analysis

Joseph A. Akinyele, Cal Waits, Richard A. Nolan, 2008 .

Certified Synthesis of Efficient Batch Verifiers

Benjamin Grégoire, Gilles Barthe, Pierre-Yves Strub, 2014, 2014 IEEE 27th Computer Security Foundations Symposium.

Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes

Susan Hohenberger, Christina Garman, Joseph A. Akinyele, 2015, IACR Cryptol. ePrint Arch..

Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes

Matthew Green, Susan Hohenberger, Matthew W. Pagano, 2014, J. Comput. Secur..

Charm: a framework for rapidly prototyping cryptosystems

Ian Miers, Aviel D. Rubin, Matthew Green, 2013, Journal of Cryptographic Engineering.