Skip to Main content Skip to Navigation
Conference papers

Towards Producing Formally Checkable Security Proofs, Automatically

Complete list of metadata

https://hal.inria.fr/hal-03196493
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, April 12, 2021 - 8:33:19 PM
Last modification on : Sunday, May 2, 2021 - 3:27:43 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

14