Santiago Zanella Béguelin, Gilles Barthe, Benjamin Grégoire, Federico Olmedo. Formally Certifying the Security of Digital Signature Schemes. In 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA. pages 237-250, IEEE Computer Society, 2009. [doi]