Search results for: Gilles Barthe
Journal of Automated Reasoning > 2019 > 63 > 4 > 813-855
Journal of Cryptology > 2019 > 32 > 2 > 324-360
Journal of Automated Reasoning > 2019 > 63 > 1 > 1-51
IET Information Security > 2016 > 10 > 6 > 358 - 371
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Program analysis > 344-361
Lecture Notes in Computer Science > FM 2011: Formal Methods > Program Compilation and Transformation > 200-214
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 1-24
Lecture Notes in Computer Science > Advances in Cryptology – CRYPTO 2011 > Computer-Assisted Cryptographic Proofs > 71-90
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 847-859
Lecture Notes in Computer Science > Foundations of Security Analysis and Design III > FOSAD 2005 (19-24 September 2005) > 133-177
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Formal Frameworks > 15-32
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Smart Cards > 99-113