research
∙
09/18/2023
Security Properties through the Lens of Modal Logic
We introduce a framework for reasoning about the security of computer sy...
share
research
∙
04/02/2021
Security Properties as Nested Causal Statements
Thinking in terms of causality helps us structure how different parts of...
research
∙
05/20/2020
Information Acquisition Under Resource Limitations in a Noisy Environment
We introduce a theoretical model of information acquisition under resour...
research
∙
07/16/2019
The Impact of Tribalism on Social Welfare
We explore the impact of mutual altruism among the players belonging to ...
research
∙
07/08/2018
Coalgebraic Tools for Randomness-Conserving Protocols
We propose a coalgebraic model for constructing and reasoning about stat...
research
∙
06/14/2016