Security Program Analyses for the IoT

SPAI final review

Tamara REZK 2023/01/15 2023/01/15Uncategorized

The SPAI final review will be on 18/01/23 at Inria Paris (salle Flajolet). Au programme: 10h00-11h00 SPAI: Présentation générale, bilan du défi et futur (discussion en présence de Jean-Frédéric Gerbeau)- Tamara Rezk 11h00-11h40 JavaScript sandboxing and Security Analyses (+ demo)- Tamara Rezk 11h40-12h10 Skeletal Semantics by Example – Alan Schmitt 12h10-12h40 …

Congratulations to our Phd student Ignacio Tiraboschi for his first publication on “Sound Symbolic Execution via Abstract Interpretation and its Application to Security” to be presented in VMCAI 2023

Tamara REZK 2023/01/15 2023/01/15Uncategorized

Congratulations to our Phd student Adam Kayham for his first publication on JSkel!

Tamara REZK 2021/03/01 2021/03/01Uncategorized

The paper (in french) is here: http://people.rennes.inria.fr/Alan.Schmitt/papers/JFLA2021.pdf

SPAI: Antique and Indes meeting@ Paris

Tamara REZK 2018/11/27 2018/11/27Uncategorized

SPAI kickoff

Tamara REZK 2018/05/24 2018/05/31Uncategorized

The SPAI kickoff will be on 31/5/18 at Inria Paris, Bâtiment : C, Étage : 1 (salle 114). Au programme: 09h45-10h00 Café 10h00-10h10 Tour de table 10h10-10h50 SPAI presentation – Tamara Rezk, Indes (goals and organization) slides 10h50-11h30 Hop.js language and code injection – Manuel Serrano, Indes (WP1, WP4) 11h30-12h10 Privacy language…

SPAI first meeting!

Tamara REZK 2018/05/24 2018/05/25Uncategorized

Meeting @Lyon on 25/4/18 Program: discussions on multitier semantics.