research
∙
04/06/2023
FABRID: Flexible Attestation-Based Routing for Inter-Domain Networks
In its current state, the Internet does not provide end users with trans...
share
research
∙
02/27/2023
Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System
Recently proposed systems aim at achieving privacy using locality-sensit...
research
∙
01/18/2023
Efficient Black-box Checking of Snapshot Isolation in Databases
Snapshot isolation (SI) is a prevalent weak isolation level that avoids ...
research
∙
12/08/2022
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
We provide a framework consisting of tools and metatheorems for the end-...
research
∙
10/18/2022
Efficient Evaluation of Arbitrary Relational Calculus Queries
The relational calculus (RC) is a concise, declarative query language. H...
research
∙
10/14/2022
SealClub: Computer-aided Paper Document Authentication
Digital authentication is a mature field, offering a range of solutions ...
research
∙
05/31/2022
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version)
Security Enhanced Linux (SELinux) is a security architecture for Linux i...
research
∙
10/09/2020
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Lighthouse projects such as CompCert, seL4, IronFleet, and DeepSpec have...
research
∙
06/18/2020
A Theory of Black-Box Tests
The purpose of testing a system with respect to a requirement is to refu...
research
∙
06/15/2020
The EMV Standard: Break, Fix, Verify
EMV is the international protocol standard for smartcard payment and is ...
research
∙
05/25/2020
Decentralized Privacy-Preserving Proximity Tracing
This document describes and analyzes a system for secure and privacy-pre...
research
∙
05/07/2020
Dispute Resolution in Voting
In voting, disputes arise when a voter claims that the voting authority ...
research
∙
09/24/2019
Runtime Verification over Out-of-order Streams
We present an approach for verifying systems at runtime. Our approach ta...
research
∙
08/16/2019
The Next 700 Policy Miners: A Universal Method for Building Policy Miners
A myriad of access control policy languages have been and continue to be...
research
∙
08/17/2018
Cardinality Estimators do not Preserve Privacy
Cardinality estimators like HyperLogLog are sketching algorithms that es...
research
∙
06/27/2018
Formal Analysis of 5G Authentication
Mobile communication networks connect much of the world's population. Th...
research
∙
06/08/2017
Securing Databases from Probabilistic Inference
Databases can leak confidential information when users combine query res...
research
∙
12/19/2012