Certified Synthesis of Efficient Batch Verifiers
Published in IEEE CSF Symposium, 2014
Co-authors with Gilles Barthe, Benjamin Grégoire, Benedikt Schmidt, Pierre-Yves Strub
Recommended citation: Your Name, You. (2014). "Certified Synthesis of Efficient Batch Verifiers." IEEE CSF Symposium. https://ieeexplore.ieee.org/abstract/document/6957109