SPAI final review
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 …