Login / Signup
Salwa Souaf
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 4
Top Topics
Access Control
Intrusion Detection
Network Security
Formal Analysis
Top Venues
HPCS
AppFM@FM
ICFEM
</>
Publications
</>
Salwa Souaf
,
Frédéric Loulergue
Experience Report: Teaching Code Analysis and Verification Using Frama-C.
AppFM@FM
(2021)
Salwa Souaf
,
Frédéric Loulergue
A First Step in the Translation of Alloy to Coq.
ICFEM
(2019)
Salwa Souaf
,
Frédéric Loulergue
Strong Security Guarantees: From Alloy to Coq (Research Poster).
HPCS
(2018)
Salwa Souaf
,
Pascal Berthomé
,
Frédéric Loulergue
A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations.
HPCS
(2018)