Strong Security Guarantees: From Alloy to Coq (Research Poster) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Poster Communications Year :
No file

Dates and versions

hal-02317091 , version 1 (15-10-2019)

Identifiers

Cite

Salwa Souaf, Frédéric Loulergue. Strong Security Guarantees: From Alloy to Coq (Research Poster). 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. IEEE, pp.1057-1058, ⟨10.1109/HPCS.2018.00167⟩. ⟨hal-02317091⟩
52 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More