AnaStaSec
(publicly available)
presentation
summary
objectives and scientific challenges
scientific program
meetings and affiliated events
participants
publications
(restricted access)
deliverables
meeting materials
AnaStaSec: Deliverables
Task 0: Coordination
Submitted proposal
Intermediary scientific report (T18)
Slides for the midterm evaluation (T18)
Intermediary scientific report (T30)
Final scientific report (T48)
Task 1: Protocol analysis
D1.1: Analysis of the ARINC823 public key protocol
report
-
analysis results
D1.2: Analysis of the ICAO9880-IV protocols
deliverable
D1.3: Analysis of the ICAO9896 protocols
deliverable
D1.4: Updated version of ProVerif
read me
-
ProVerif
-
documentation
D1.5: Updated version of CryptoVerif
read me
-
CryptoVerif
Task 2: Security properties
D2.1:
Properties of a platform monitor
D2.2:
Properties of binary applications
D2.3:
Properties of C applications
D2.4: Properties of protocol implementations
source code
-
report
(Sect. 1-2-3)
Task 3:
D3.1:
Analysis of a core of the host platform with AstréS
D3.2:
Code annotations to be used in Frama-C
D3.4: Analysis of a significiant subset of the host platform and trusted applictions with AstréS
Analysis of the host platform and case studies
-
Analysis of SBGE
D3.5: Analysis of protocol implementation
report
(Sect. 3-4)
D3.6:
Synthesis of the use of static analysis for proving security properties in avionic source code
Task 4: Binary code analysis and isolation
D4.1:
CompCert for Software Fault Isolation
D4.2:
Design and methodology for analysis of security properties linked with dynamic memory allocation
D4.3:
Binary validator of SFI properties
D4.4:
SFI toolchain<
/LI>
D4.5:
Prototype for analysis of security properties linked with dynamic memory allocation
Task 5:
D5.1:
Methodology for integrating AnaStaSec static analysis results in CSPN evaluation scheme
D5.2:
Methodology for integrating AnaStaSec static analysis results in Common Criteria scheme
D5.3:
Draft proposal for integrating AnaStaSec static analysis results in the ED-203 norm
Jérôme Feret
, Last modified: 18 Nov 2019, 20:37:56 CET