Salwa Souaf

Latest

• A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations
• Strong Security Guarantees: From Alloy to Coq (Research Poster)