Joseph A. Akinyele

According to our database, Joseph A. Akinyele authored at least 8 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

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

2014

Certified Synthesis of Efficient Batch Verifiers.

Joseph A. Akinyele, Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt, Pierre-Yves Strub

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Charm: a framework for rapidly prototyping cryptosystems.

Joseph A. Akinyele, Christina Garman, Ian Miers, Matthew W. Pagano, Michael Rushanan, Matthew Green, 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, Susan Hohenberger, Matthew W. Pagano

IACR Cryptol. ePrint Arch., 2013

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

Joseph A. Akinyele, Matthew Green, Susan Hohenberger

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2011

Charm: A framework for Rapidly Prototyping Cryptosystems.

Joseph A. Akinyele, Matthew Green, Aviel D. Rubin

IACR Cryptol. ePrint Arch., 2011

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

Proceedings of the SPSM'11, 2011

2010

Self-Protecting Electronic Medical Records Using Attribute-Based Encryption.

Joseph A. Akinyele, Christoph U. Lehmann, Matthew Green, Matthew W. Pagano, Zachary N. J. Peterson, Aviel D. Rubin

IACR Cryptol. ePrint Arch., 2010