ITA
|
ENG
PORTALE DELLA DIDATTICA
CERCA
KEYWORD
RESEARCH GROUPS
Theses at Politecnico
Theses in external company
Theses abroad
Area Architecture
Area Engineering
DEPARTMENTS
Dipartimento Di Architettura E Design
Dipartimento Di Automatica E Informatica
Dipartimento Energia
Dipartimento Di Elettronica E Telecomunicazioni
Dipartimento Di Ingegneria Dell'Ambiente, Del Territorio E Delle Infrastrutture
Dipartimento Di Ingegneria Gestionale E Della Produzione
Dipartimento Di Ingegneria Meccanica E Aerospaziale
Dipartimento Di Scienza Applicata E Tecnologia
Dipartimento Di Ingegneria Strutturale, Edile E Geotecnica
Dipartimento Di Scienze Matematiche
Dipartimento Interateneo Di Scienze, Progetto E Politiche Del Territorio
Dipartimento Interateneo Di Scienze Per La Vita E Per La Salute
Keyword: SECURITY, SAFETY, POLICIES, MODELS, ANALYSIS TOOLS
TESI AZIENDA
TESI ALL'ESTERO
Building a Verified Cryptographic Protocol Library
SISTO RICCARDO
FORMAL METHODS FOR SOFTWARE ENGINEERING GROUP
Development of methodologies and tools for the security and safety of ICT Critical Infrastructures
DURANTE LUCA
IEIIT/CNR COMPUTER ENGINEERING AND NETWORKS GROUP
Development of methodologies and tools for the verification and analysis of security and safety properties of industrial networks
DURANTE LUCA
IEIIT/CNR COMPUTER ENGINEERING AND NETWORKS GROUP
