Joseph A. Akinyele

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Key Management Scheme

Signature Scheme

Framework Enables

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Joseph A. Akinyele, Christina Garman, Susan Hohenberger
Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes. CCS (2015)
Joseph A. Akinyele, Christina Garman, Susan Hohenberger
Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes. IACR Cryptol. ePrint Arch. 2015 (2015)
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, Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt, Pierre-Yves Strub
Certified Synthesis of Efficient Batch Verifiers. CSF (2014)
Joseph A. Akinyele, Matthew Green, Susan Hohenberger
Using SMT solvers to automate design tasks for encryption and signature schemes. CCS (2013)
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, Aviel D. Rubin
Charm: A Framework for Rapidly Prototyping Cryptosystems. NDSS (2012)
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)
Joseph A. Akinyele, Matthew Green, Aviel D. Rubin
Charm: A framework for Rapidly Prototyping Cryptosystems. IACR Cryptol. ePrint Arch. 2011 (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)