E-LIB Suche - Ergebnisse für: Lanotte, Ruggero

1

Back to the format: A survey on SOS for probabilistic proce..:

Castiglioni, Valentina ; Lanotte, Ruggero ; Tini, Simone
Journal of Logical and Algebraic Methods in Programming. 137 (2024) - p. 100929 , 2024

Link: https://doi.org/10.1016/..

2

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..

3

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/..

4

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/..

5

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/..

6

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/..

7

A weak semantic approach to bisimulation metrics in models ..:

Lanotte, Ruggero ; Tini, Simone
Theoretical Computer Science. 869 (2021) - p. 29-61 , 2021

Link: https://doi.org/10.1016/..

8

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/..

9

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/..

10

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/..

11

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..

12

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

Lanotte, Ruggero ; Merro, Massimo ; Munteanu, Andrei.
ACM Transactions on Privacy and Security. 23 (2020) 1 - p. 1-41 , 2020

Link: https://doi.org/10.1145/..

13

On the decidability of linear bounded periodic cyber-physic..:

, In: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control,

Lanotte, Ruggero ; Merro, Massimo ; Mogavero, Fabio - p. 87-98 , 2019

Link: https://dl.acm.org/doi/1..

14

Fully Syntactic Uniform Continuity Formats for Bisimulation..:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,

Castiglioni, Valentina ; Lanotte, Ruggero ; Tini, Simone - p. 293-312 , 2019

Link: https://doi.org/10.1007/..

15

Computing Bisimilarity Metrics for Probabilistic Timed Auto..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Lanotte, Ruggero ; Tini, Simone - p. 303-321 , 2019

Link: https://doi.org/10.1007/..