Vigano, Luca.
Overview
Works: | 2 works in 3 publications in 1 languages |
---|
Titles
Socio-technical aspects in security11th International Workshop, STAST 2021, virtual event, Ocotber 8, 2021 : revised selected papers /
by:
(1998 :); Parkin, Simon.; SpringerLink (Online service); Vigano, Luca.
(Electronic resources)
Socio-technical aspects in security and trust10th International Workshop, STAST 2020, virtual event, September 14, 2020 : revised selected papers /
by:
(1998 :); Gross, Thomas.; SpringerLink (Online service); Vigano, Luca.
(Electronic resources)
Foundations and applications of security analysisJoint 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 /
by:
(1998 :); Degano, Pierpaolo.; SpringerLink (Online service); Vigano, Luca.
(Electronic resources)
Principles of security and trust5th 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 /
by:
(1998 :); Piessens, Frank.; SpringerLink (Online service); Vigano, Luca.
(Electronic resources)
Subjects
Data Structures, Cryptology and Information Theory.
Cryptology.
Data and Information Security.
Cryptography
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Computing Milieux.
Formal methods (Computer science)
Data encryption (Computer science)
Special Purpose and Application-Based Systems.
Coding and Information Theory.
Computer Engineering and Networks.
Computer security
Data Encryption.
Computer Communication Networks.
Computer Science.
Computer Systems Organization and Communication Networks.
Systems and Data Security.
Computers and Society.
Computer networks
Computer System Implementation.
Computer crimes
Computer Applications.