Massimo Merro

Identifiers

• name variant Massimo Merro 0.60 · backfill

Papers (5)

1. A Calculus of Cyber-Physical Systems cs.LO · 2016 · author #2
2. A Formal Approach to Cyber-Physical Attacks cs.CR · 2016 · author #2
3. A Semantic Theory of the Internet of Things cs.LO · 2015 · author #3
4. Semantics for Locking Specifications cs.PL · 2015 · author #3
5. A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks cs.CR · 2011 · author #3

Mentions

• 1510.04854 #3 · backfill · confidence 0.70 Massimo Merro
• 1501.05338 #3 · backfill · confidence 0.70 Massimo Merro
• 1109.5088 #3 · backfill · confidence 0.70 Massimo Merro

Frequent Coauthors

• Ruggero Lanotte 3 shared papers
• Damiano Macedonio 2 shared papers
• Fausto Spoto 1 shared papers
• Francesco Ballardin 1 shared papers
• Luca Vigan\`o 1 shared papers
• Mattia Tirapelle 1 shared papers
• Michael Ernst 1 shared papers
• Riccardo Muradore 1 shared papers
• Valentina Castiglioni 1 shared papers