Towards Producing Formally Checkable Security Proofs, Automatically - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2008

Towards Producing Formally Checkable Security Proofs, Automatically

Dates and versions

hal-03196493 , version 1 (12-04-2021)

Identifiers

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⟩
12 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More