AnaStaSec

(publicly available)

presentation summary objectives and scientific challenges scientific program meetings and affiliated events participants publications

(restricted access)

deliverables meeting materials

AnaStaSec: publications related to the project

Static Analysis for Security Properties.


Publications related to the project