10 citations · 39 across the 23 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
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…
cs.CR2019
Explaining Cybersecurity with Films and the Arts (Extended Abstract)
Luca Viganò
Explaining Cybersecurity with Films and the Arts
cs.LO2019★ 2 cited
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…