AnaStaSec

(publicly available)

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

(restricted access)

deliverables meeting materials

AnaStaSec: meetings and affiliated events

Static Analysis for Security Properties.

Mettings

Affiliated events