Joseph A. Akinyele

12 papers A* 4A 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2015 A* conf
Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes.
CCS
Joseph A. Akinyele, Christina Garman, Susan Hohenberger
2015 J jnl
Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes.
IACR Cryptol. ePrint Arch.
Joseph A. Akinyele, Christina Garman, Susan Hohenberger
2014 A conf
Certified Synthesis of Efficient Batch Verifiers.
CSF
Joseph A. Akinyele, Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt, Pierre-Yves Strub
2014 J jnl
Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes.
J. Comput. Secur.
Joseph A. Akinyele, Matthew Green, Susan Hohenberger, Matthew W. Pagano
2013 J jnl
Charm: a framework for rapidly prototyping cryptosystems.
J. Cryptogr. Eng.
Joseph A. Akinyele, Christina Garman, Ian Miers, Matthew W. Pagano, Michael Rushanan, Matthew Green, Aviel D. Rubin
2013 J jnl
Machine-Generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes.
IACR Cryptol. ePrint Arch.
Joseph A. Akinyele, Matthew Green, Susan Hohenberger, Matthew W. Pagano
2013 A* conf
Using SMT solvers to automate design tasks for encryption and signature schemes.
CCS
Joseph A. Akinyele, Matthew Green, Susan Hohenberger
2012 A* conf
Charm: A Framework for Rapidly Prototyping Cryptosystems.
NDSS
Joseph A. Akinyele, Matthew Green, Aviel D. Rubin
2012 A* conf
Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes.
CCS
Joseph A. Akinyele, Matthew Green, Susan Hohenberger, Matthew W. Pagano
2011 J jnl
Charm: A framework for Rapidly Prototyping Cryptosystems.
IACR Cryptol. ePrint Arch.
Joseph A. Akinyele, Matthew Green, Aviel D. Rubin
2011 — conf
Securing electronic medical records using attribute-based encryption on mobile devices.
SPSM@CCS
Joseph A. Akinyele, Matthew W. Pagano, Matthew D. Green, Christoph U. Lehmann, Zachary N. J. Peterson, Aviel D. Rubin
2010 J jnl
Self-Protecting Electronic Medical Records Using Attribute-Based Encryption.
IACR Cryptol. ePrint Arch.
Joseph A. Akinyele, Christoph U. Lehmann, Matthew Green, Matthew W. Pagano, Zachary N. J. Peterson, Aviel D. Rubin