Chain-agnostic anonymous payment channels
Talk, Epicenter, San Francisco, CA
Talk, Epicenter, San Francisco, CA
Talk, Zcon0, Montreal, Canada
A talk on instantiating privacy-preserving payment channels on Zcash based on the BOLT protocol.
Talk, ONR Cyber Community of Interest, Washington, DC, USA
A talk on the AutoTools suite that we have built at JHU and the hard problems we have solved leveraging automated techniques.
Talk, ACM CCS, Berlin, Germany
A talk on two complementary tools, AutoGroup and AutoStrong. The AutoGroup tool converts a pairing-based encryption or signature scheme written in (simple) symmetric group notation into a specific instantiation in the more efficient, asymmetric setting. The AutoStrong tool focuses on the security of digital signature schemes by automatically converting an existentially unforgeable signature scheme into a strongly unforgeable one.
Talk, ACM CCS, Raleigh, NC
A talk about machine generated batch verification algorithms from an domain specific language represenation of pairing-based digital signatures.
Talk, ACM CCS SPSM Workshop, San Francisco, California
A talk on how to secure Electronic Medical Records (EMRs) using Attribute-Based Encryption techniques on iOS Mobile Devices.