User Tools

Site Tools


Joint Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis

P. Degano, R. Küsters, L. Viganó, and S. Zdancewic (editors)