Ruggero Lanotte

Orcid: 0000-0002-3335-234X

According to our database1, Ruggero Lanotte authored at least 77 papers between 2000 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Back to the format: A survey on SOS for probabilistic processes.
J. Log. Algebraic Methods Program., February, 2024

2023
Industrial Control Systems Security via Runtime Enforcement.
ACM Trans. Priv. Secur., 2023

Step-by-step Robustness for Biochemical Networks.
Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2022
Towards Reverse Engineering of Industrial Physical Processes.
Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022

2021
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces.
Theor. Comput. Sci., 2021

A process calculus approach to detection and mitigation of PLC malware.
Theor. Comput. Sci., 2021

A probabilistic calculus of cyber-physical systems.
Inf. Comput., 2021

Runtime Enforcement of Programmable Logic Controllers.
CoRR, 2021

Formal Impact Metrics for Cyber-physical Attacks.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020
A Formal Approach to Physics-based Attacks in Cyber-physical Systems.
ACM Trans. Priv. Secur., 2020

A process calculus approach to correctness enforcement of PLCs (full version).
CoRR, 2020

A Process Calculus Approach to Correctness Enforcement of PLCs.
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

Runtime Enforcement for Control System Security.
Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version).
CoRR, 2019

Computing Bisimilarity Metrics for Probabilistic Timed Automata.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

On the decidability of linear bounded periodic cyber-physical systems.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018
Equational Reasonings in Wireless Network Gossip Protocols.
Log. Methods Comput. Sci., 2018

A semantic theory of the Internet of Things.
Inf. Comput., 2018

Towards a formal notion of impact metric for cyber-physical attacks (full version).
CoRR, 2018

Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

A Modest Security Analysis of Cyber-Physical Systems: A Case Study.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017
Compositional Weak Metrics for Group Key Update.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

A Calculus of Cyber-Physical Systems.
Proceedings of the Language and Automata Theory and Applications, 2017

Weak Simulation Quasimetric in a Gossip Scenario.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

A Formal Approach to Cyber-Physical Attacks.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics.
Fundam. Informaticae, 2016

Extending Taylor Approximation to Hybrid Systems with Integrals.
Proceedings of the 25th International Workshop on Concurrency, 2016

A Semantic Theory of the Internet of Things - (Extended Abstract).
Proceedings of the Coordination Models and Languages, 2016

2015
A Semantic Theory for the Internet of Things.
CoRR, 2015

2014
A Specification Format for Rooted Branching Bisimulation.
Fundam. Informaticae, 2014

2013
Security policies enforcement using finite and pushdown edit automata.
Int. J. Inf. Sec., 2013

A Rule Format for Rooted Branching Bisimulation.
Proceedings of the 22nd International Workshop on Concurrency, 2013

2012
A study on shuffle, stopwatches and independently evolving clocks.
Distributed Comput., 2012

2011
Hybrid and First-Order Complete Extensions of CaRet.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

Semantic Analysis of Gossip Protocols for Wireless Sensor Networks.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010
Time and Probability-Based Information Flow Analysis.
IEEE Trans. Software Eng., 2010

Weak bisimulation for Probabilistic Timed Automata.
Theor. Comput. Sci., 2010

Complexity and succinctness issues for linear-time hybrid logics.
Theor. Comput. Sci., 2010

Reachability results for timed automata with unbounded data structures.
Acta Informatica, 2010

2009
Probabilistic bisimulation as a congruence.
ACM Trans. Comput. Log., 2009

A Decidable Probability Logic for Timed Probabilistic Systems.
Fundam. Informaticae, 2009

Removing All Silent Transitions from Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008
Design and verification of long-running transactions in a timed framework.
Sci. Comput. Program., 2008

Security Policies Enforcement Using Finite Edit Automata.
Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

2007
Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays.
J. Autom. Lang. Comb., 2007

Taylor approximation for hybrid systems.
Inf. Comput., 2007

Parametric probabilistic transition systems for system design and analysis.
Formal Aspects Comput., 2007

Distributed Time-Asynchronous Automata.
Proceedings of the Theoretical Aspects of Computing, 2007

2006
Hiding Information in Multi Level Security Systems.
Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005
Monotonic hybrid systems.
J. Comput. Syst. Sci., 2005

A Classification of Time and/or Probability Dependent Security Properties.
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Timed Automata with Data Structures for Distributed Systems Design and Analysis.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Probabilistic Congruence for Semistochastic Generative Processes.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004
Information flow in hybrid systems.
ACM Trans. Embed. Comput. Syst., 2004

Epsilon-transitions in Concurrent Timed Automata.
Inf. Process. Lett., 2004

Automated analysis of timed security: a case study on web privacy.
Int. J. Inf. Sec., 2004

Automatic Analysis of a Non-Repudiation Protocol.
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Structural Model Checking for Communicating Hierarchical Machines.
Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

Information Flow Analysis for Probabilistic Timed Automata.
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Automatic Covert Channel Analysis of a Multilevel Secure Component.
Proceedings of the Information and Communications Security, 6th International Conference, 2004

2003
An automaton-theoretic approach to safety and security in real-time systems.
PhD thesis, 2003

Concurrency in timed automata.
Theor. Comput. Sci., 2003

Dynamic Hierarchical Machines.
Fundam. Informaticae, 2003

Automatic Analysis of the NRL Pump.
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Expressive Power of Hybrid Systems with Variables, Parameters and Arrays.
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

Weak Bisimulation for Probabilistic Timed Automata and Applications to Security.
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2001
Transformations of Timed Cooperating Automata.
Fundam. Informaticae, 2001

Privacy in Real-Time Systems.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

Formal Models of Timing Attacks on Web Privacy.
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

2000
Timed Cooperating Automata.
Fundam. Informaticae, 2000

Timed Automata with Monotonic Activities.
Proceedings of the Mathematical Foundations of Computer Science 2000, 2000


  Loading...