research
∙
08/28/2023
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols
We introduce CryptoBap, a platform to verify weak secrecy and authentica...
share
research
∙
10/02/2022
Automated Security Analysis of Exposure Notification Systems
We present the first formal analysis and comparison of the security of t...
research
∙
05/14/2021
On the Soundness of Infrastructure Adversaries
Companies and network operators perform risk assessment to inform policy...
research
∙
06/22/2020
Verifying Accountability for Unbounded Sets of Participants
Little can be achieved in the design of security protocols without trust...
research
∙
10/31/2019
Causality Control Flow
Causality has been the issue of philosophic debate since Hippocrates. It...
research
∙
05/28/2018
Automated Verification of Accountability in Security Protocols
Accounting for misbehavior, instead of postulating trustworthiness, has ...
research
∙
10/25/2017
Sufficient and necessary causation are dual
Causation has been the issue of philosophic debate since Hippocrates. Re...
research
∙
05/15/2017