Salwa SOUAF

Salwa SOUAF

R&D Coordinator

Quarkslab

R&D Coordinator at Quarkslab, Paris, France

Member of the R&D office team

Download my resumé.

Interests

  • Information Security
  • Code Security
  • Formal Methods
  • Cloud Security
  • Cloud Brokerage

Education

  • PhD in Computer Science, 2020

    INSA CVL

  • Masters in Nomadic Computing, Computer Science and Security, 2017

    Université d'Orléans

  • Engineering degree in Security and Computer Science, 2017

    INSA CVL

Skills

Java

Python

coq

Coq

alloy

Alloy

R

Statistics

Experience

 
 
 
 
 

R&D Coordinator

Quarkslab

Feb 2023 – Present Paris, France
Part of the R&D Office as an R&D coordinator.
 
 
 
 
 

PostDoc

CEA List

Dec 2022 – Feb 2023 Gif-sur-Yvette, France
PostDoc in code security, part of the BinSec Team.
 
 
 
 
 

ATER

CentraleSupélec

Oct 2020 – Oct 2021 Rennes

Responsibilities include:

  • Teaching
  • Research
 
 
 
 
 

PhD Student

INSA CVL & NAU

May 2017 – Dec 2020 Bourges, France & Flagstaff, AZ
PhD in computer science and security.

Publications

Salwa SOUAF, Frédéric Loulergue, Pascal Berthomé (0001). A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. In HPCS.

PDF DOI

Salwa SOUAF, Frédéric Loulergue (0001). A First Step in the Translation of Alloy to Coq. In ICFEM.

PDF DOI

Contact