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 Connect in order to contact the contributor
Submitted on : Tuesday, October 15, 2019 - 6:36:23 PM
Last modification on : Tuesday, January 18, 2022 - 5:44:01 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

51