Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Merro, Massimo
95  Ergebnisse:
Personensuche X
?
1

Towards Obfuscation of Programmable Logic Controllers:

, In: Proceedings of the 18th International Conference on Availability, Reliability and Security,
Cozza, Vittoria ; Dalla Preda, Mila ; Lucchese, Marco.. - p. 1-10 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

ICS Honeypot Interactions: A Latitudinal Study:

, In: 2023 IEEE International Conference on Big Data (BigData),
Lupia, Francesco ; Lucchese, Marco ; Merro, Massimo. - p. 3025-3034 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Quantitative Robustness Analysis of Sensor Attacks on Cyber..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Chong, Stephen ; Lanotte, Ruggero ; Merro, Massimo.. - p. 1-12 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

HoneyICS: A High-interaction Physics-aware Honeynet for Ind..:

, In: Proceedings of the 18th International Conference on Availability, Reliability and Security,
Lucchese, Marco ; Lupia, Francesco ; Merro, Massimo... - p. 1-10 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Towards A High-interaction Physics-aware Honeynet for Indus..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,
Lucchese, Marco ; Merro, Massimo ; Paci, Federica. - p. 76-79 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

Towards Reverse Engineering of Industrial Physical Processe:

, In: Computer Security. ESORICS 2022 International Workshops; Lecture Notes in Computer Science,
Ceccato, Mariano ; Driouich, Youssef ; Lanotte, Ruggero.. - p. 273-290 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Impact Analysis of Coordinated Cyber-Physical Attacks via S..:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Lanotte, Ruggero ; Merro, Massimo ; Zannone, Nicola - p. 75-94 , 2023
Link: https://doi.org/10.1007/..
 
?
8

Industrial Control Systems Security via Runtime Enforcement:

Lanotte, Ruggero ; Merro, Massimo ; Munteanu, Andrei
ACM Transactions on Privacy and Security.  26 (2022)  1 - p. 1-41 , 2022
Link: https://doi.org/10.1145/..
 
?
9

Formal Impact Metrics for Cyber-physical Attacks:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
Lanotte, Ruggero ; Merro, Massimo ; Munteanu, Andrei. - p. 1-16 , 2021
Link: https://doi.org/10.1109/..
 
?
10

Friendly Fire : Cross-app Interactions in IoT Platforms:

Balliu, Musard ; Merro, Massimo ; Pasqua, Michele.
ACM Transactions on Privacy and Security (TOPS).  24 (2021)  3 - p. 1-40 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Friendly Fire: Cross-app Interactions in IoT Platforms:

Balliu, Musard ; Merro, Massimo ; Pasqua, Michele.
ACM Transactions on Privacy and Security.  24 (2021)  3 - p. 1-40 , 2021
Link: https://doi.org/10.1145/..
 
?
12

A process calculus approach to detection and mitigation of ..:

Lanotte, Ruggero ; Merro, Massimo ; Munteanu, Andrei
Theoretical Computer Science.  890 (2021)  - p. 125-146 , 2021
Link: https://doi.org/10.1016/..
 
?
13

A probabilistic calculus of cyber-physical systems:

Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone
Information and Computation.  279 (2021)  - p. 104618 , 2021
Link: https://doi.org/10.1016/..
 
?
14

Runtime Enforcement for Control System Security:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),
Lanotte, Ruggero ; Merro, Massimo ; Munteanu, Andrei - p. 246-261 , 2020
Link: https://doi.org/10.1109/..
 
?
15

A Formal Approach to Physics-based Attacks in Cyber-physica..:

Lanotte, Ruggero ; Merro, Massimo ; Munteanu, Andrei.
ACM Transactions on Privacy and Security (TOPS).  23 (2020)  1 - p. 1-41 , 2020
Link: https://dl.acm.org/doi/1..
 
1-15