10 citations · 39 across the 23 of their papers we have counts for
26 papers
Automatic Fair Exchanges
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano +1
In a decentralized environment, exchanging resources requires users to bargain until an agreement is found. Moreover, human agreements involve a combination of collaborative and se…
Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show And Tell)
Luca Viganò
"Show, don't tell" has become the literary commandment for any writer. It applies to all forms of fiction, and to non-fiction, including scientific writing, where it lies at the he…
Time-Stamped Claim Logic
João Rasga, Cristina Sernadas, Erisa Karafili +1
The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per…
Explaining Cybersecurity with Films and the Arts (Extended Abstract)
Luca Viganò
Explaining Cybersecurity with Films and the Arts
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
Ruggero Lanotte, Massimo Merro, Andrei Munteanu +1
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devi…
Schrödinger's Man
Luca Viganò, Diego Sempreboni
What if someone built a "box" that applies quantum superposition not just to quantum bits in the microscopic but also to macroscopic everyday "objects", such as Schrödinger's cat o…