J. Ayo Akinyele, Ph.D.

Joseph Ayo Akinyele, JHUContact:
Maryland Hall - HMS/Crypto Lab (Rm 315)
3400 N. Charles Street,
Baltimore, MD 21234

:[Email]: This e-mail address is being protected from spambots. You need JavaScript enabled to view it This e-mail address is being protected from spambots. You need JavaScript enabled to view it

Curriculum Vitae

My Blog : Twitter Feed

About Me: I recently completed my PhD (Fall 2013) in the JHU Information Security Institute of the Computer Science Department. I was advised by Dr. Avi RubinDr. Matthew Green and Dr. Susan Hohenberger. Before coming to JHU, I received a Bachelor's degree in Computer Science at Bowie State University in 2006, then a Masters Degree in Software Engineering from Carnegie Mellon University in 2007. I then worked for a few years in industry at the Applied Physics Laboratory before starting at JHU in Fall 2009. My research interests include computer and network security, applied cryptography with applications to electronic medical records security, mobile and cloud computing.

Peer-Reviewed Publications

  • J. A. Akinyele, G. Barthe, B. Gregoire, B. Schmidt, P. Strub. "Certified Synthesis of Efficient Batch Verifiers." To Appear, Computer Security Foundations (CSF) Symposium, 2014.
  • J. A. Akinyele, M. Green and S. Hohenberger. "Using SMT solvers to Automate Design Tasks for Encryption and Signature Schemes."
    In the Proceedings of the 20th ACM CCS, November 2013. [PDF] [slides]
  • J. A. Akinyele, M. Green, S. Hohenberger, and M. W. Pagano. "Machine-Generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes."
    In the Proceedings of the 19th ACM CCS, October 2012. [PDF] (ePrint)
  • J. A. Akinyele, M. W. Pagano, M. Green, C. Lehmann, Z. Peterson, and A. Rubin. "Securing Electronic Medical Records Using Attribute-Based Encryption On Mobile Devices."
    In the Proceedings of the 1st ACM CCS-SPSM workshop, October 2011. [PDF]

Journal Publications

  • J. A. Akinyele, M. Green, S. Hohenberger, and M. W. Pagano. "Machine-Generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes."
    To Appear, Journal of Computer Security (JCS), 2014.
  • J. A. Akinyele, C. Garman, I. Miers, M. W. Pagano , M. Rushanan, M. Green, A. Rubin. "Charm: A Framework for Rapidly Prototyping Cryptosystems."
    In Journal of Cryptographic Engineering (JCEN) 2013. [PDF] (ePrint)

Technical Reports

  • J. A. Akinyele, C. Lehmann, M. Green, M. W. Pagano, Z. Peterson, A. Rubin. "Self-protecting Electronic Medical Records using Attribute-Based Encryption." 2010. (ePrint)
  • C. Waits, J. A. Akinyele, R. A. Nolan, L. Rogers. "Computer Forensics: Results of Live Response Inquiry vs. Memory Image Analysis." August, 2008. CMU/SEI-2008-TN-017. (report)

Peer-Reviewed Abstracts

  • "Charm: A framework for Rapidly Prototyping Cryptosystems." J. A. Akinyele, M. Green, A. Rubin. NDSS 2012 Chair's Invited Session.
PhD Thesis
  • "Enabling Machine-aided Cryptographic Design" J. A. Akinyele. [PDF]

Current Software Projects

  • Libfenc library : a C-based attribute-based encryption library. code
  • Charm : an advanced cryptographic library for developing a variety of cryptographic schemes and protocols. code
  • AutoBatch : an automated tool for automatically designing batch verification algorithms. code
  • AutoGroup : an automated tool for optimizing pairing-based schemes using SMT Solvers. code
  • AutoStrong : an automated tool for constructing strongly unforgeable signatures. code
  • CloudSourcing : an automated tool for outsourcing the computation of pairing-based schemes to untrusted cloud servers. code