Using SMT Solvers to Automate Design Tasks for Encryption and Signature Schemes
Published in ACM CCS, 2013
Co-authors with Matthew Green and Susan Hohenberger
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