Massimo Merro

According to our database1, Massimo Merro authored at least 64 papers between 1996 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Friendly Fire: Cross-app Interactions in IoT Platforms.
ACM Trans. Priv. Secur., 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

Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking.
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 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

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

Securing Cross-App Interactions in IoT Platforms.
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 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

AODVv2: Performance vs. Loop Freedom.
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

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

On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 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
Semantics for Locking Specifications.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

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

2015
Modelling MAC-Layer Communications in Wireless Systems.
Log. Methods Comput. Sci., 2015

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

Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014
A semantic analysis of key management protocols for wireless sensor networks.
Sci. Comput. Program., 2014

2013
A calculus of trustworthy ad hoc networks.
Formal Aspects Comput., 2013

Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013

2012
A Semantic Analysis of Wireless Network Security Protocols.
Proceedings of the NASA Formal Methods, 2012

2011
A timed calculus for wireless systems.
Theor. Comput. Sci., 2011

A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks
CoRR, 2011

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

2010
On the observational theory of the CPS-calculus.
Acta Informatica, 2010

Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

A Calculus for the Analysis of Wireless Network Security Protocols.
Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009
An Observational Theory for Mobile Ad Hoc Networks (full version).
Inf. Comput., 2009

Preface.
Electron. Notes Theor. Comput. Sci., 2009

A Timed Calculus for Wireless Systems.
Proceedings of the Fundamentals of Software Engineering, 2009

2007
An Observational Theory for Mobile Ad Hoc Networks.
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

Distributed Consensus, revisited.
Acta Informatica, 2007

2006
A bisimulation-based semantic theory of Safe Ambients.
ACM Trans. Program. Lang. Syst., 2006

On the Observational Theory of the CPS-calculus: (Extended Abstract).
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2005
Behavioral theory for mobile ambients.
J. ACM, 2005

Communication and mobility control in boxed ambients.
Inf. Comput., 2005

2004
Towards a behavioural theory of access and mobility control in distributed systems.
Theor. Comput. Sci., 2004

On asynchrony in name-passing calculi.
Math. Struct. Comput. Sci., 2004

Behavioural Theory for Mobile Ambients.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003
Bisimulation Proof Methods for Mobile Ambients.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Modeling Consensus in a Process Calculus.
Proceedings of the CONCUR 2003, 2003

2002
Aliasing Models for Mobile Objects.
Inf. Comput., 2002

Mobile Objects as Mobile Processes.
Inf. Comput., 2002

Bisimulation congruences in safe ambients.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

Communication Interference in Mobile Boxed Ambients.
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

Typing and Subtyping Mobility in Boxed Ambients.
Proceedings of the CONCUR 2002, 2002

2000
Local pi-Calculus at Work: Mobile Objects as Mobile Processes.
Proceedings of the Theoretical Computer Science, 2000

Locality and Polyadicity in Asynchronous Name-Passing Calculi.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
On Equators in Asynchronous Name-passing Calculi without Matching.
Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

Aliasing Models for Object Migration.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998
On the Expressiveness of Chi, Update, and Fusion calculi.
Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

1996
Prorities in Statecharts.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996


  Loading...