Massimo Merro

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Andrei Munteanu

> Home > Persons > Massimo Merro

Publications

2023
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/LanotteMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/LanotteMM23
Ruggero Lanotte, Massimo Merro, Andrei Munteanu:
Industrial Control Systems Security via Runtime Enforcement. ACM Trans. Priv. Secur. 26(1): 4:1-4:41 (2023)
2021
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LanotteMM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LanotteMM21
Ruggero Lanotte, Massimo Merro, Andrei Munteanu:
A process calculus approach to detection and mitigation of PLC malware. Theor. Comput. Sci. 890: 125-146 (2021)
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/LanotteMMT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/LanotteMMT21
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Simone Tini:
Formal Impact Metrics for Cyber-physical Attacks. CSF 2021: 1-16
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-10668
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-10668
Ruggero Lanotte, Massimo Merro, Andrei Munteanu:
Runtime Enforcement of Programmable Logic Controllers. CoRR abs/2105.10668 (2021)
2020
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/LanotteMMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/LanotteMMV20
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): 3:1-3:41 (2020)
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/LanotteMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/LanotteMM20
Ruggero Lanotte, Massimo Merro, Andrei Munteanu:
Runtime Enforcement for Control System Security. CSF 2020: 246-261
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MunteanuPM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MunteanuPM20
Andrei Munteanu, Michele Pasqua, Massimo Merro:
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. FormaliSE@ICSE 2020: 34-43
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ictcs/LanotteMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/LanotteMM20
Ruggero Lanotte, Massimo Merro, Andrei Munteanu:
A Process Calculus Approach to Correctness Enforcement of PLCs. ICTCS 2020: 81-94
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-09399
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-09399
Ruggero Lanotte, Massimo Merro, Andrei Munteanu:
A process calculus approach to correctness enforcement of PLCs (full version). CoRR abs/2007.09399 (2020)
2019
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-04572
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-04572
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, Luca Viganò:
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version). CoRR abs/1902.04572 (2019)
2018
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/LanotteMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LanotteMM18
Ruggero Lanotte, Massimo Merro, Andrei Munteanu:
A Modest Security Analysis of Cyber-Physical Systems: A Case Study. FORTE 2018: 58-78
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/icphys/MunteanuMMF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icphys/MunteanuMMF18
Andrei Munteanu, Riccardo Muradore, Massimo Merro, Paolo Fiorini:
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis. ICPS 2018: 159-166

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.