MPG.eBooks - Author Search Results

Cover Image

1

Labelled Non-Classical Logics

by Viganò, Luca
Published 2000

Springer US

Cover Image

2

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...

Published 2016

Springer Berlin Heidelberg

Other Authors: “...Viganò, Luca...”

Cover Image

3

Socio-Technical Aspects in Security and Trust : 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers

Published 2021

Springer International Publishing

Other Authors: “...Viganò, Luca...”

Cover Image

4

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...

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Viganò, Luca...”

Cover Image

5

Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Vigano, Luca...”

Cover Image

6

Socio-Technical Aspects in Security : 11th International Workshop, STAST 2021, Virtual Event, October 8, 2021, Revised Selected Papers

Published 2022

Springer International Publishing

Other Authors: “...Viganò, Luca...”