CV

Education

• Ph.D., Computer Science, Johns Hopkins University (JHU), 2013
• M.S., Software Engineering, Carnegie Mellon University (CMU), 2007
• B.S., Computer Science, Bowie State University, 2006

Professional Experience

• CEO/Co-Founder, Bolt Labs, 2018 – Present.
• Advisor/Co-Founder, YeleTech Security, Inc, 2016 – Present.

Open Source Projects

• Charm: A framework for rapidly prototyping cryptographic primitives. Code
• OpenABE: A commercial-grade open source attribute-based encryption C/C++ library. Code
• zkChannels: A system for conducting privacy-preserving off-chain payments. Code
• AutoTools: A collection of cryptographic automation tools. Code

Publications

zkChannels: Fast, Unlinkable Payments for Any Blockchain using 2PC

Your Name, You. (2021). "zkChannels: Fast, Unlinkable Payments for Any Blockchain using 2PC." Pre-print.

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

Your Name, You. (2015). "Automating a Fast and Secure Translation from Type-I to Type-III Pairing Schemes." ACM CCS.

Certified Synthesis of Efficient Batch Verifiers

Your Name, You. (2014). "Certified Synthesis of Efficient Batch Verifiers." IEEE CSF Symposium.

Using SMT Solvers to Automate Design Tasks for Encryption and Signature Schemes

Your Name, You. (2013). "Using SMT Solvers to Automate Design Tasks for Encryption and Signature Schemes." ACM CCS.

Charm: A Framework for Rapidly Prototyping Cryptosystems

Your Name, You. (2013). "Paper Title Number 1." Journal of Cryptographic Engineering. 1(1).

Machine-generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes

Your Name, You. (2012). "Machine-generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes." ACM CCS.

Securing Electronic Medical Records (EMRs) Using Attribute-Based Encryption On Mobile Devices

Your Name, You. (2011). "Securing Electronic Medical Records (EMRs) Using Attribute-Based Encryption On Mobile Devices." ACM CCS SPSM.

Talks

Chain-agnostic anonymous payment channels

November 01, 2019

Talk at Epicenter, San Francisco, CA

Diving into Bolt: A privacy-preserving layer 2 approach

June 01, 2018

Talk at Zcon0, Montreal, Canada

Cryptographic Automation At Johns Hopkins

September 01, 2016

Talk at ONR Cyber Community of Interest, Washington, DC, USA

AutoGroup and AutoStrong

November 04, 2013

Talk at ACM CCS, Berlin, Germany

AutoBatch: Automating Batch Verification of Digital Signatures

October 16, 2012

Talk at ACM CCS, Raleigh, NC

Securing EMRs using ABE on Mobile Devices

October 17, 2011

Talk at ACM CCS SPSM Workshop, San Francisco, California

Teaching

CS 601.443/653 - Security and Privacy in Computing

Patents

• Functional Encryption Key Management. US Patent No. 9,209,974. (Issue Date: 12/8/2015).