research
∙
07/25/2022
Automatic Fair Exchanges
In a decentralized environment, exchanging resources requires users to b...
share
research
∙
03/19/2021
Don't Tell Me The Cybersecurity Moon Is Shining... (Cybersecurity Show And Tell)
"Show, don't tell" has become the literary commandment for any writer. I...
research
∙
07/15/2019
Time-Stamped Claim Logic
The main objective of this paper is to define a logic for reasoning abou...
research
∙
05/05/2019
Explaining Cybersecurity with Films and the Arts (Extended Abstract)
Explaining Cybersecurity with Films and the Arts...
research
∙
02/12/2019
A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)
We apply formal methods to lay and streamline theoretical foundations to...
research
∙
01/28/2019
It could be worse, it could be raining: reliable automatic meteorological forecasting
Meteorological forecasting provides reliable prediction about the future...
research
∙
12/14/2018
Schrödinger's Man
What if someone built a "box" that applies quantum superposition not jus...
research
∙
12/14/2018
Smart Humans... WannaDie?
It won't be long until our prostheses, ECG personal monitors, subcutaneo...
research
∙
12/13/2018
MMM: May I Mine Your Mind?
Consider the following set-up for the plot of a possible future episode ...
research
∙
07/11/2018
Gnirut: The Trouble With Being Born Human In An Autonomous World
What if we delegated so much to autonomous AI and intelligent machines t...
research
∙
07/11/2018
Privacy, Security and Trust in the Internet of Neurons
Arpanet, Internet, Internet of Services, Internet of Things, Internet of...
research
∙
07/11/2018
Explainable Security
The Defense Advanced Research Projects Agency (DARPA) recently launched ...
research
∙
04/26/2018
A Formal Approach to Analyzing Cyber-Forensics Evidence
The frequency and harmfulness of cyber-attacks are increasing every day,...
research
∙
01/23/2011