Ruggero Lanotte

J. Log. Algebraic Methods Program., February, 2024

Obfuscation strategies for industrial control systems.

[BibT_eX]

[DOI]

Int. J. Crit. Infrastructure Prot., 2024

Measuring Robustness in Cyber-Physical Systems under Sensor Attacks.

[BibT_eX]

[DOI]

CoRR, 2024

Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations.

[BibT_eX]

[DOI]

Michele Loreti

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Industrial Control Systems Security via Runtime Enforcement.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2023

Step-by-step Robustness for Biochemical Networks.

[BibT_eX]

[DOI]

Desiree Manicardi

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nicola Zannone

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2022

Towards Reverse Engineering of Industrial Physical Processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

A process calculus approach to detection and mitigation of PLC malware.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

A probabilistic calculus of cyber-physical systems.

[BibT_eX]

[DOI]

Inf. Comput., 2021

Runtime Enforcement of Programmable Logic Controllers.

[BibT_eX]

[DOI]

CoRR, 2021

Formal Impact Metrics for Cyber-physical Attacks.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

A Formal Approach to Physics-based Attacks in Cyber-physical Systems.

[BibT_eX]

[DOI]

ACM Trans. Priv. Secur., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

A Process Calculus Approach to Correctness Enforcement of PLCs.

[BibT_eX]

[DOI]

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

Runtime Enforcement for Control System Security.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Computing Bisimilarity Metrics for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

On the decidability of linear bounded periodic cyber-physical systems.

[BibT_eX]

[DOI]

Fabio Mogavero

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

Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

A semantic theory of the Internet of Things.

[BibT_eX]

[DOI]

Inf. Comput., 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

A Modest Security Analysis of Cyber-Physical Systems: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Compositional Weak Metrics for Group Key Update.

[BibT_eX]

[DOI]

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

A Calculus of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2017

Weak Simulation Quasimetric in a Gossip Scenario.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

A Formal Approach to Cyber-Physical Attacks.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

A Function Elimination Method for Checking Satisfiability of Arithmetical Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Extending Taylor Approximation to Hybrid Systems with Integrals.

[BibT_eX]

[DOI]

Proceedings of the 25th International Workshop on Concurrency, 2016

A Semantic Theory of the Internet of Things - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2016

2015

A Semantic Theory for the Internet of Things.

[BibT_eX]

[DOI]

CoRR, 2015

2014

A Specification Format for Rooted Branching Bisimulation.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

2013

Security policies enforcement using finite and pushdown edit automata.

[BibT_eX]

[DOI]

Joëlle Cohen

Int. J. Inf. Sec., 2013

A Rule Format for Rooted Branching Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Concurrency, 2013

2012

A study on shuffle, stopwatches and independently evolving clocks.

[BibT_eX]

[DOI]

Catalin Dima

Distributed Comput., 2012

2011

Hybrid and First-Order Complete Extensions of CaRet.

[BibT_eX]

[DOI]

Laura Bozzelli

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

Semantic Analysis of Gossip Protocols for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Time and Probability-Based Information Flow Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Weak bisimulation for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Complexity and succinctness issues for linear-time hybrid logics.

[BibT_eX]

[DOI]

Laura Bozzelli

Theor. Comput. Sci., 2010

Reachability results for timed automata with unbounded data structures.

[BibT_eX]

[DOI]

Acta Informatica, 2010

2009

Probabilistic bisimulation as a congruence.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

A Decidable Probability Logic for Timed Probabilistic Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Removing All Silent Transitions from Timed Automata.

[BibT_eX]

[DOI]

Catalin Dima

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2008

Design and verification of long-running transactions in a timed framework.

[BibT_eX]

[DOI]

Paolo Milazzo

Sci. Comput. Program., 2008

Security Policies Enforcement Using Finite Edit Automata.

[BibT_eX]

[DOI]

Joëlle Cohen

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

2007

Expressive Power of Hybrid Systems with Real Variables, Integer Variables and Arrays.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2007

Taylor approximation for hybrid systems.

[BibT_eX]

[DOI]

Inf. Comput., 2007

Parametric probabilistic transition systems for system design and analysis.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2007

Distributed Time-Asynchronous Automata.

[BibT_eX]

[DOI]

Catalin Dima

Proceedings of the Theoretical Aspects of Computing, 2007

2006

Hiding Information in Multi Level Security Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.

[BibT_eX]

[DOI]

Paolo Milazzo

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

Monotonic hybrid systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2005

A Classification of Time and/or Probability Dependent Security Properties.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Timed Automata with Data Structures for Distributed Systems Design and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Probabilistic Congruence for Semistochastic Generative Processes.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

Information flow in hybrid systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2004

Epsilon-transitions in Concurrent Timed Automata.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

Automated analysis of timed security: a case study on web privacy.

[BibT_eX]

[DOI]

Roberto Gorrieri

Fabio Martinelli

Int. J. Inf. Sec., 2004

Automatic Analysis of a Non-Repudiation Protocol.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Structural Model Checking for Communicating Hierarchical Machines.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

Information Flow Analysis for Probabilistic Timed Automata.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 6th International Conference, 2004

2003

An automaton-theoretic approach to safety and security in real-time systems.

[BibT_eX]

[DOI]

PhD thesis, 2003

Concurrency in timed automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Dynamic Hierarchical Machines.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Automatic Analysis of the NRL Pump.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

Weak Bisimulation for Probabilistic Timed Automata and Applications to Security.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2001

Transformations of Timed Cooperating Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2001

Privacy in Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

Formal Models of Timing Attacks on Web Privacy.

[BibT_eX]

[DOI]

Riccardo Focardi

Roberto Gorrieri

Fabio Martinelli

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

2000

Timed Cooperating Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000

Timed Automata with Monotonic Activities.

[BibT_eX]

[DOI]