16 citations · 30 across the 9 of their papers we have counts for
Showing 2019Show all
2 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
An Argumentation-Based Reasoner to Assist Digital Investigation and Attribution of Cyber-Attacks
Erisa Karafili, Linna Wang, Emil C. Lupu
We expect an increase in the frequency and severity of cyber-attacks that comes along with the need for efficient security countermeasures. The process of attributing a cyber-attac…