Probabilistic relational verification for cryptographic implementations (2014)

by G Barthe, C Fournet, B Gregoire, P-Y Strub, N Swamy, S Z Beguelin
Venue:In Proceedings of the ACM Conference on Principles of Programming Languages (POPL