Formally Certifying the Security of Digital Signature Schemes.

Santiago Zanella-Bguelin, Gilles Barthe, Benjamin Grgoire, Federico Olmedo

Browse the full SP paper archive.