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

Salwa Souaf, Frédéric Loulergue
PDF DOI
Type
Conference paper
Publication
2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018