research
∙
07/15/2019
Time-Stamped Claim Logic
The main objective of this paper is to define a logic for reasoning abou...
share
research
∙
04/30/2019
An Argumentation-Based Approach to Assist in the Investigation and Attribution of Cyber-Attacks
We expect an increase in frequency and severity of cyber-attacks that co...
research
∙
04/26/2018
A Formal Approach to Analyzing Cyber-Forensics Evidence
The frequency and harmfulness of cyber-attacks are increasing every day,...
research
∙
05/01/2017
