AnaStaSec
(publicly available)
presentation
summary
objectives and scientific challenges
scientific program
meetings and affiliated events
participants
publications
(restricted access)
deliverables
meeting materials
AnaStaSec: Meeting materials
2014/11/03: Kick-off meeting.
ANR 50 avenue Daumesnil, Paris.
Presentation of the project AnaStaSec.
2015/02/16: 1
st
plenary meeting.
INRIA, 23 avenue d'Italie, Paris.
debriefing
Organisation
(slides)
Evaluation
(slides part 1)
---
(slides part 2)
Security properties
(slides)
Protocol analysis
(slides)
AstréeS
(slides)
FramaC
(slides)
Binaries analysis
(slides)
Use-after-free detection
(slides)
2015/09/07: 2
nd
plenary meeting.
INRIA, Campus universitaire de Beaulieu, Rennes.
debriefing
Properties of the monitor
(slides)
---
(deliverable)
Protocol analysis
(slides)
Use-after-free detection analysis
(slides)
Certified compilation
(slides)
Constant time analysis
(slides)
2016/02/18: 3
rd
plenary meeting.
AirBus, 1 rond-point Maurice-Bellonte, Toulouse.
debriefing
Organisation
Properties of binaries application
(deliverable)
Properties of the monitor (analysis directives for FramaC)
(deliverable)
Flow analysis
(slides)
Static analysis with AstréeS
(slides)
Use-after-free detection analysis
(slides)
Certified compilation
(slides)
2017/02/17: 4
th
plenary meeting.
INRIA Paris, 2 rue Simone Iff, Paris
debriefing
Organisation
Analysis of the ARINC823 AMS public key protocol
(slides)
-
(deliverable) -
(analysis result)
Analysis of ASM code in ASTRÉE
(slides)
Use-after-free detection analysis
(slides)
Using dependencies analysis to drive exising fuzzers in black box
(slides)
Efficient runtime monitoring of block-level properties
(slides)
Software Fault Isolation avec CompCert
(slides)
Relation between CryptoVerif and protocol implementation verification in ACSL
(slides)
Jérôme Feret
, Last modified: 20 Feb 2017, 11:16:36 CET