| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Probabilistic relational Hoare logics for computer-aided security proofs
Résumé : None
Cited literature [13 references]
https://hal.inria.fr/hal-00765864
Contributor : Benjamin Gregoire <>
Submitted on : Monday, December 17, 2012 - 9:48:08 AM
Last modification on : Thursday, January 7, 2021 - 3:40:05 PM
Long-term archiving on: : Sunday, December 18, 2016 - 2:58:27 AM
Contributor : Benjamin Gregoire <>
Submitted on : Monday, December 17, 2012 - 9:48:08 AM
Last modification on : Thursday, January 7, 2021 - 3:40:05 PM
Long-term archiving on: : Sunday, December 18, 2016 - 2:58:27 AM
File
main.pdf
Files produced by the author(s)