Skip to Main content Skip to Navigation
Poster communications

Strong Security Guarantees: From Alloy to Coq (Research Poster)

Document type :
Poster communications
Complete list of metadata

https://hal.inria.fr/hal-02317091
Contributor : Frédéric Loulergue <>
Submitted on : Tuesday, October 15, 2019 - 6:36:23 PM
Last modification on : Monday, November 30, 2020 - 5:48:18 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

75