6. FPS 2013: La Rochelle, France

Keynote Address

Security Protocols

Formal Methods

Physical Security

Attack Classification and Assessment

Access Control

Cipher Attacks

Ad-hoc and Sensor Networks

Resilience

Intrusion Detection

maintained by Schloss Dagstuhl LZI at University of Trier