Conference Papers
Year : 2008
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03196493
Submitted on : Monday, April 12, 2021-8:33:19 PM
Last modification on : Wednesday, November 29, 2023-3:28:04 PM
Cite
Jean Goubault-Larrecq. Towards Producing Formally Checkable Security Proofs, Automatically. 2008 21st IEEE Computer Security Foundations Symposium, Jun 2008, Pittsburgh, United States. pp.224-238, ⟨10.1109/CSF.2008.21⟩. ⟨hal-03196493⟩
Collections
12
View
0
Download