10 citations · 39 across the 23 of their papers we have counts for
14 papers · 1 filter
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…
Explaining Cybersecurity with Films and the Arts (Extended Abstract)
Luca Viganò
Explaining Cybersecurity with Films and the Arts
Explainable Security
Luca Viganò, Daniele Magazzeni
The Defense Advanced Research Projects Agency (DARPA) recently launched the Explainable Artificial Intelligence (XAI) program that aims to create a suite of new AI techniques that…
A Formal Approach to Analyzing Cyber-Forensics Evidence
Erisa Karafili, Matteo Cristani, Luca Viganò
The frequency and harmfulness of cyber-attacks are increasing every day, and with them also the amount of data that the cyber-forensics analysts need to collect and analyze. In thi…
A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version)
Federico De Meo, Luca Viganò
Web applications require access to the file-system for many different tasks. When analyzing the security of a web application, secu- rity analysts should thus consider the impact t…