research
∙
05/20/2023
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
Cryptographic protocols are extremely hard to design and prove correct, ...
share
research
∙
01/05/2022
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
The complexity of browsers has steadily increased over the years, driven...
research
∙
09/21/2021
Pinpointing and Measuring Wasabi and Samourai CoinJoins in the Bitcoin Ecosystem
We present a first measurement study on two popular wallets with built-i...
research
∙
09/15/2021
Towards a Game-Theoretic Security Analysis of Off-Chain Protocols
Off-chain protocols constitute one of the most promising approaches to s...
research
∙
01/14/2021
The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts
Ethereum smart contracts are distributed programs running on top of the ...
research
∙
12/03/2020
Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web
Related-domain attackers control a sibling domain of their target web ap...
research
∙
11/29/2020
Demand-Aware Payment Channel Networks
This paper initiates the study of demand-aware payment channel networks:...
research
∙
07/01/2020
Cross-Layer Deanonymization Methods in the Lightning Protocol
Payment channel networks (PCNs) have emerged as a promising alternative ...
research
∙
05/13/2020
eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
Ethereum has emerged as the most popular smart contract development plat...
research
∙
01/28/2020
Language-Based Web Session Integrity
Session management is a fundamental component of web applications: despi...
research
∙
11/20/2019
Concurrency and Privacy with Payment-Channel Networks
Permissionless blockchains protocols such as Bitcoin are inherently limi...
research
∙
06/24/2019
Verifying Relational Properties using Trace Logic
We present a logical framework for the verification of relational proper...
research
∙
06/24/2018
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
We present WPSE, a browser-side security monitor for web protocols desig...
research
∙
02/23/2018
A Semantic Framework for the Security Analysis of Ethereum smart contracts
Smart contracts are programs running on cryptocurrency (e.g., Ethereum) ...
research
∙
08/28/2017
A Type System for Privacy Properties (Technical Report)
Mature push button tools have emerged for checking trace properties (e.g...
research
∙
05/30/2017