A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. - Salwa Souaf; Pascal Berthomé; Frédéric Loulergue (HPCS, 2018)

Strong Security Guarantees: From Alloy to Coq (Research Poster). - Salwa Souaf; Frédéric Loulergue (HPCS, 2018)

A First Step in the Translation of Alloy to Coq. - Salwa Souaf; Frédéric Loulergue (ICFEM, 2019)

Experience Report: Teaching Code Analysis and Verification Using Frama-C. - Salwa Souaf; Frédéric Loulergue (AppFM@FM, 2021)