Published in Pre-print, 2021
This paper presents zkChannels, a protocol for fast and unlinkable payments across any blockchain using 2-party computation.
Recommended citation: Your Name, You. (2021). "zkChannels: Fast, Unlinkable Payments for Any Blockchain using 2PC." Pre-print.
Published in ACM CCS, 2015
This paper discusses methods for automating the translation from Type-I to Type-III pairing schemes to enhance security and performance.
Recommended citation: Your Name, You. (2015). "Automating a Fast and Secure Translation from Type-I to Type-III Pairing Schemes." ACM CCS. https://dl.acm.org/doi/abs/10.1145/2810103.2813601
Published in IEEE CSF Symposium, 2014
This paper presents techniques for the certified synthesis of efficient batch verifiers for various cryptographic protocols.
Recommended citation: Your Name, You. (2014). "Certified Synthesis of Efficient Batch Verifiers." IEEE CSF Symposium. https://ieeexplore.ieee.org/abstract/document/6957109
Published in ACM CCS, 2013
This paper explores the use of SMT solvers to automate the design tasks for encryption and signature schemes.
Recommended citation: Your Name, You. (2013). "Using SMT Solvers to Automate Design Tasks for Encryption and Signature Schemes." ACM CCS. https://dl.acm.org/doi/abs/10.1145/2508859.2516718
Published in Journal of Cryptographic Engineering, 2013
Charm is a framework designed for quickly prototyping cryptographic systems, utilizing an embedded domain-specific language in Python to simplify the development and benchmarking of cryptographic protocols.
Recommended citation: Your Name, You. (2013). "Paper Title Number 1." Journal of Cryptographic Engineering. 1(1). https://link.springer.com/journal/13389/volumes-and-issues/3-2
Published in ACM CCS, 2012
This paper discusses machine-generated algorithms, proofs, and software for batch verification of digital signature schemes.
Recommended citation: Your Name, You. (2012). "Machine-generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes." ACM CCS. https://dl.acm.org/doi/abs/10.1145/2382196.2382248
Published in ACM CCS SPSM, 2011
This paper explores the use of attribute-based encryption to secure electronic medical records on mobile devices.
Recommended citation: Your Name, You. (2011). "Securing Electronic Medical Records (EMRs) Using Attribute-Based Encryption On Mobile Devices." ACM CCS SPSM. https://dl.acm.org/doi/abs/10.1145/2046614.2046628