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

  1. 2014/11/03: Kick-off meeting.
    ANR 50 avenue Daumesnil, Paris.
    Presentation of the project AnaStaSec.
  2. 2015/02/16: 1st plenary meeting.
    INRIA, 23 avenue d'Italie, Paris.
    1. debriefing
    2. Organisation (slides)
    3. Evaluation (slides part 1) --- (slides part 2)
    4. Security properties (slides)
    5. Protocol analysis (slides)
    6. AstréeS (slides)
    7. FramaC (slides)
    8. Binaries analysis (slides)
    9. Use-after-free detection (slides)
  3. 2015/09/07: 2nd plenary meeting.
    INRIA, Campus universitaire de Beaulieu, Rennes.
    1. debriefing
    2. Properties of the monitor (slides) --- (deliverable)
    3. Protocol analysis (slides)
    4. Use-after-free detection analysis (slides)
    5. Certified compilation (slides)
    6. Constant time analysis (slides)
  4. 2016/02/18: 3rd plenary meeting.
    AirBus, 1 rond-point Maurice-Bellonte, Toulouse.
    1. debriefing
    2. Organisation
    3. Properties of binaries application (deliverable)
    4. Properties of the monitor (analysis directives for FramaC) (deliverable)
    5. Flow analysis (slides)
    6. Static analysis with AstréeS (slides)
    7. Use-after-free detection analysis (slides)
    8. Certified compilation (slides)
  5. 2017/02/17: 4th plenary meeting.
    INRIA Paris, 2 rue Simone Iff, Paris
    1. debriefing
    2. Organisation
    3. Analysis of the ARINC823 AMS public key protocol (slides) - (deliverable) - (analysis result)
    4. Analysis of ASM code in ASTRÉE (slides)
    5. Use-after-free detection analysis (slides)
    6. Using dependencies analysis to drive exising fuzzers in black box (slides)
    7. Efficient runtime monitoring of block-level properties (slides)
    8. Software Fault Isolation avec CompCert (slides)
    9. Relation between CryptoVerif and protocol implementation verification in ACSL (slides)