7th POST@ETAPS 2018: Thessaloniki, Greece

Information Flow and Non-intereference

Leakage, Information Flow, and Protocols

Smart Contracts and Privacy

Firewalls and Attack-Defense Trees

a service of Schloss Dagstuhl - Leibniz Center for Informatics