CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 71
Titolo Data di pubblicazione Autore(i) File
Semantics for Locking Specifications 1-gen-2016 Michael, Ernst; Macedonio, Damiano; Merro, Massimo; Spoto, Nicola Fausto
Weak simulation quasimetric in a gossip-based scenario 1-gen-2017 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Compositional weak metrics for group key update 1-gen-2017 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A Calculus of Cyber-Physical Systems 1-gen-2017 Lanotte, Ruggero; Merro, Massimo
A Formal Approach to Cyber-Physical Attacks 1-gen-2017 Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca
A Semantic Theory of the Internet of Things 1-gen-2018 Lanotte, R.; Merro, M.
Equational Reasonings in Wireless Network Gossip Protocols 1-gen-2018 Lanotte, R.; Merro, M.; Tini, S.
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis 1-gen-2018 Munteanu, A.; Muradore, R.; Merro, M.; Fiorini, P.
Towards a formal notion of impact metric for cyber-physical attacks 1-gen-2018 Lanotte, R.; Merro, M.; Tini, S.
A Modest Security Analysis of Cyber-Physical Systems: A Case Study 1-gen-2018 Lanotte, R.; Merro, M.; Munteanu, A.
AODVv2: performance vs. loop freedom 1-gen-2018 Kamali, M.; Merro, M.; Dal Corso, A.
On the Decidability of Linear Bounded Periodic Cyber-Physical Systems 1-gen-2019 Lanotte, Ruggero; Merro, Massimo; Mogavero, Fabio
Securing Cross-App Interactions in IoT Platforms 1-gen-2019 Balliu, Musard; Merro, Massimo; Pasqua, Michele
Friendly Fire: Cross-App Interactions in IoT Platforms 1-gen-2020 Balliu, Musard; Merro, Massimo; Pasqua, Michele
Runtime Enforcement for Control System Security 1-gen-2020 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A process calculus approach to correctness enforcement of PLCs 1-gen-2020 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 1-gen-2020 Munteanu, Andrei; Pasqua, Michele; Merro, Massimo
A Formal Approach to Physics-based Attacks in Cyber-physical Systems 1-gen-2020 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Viganò, Luca
Runtime Enforcement for Control System Security (Extended Abstract) 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Friendly Fire: Cross-App Interactions in IoT Platforms 1-gen-2021 Balliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail
Mostrati risultati da 41 a 60 di 71
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile