Martinelli, Fabio.
Overview
| Works: | 161 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Foundations of security analysis and design VIIIFOSAD 2014/2015/2016 tutorial lectures /
by:
(1998 :); Aldini, Alessandro.; Lopez, Javier.; Martinelli, Fabio.; SpringerLink (Online service)
(Electronic resources)
Collaborative approaches for cyber security in cyber-physical systems
by:
Dimitrakos, Theo.; Lopez, Javier.; Martinelli, Fabio.; SpringerLink (Online service)
(Electronic resources)
Public key infrastructures, services and applications6th European workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009 : revised selected papers /
by:
(1998 :); Martinelli, Fabio.; Preneel, Bart.; SpringerLink (Online service)
(Electronic resources)
Formal aspects in security and trust5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
(1998 :); Degano, Pierpaolo.; Guttman, Joshua.; Martinelli, Fabio.; SpringerLink (Online service)
(Electronic resources)
Formal Aspects in Security and Trust :IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /
by:
(1998 :); Dimitrakos, Theo.; Martinelli, Fabio.
(Electronic resources)
Foundations of security analysis and design VIIFOSAD 2012/2013 tutorial lectures /
by:
(1998 :); Aldini, Alessandro.; Lopez, Javier.; Martinelli, Fabio.; SpringerLink (Online service)
(Electronic resources)
Foundations of Security Analysis and Design III :FOSAD 2004/2005 Tutorial Lectures
by:
Aldini, Alessandro.; Gorrieri, Roberto.; Martinelli, Fabio.; SpringerLink (Online service)
(Electronic resources)
ICT systems security and privacy protection32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017 : proceedings /
by:
(1998 :); De Capitani di Vimercati, Sabrina.; Martinelli, Fabio.; SpringerLink (Online service)
(Electronic resources)
omputer security - ESORICS 201217th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012 : proceedings /
by:
(1998 :); Foresti, Sara.; Martinelli, Fabio.; SpringerLink (Online service); Yung, Moti.
(Electronic resources)
Subjects
Operating systems (Computers)
Data structures (Computer science)
Pattern Recognition
Public key cryptography
Software Engineering.
Theory of Computation.
Computer security.
Data Encryption
Logics and Meanings of Programs.
Data protection
Data and Information Security.
Management of Computing and Information Systems.
Operating Systems.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Security Science and Technology.
Data encryption (Computer science)
Computer Science
Performance and Reliability
Programming Languages, Compilers, Interpreters.
Information Storage and Retrieval.
Formal methods (Computer science)
Optical pattern recognition
Data Structures, Cryptology and Information Theory
Information Systems and Communication Service
Internet
Legal Aspects of Computing.
Information systems
Computer science
Computer security
Data Encryption.
IT in Business.
Computer networks
Computer Science.
Computer Communication Networks.
Computers and Society.
Systems and Data Security.
Public key infrastructure (Computer security)
Cybercrime.
Models and Principles
e-Commerce/e-business.
Computer Applications.
Cooperating objects (Computer systems)