Luca Viganò - Böcker

Labelled Deduction

Labelled Non-Classical Logics

Labelled Non-Classical Logics

Socio-Technical Aspects in Security and Trust

10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers

Socio-Technical Aspects in Security

11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers

Foundations and Applications of Security Analysis

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

Tests and Proofs

7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Principles of Security and Trust

5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings