Ruggero Lanotte

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 39

Top Topics

Reverse Engineer

Programmable Logic

Security Analysis

Top Venues

Publications

Jian Xiang, Ruggero Lanotte, Simone Tini, Stephen Chong, Massimo Merro
Measuring Robustness in Cyber-Physical Systems under Sensor Attacks. CoRR (2024)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
Back to the format: A survey on SOS for probabilistic processes. J. Log. Algebraic Methods Program. 137 (2024)
Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. FMICS (2024)
Stephen Chong, Ruggero Lanotte, Massimo Merro, Simone Tini, Jian Xiang
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems. HSCC (2023)
Ruggero Lanotte, Massimo Merro, Nicola Zannone
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study. FORTE (2023)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
Industrial Control Systems Security via Runtime Enforcement. ACM Trans. Priv. Secur. 26 (1) (2023)
Ruggero Lanotte, Desiree Manicardi, Simone Tini
Step-by-step Robustness for Biochemical Networks. ICTCS (2023)
Mariano Ceccato, Youssef Driouich, Ruggero Lanotte, Marco Lucchese, Massimo Merro
Towards Reverse Engineering of Industrial Physical Processes. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Ruggero Lanotte, Simone Tini
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces. Theor. Comput. Sci. 869 (2021)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
Runtime Enforcement of Programmable Logic Controllers. CoRR (2021)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini
Formal Impact Metrics for Cyber-physical Attacks. CSF (2021)
Ruggero Lanotte, Massimo Merro, Simone Tini
A probabilistic calculus of cyber-physical systems. Inf. Comput. 279 (2021)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
A process calculus approach to detection and mitigation of PLC malware. Theor. Comput. Sci. 890 (2021)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
Runtime Enforcement for Control System Security. CSF (2020)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
A Formal Approach to Physics-based Attacks in Cyber-physical Systems. ACM Trans. Priv. Secur. 23 (1) (2020)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
A process calculus approach to correctness enforcement of PLCs (full version). CoRR (2020)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
A Process Calculus Approach to Correctness Enforcement of PLCs. ICTCS (2020)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. The Art of Modelling Computational Systems (2019)
Ruggero Lanotte, Massimo Merro, Fabio Mogavero
On the decidability of linear bounded periodic cyber-physical systems. HSCC (2019)
Ruggero Lanotte, Simone Tini
Computing Bisimilarity Metrics for Probabilistic Timed Automata. IFM (2019)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version). CoRR (2019)
Ruggero Lanotte, Massimo Merro
A semantic theory of the Internet of Things. Inf. Comput. 259 (1) (2018)
Ruggero Lanotte, Massimo Merro, Simone Tini
Equational Reasonings in Wireless Network Gossip Protocols. Log. Methods Comput. Sci. 14 (3) (2018)
Ruggero Lanotte, Simone Tini
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. ICTAC (2018)
Ruggero Lanotte, Massimo Merro, Simone Tini
Towards a formal notion of impact metric for cyber-physical attacks (full version). CoRR (2018)
Ruggero Lanotte, Massimo Merro, Simone Tini
Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. IFM (2018)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu
A Modest Security Analysis of Cyber-Physical Systems: A Case Study. FORTE (2018)
Ruggero Lanotte, Massimo Merro, Simone Tini
Weak Simulation Quasimetric in a Gossip Scenario. FORTE (2017)
Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
A Formal Approach to Cyber-Physical Attacks. CSF (2017)
Ruggero Lanotte, Massimo Merro, Simone Tini
Compositional Weak Metrics for Group Key Update. MFCS (2017)
Ruggero Lanotte, Massimo Merro
A Calculus of Cyber-Physical Systems. LATA (2017)
Ruggero Lanotte, Massimo Merro, Simone Tini
Equational Reasonings in Wireless Network Gossip Protocols. CoRR (2017)
Ruggero Lanotte, Massimo Merro, Simone Tini
A Probabilistic Calculus of Cyber-Physical Systems. CoRR (2017)
Ruggero Lanotte, Massimo Merro
A Semantic Theory of the Internet of Things - (Extended Abstract). COORDINATION (2016)
Ruggero Lanotte, Massimo Merro, Riccardo Muradore, Luca Viganò
A Formal Approach to Cyber-Physical Attacks. CoRR (2016)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. Fundam. Informaticae 143 (1-2) (2016)
Ruggero Lanotte, Simone Tini
Extending Taylor Approximation to Hybrid Systems with Integrals. CS&P (2016)
Ruggero Lanotte, Massimo Merro
A Calculus of Cyber-Physical Systems. CoRR (2016)
Valentina Castiglioni, Ruggero Lanotte, Massimo Merro
A Semantic Theory for the Internet of Things. CoRR (2015)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
A Specification Format for Rooted Branching Bisimulation. Fundam. Informaticae 135 (4) (2014)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. CS&P (2014)
Valentina Castiglioni, Ruggero Lanotte, Simone Tini
A Rule Format for Rooted Branching Bisimulation. CS&P (2013)
Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte
Security policies enforcement using finite and pushdown edit automata. Int. J. Inf. Sec. 12 (4) (2013)
Catalin Dima, Ruggero Lanotte
A study on shuffle, stopwatches and independently evolving clocks. Distributed Comput. 25 (1) (2012)
Ruggero Lanotte, Massimo Merro
Semantic Analysis of Gossip Protocols for Wireless Sensor Networks. CONCUR (2011)
Laura Bozzelli, Ruggero Lanotte
Hybrid and First-Order Complete Extensions of CaRet. TABLEAUX (2011)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Weak bisimulation for Probabilistic Timed Automata. Theor. Comput. Sci. 411 (50) (2010)
Laura Bozzelli, Ruggero Lanotte
Complexity and succinctness issues for linear-time hybrid logics. Theor. Comput. Sci. 411 (2) (2010)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Time and Probability-Based Information Flow Analysis. IEEE Trans. Software Eng. 36 (5) (2010)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Reachability results for timed automata with unbounded data structures. Acta Informatica 47 (5-6) (2010)
Catalin Dima, Ruggero Lanotte
Removing All Silent Transitions from Timed Automata. FORMATS (2009)
Ruggero Lanotte, Simone Tini
Probabilistic bisimulation as a congruence. ACM Trans. Comput. Log. 10 (2) (2009)
Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte
Security Policies Enforcement Using Finite Edit Automata. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Ruggero Lanotte, Danièle Beauquier
A Decidable Probability Logic for Timed Probabilistic Systems. Fundam. Informaticae 96 (1-2) (2009)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Design and verification of long-running transactions in a timed framework. Sci. Comput. Program. 73 (2-3) (2008)
Laura Bozzelli, Ruggero Lanotte
Complexity and Succinctness Issues for Linear-Time Hybrid Logics. JELIA (2008)
Ruggero Lanotte, Simone Tini
Taylor approximation for hybrid systems. Inf. Comput. 205 (11) (2007)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Parametric probabilistic transition systems for system design and analysis. Formal Aspects Comput. 19 (1) (2007)
Catalin Dima, Ruggero Lanotte
Distributed Time-Asynchronous Automata. ICTAC (2007)
Ruggero Lanotte
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays. J. Autom. Lang. Comb. 12 (3) (2007)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. FMOODS (2006)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
A Classification of Time and/or Probability Dependent Security Properties. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Danièle Beauquier, Ruggero Lanotte
Hiding Information in Multi Level Security Systems. Formal Aspects in Security and Trust (2006)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Timed Automata with Data Structures for Distributed Systems Design and Analysis. SEFM (2005)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Automatic Analysis of a Non-Repudiation Protocol. Electron. Notes Theor. Comput. Sci. 112 (2005)
Ruggero Lanotte, Andrea Maggiolo-Schettini
Monotonic hybrid systems. J. Comput. Syst. Sci. 71 (1) (2005)
Ruggero Lanotte, Simone Tini
Probabilistic Congruence for Semistochastic Generative Processes. FoSSaCS (2005)
Ruggero Lanotte, Simone Tini
Taylor Approximation for Hybrid Systems. HSCC (2005)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Information Flow Analysis for Probabilistic Timed Automata. Formal Aspects in Security and Trust (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. SEFM (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Epsilon-transitions in Concurrent Timed Automata. Inf. Process. Lett. 89 (1) (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
Automatic Analysis of the NRL Pump. Electron. Notes Theor. Comput. Sci. 99 (2004)
Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2 (3-4) (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS (2004)
Ruggero Lanotte, Danièle Beauquier
A Decidable Probability Logic for Timed Probabilistic Systems CoRR (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
Structural Model Checking for Communicating Hierarchical Machines. MFCS (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Information flow in hybrid systems. ACM Trans. Embed. Comput. Syst. 3 (4) (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
Dynamic Hierarchical Machines. Fundam. Informaticae 54 (2-3) (2003)
Ruggero Lanotte
Expressive Power of Hybrid Systems with Variables, Parameters and Arrays. EXPRESS (2003)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. SEFM (2003)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Concurrency in timed automata. Theor. Comput. Sci. 309 (1-3) (2003)
Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
Formal Models of Timing Attacks on Web Privacy. Electron. Notes Theor. Comput. Sci. 62 (2001)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron
Transformations of Timed Cooperating Automata. Fundam. Informaticae 47 (3-4) (2001)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Privacy in Real-Time Systems. Electron. Notes Theor. Comput. Sci. 52 (3) (2001)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
Concurrency in Timed Automata. FCT (2001)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
Timed Cooperating Automata. Fundam. Informaticae 43 (1-4) (2000)
Ruggero Lanotte, Andrea Maggiolo-Schettini
Timed Automata with Monotonic Activities. MFCS (2000)