Viganò, Luca.
Viganò, Luca, 19..-....
Viganò, Luca 1968-....
Luca Viganò Italian computer scientist (1968-)
VIAF ID: 24908022 (Personal)
Permalink: http://viaf.org/viaf/24908022
Preferred Forms
- 100 0 _ ‡a Luca Viganò ‡c Italian computer scientist (1968-)
- 200 _ 1 ‡a Viganò ‡b , Luca ‡f <1968- >
- 200 _ | ‡a Viganò ‡b Luca ‡f 1968-....
-
-
- 100 1 _ ‡a Viganò, Luca
-
- 100 1 _ ‡a Viganò, Luca, ‡d 19..-....
-
-
- 100 1 _ ‡a Viganò, Luca
- 100 1 _ ‡a Viganò, Luca
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Gli astanti / Luca Viganò ; Slice of death, Bipedi implumi con anima ; a cura di Roberto Trovato | |
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 | |
Galois, c2005: | |
Labelled Deduction | |
Labelled non-classical logics | |
Le parole del montaggio / a cura di Aldo e Luca Vigano | |
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 | |
Raisonnement abductif modulo des théories et application à la vérification de programmes | |
Sufficient conditions for vertical composition of security protocols | |
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings | |
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques | |
Vérification et composition des protocoles de securité avec des applications aux protocoles de vote electronique. |