7th POST 2018: Thessaloniki, Greece (Part of ETAPS 2018)

Information Flow and Non-intereference

Leakage, Information Flow, and Protocols

Smart Contracts and Privacy

Firewalls and Attack-Defense Trees

maintained by Schloss Dagstuhl LZI at University of Trier