412 citations · 554 across the 18 of their papers we have counts for
17 papers · 1 filter
Locality-Sensitive Hashing Does Not Guarantee Privacy! Attacks on Google's FLoC and the MinHash Hierarchy System
Florian Turati, Carlos Cotrini, Karel Kubicek +1
Recently proposed systems aim at achieving privacy using locality-sensitive hashing. We show how these approaches fail by presenting attacks against two such systems: Google's FLoC…
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
Linard Arquint, Felix A. Wolf, Joseph Lallemand +5
We provide a framework consisting of tools and metatheorems for the end-to-end verification of security protocols, which bridges the gap between automated protocol verification and…
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version)
Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano +1
Security Enhanced Linux (SELinux) is a security architecture for Linux implementing mandatory access control. It has been used in numerous security-critical contexts ranging from s…
The EMV Standard: Break, Fix, Verify
David Basin, Ralf Sasse, Jorge Toro-Pozo
EMV is the international protocol standard for smartcard payment and is used in over 9 billion cards worldwide. Despite the standard's advertised security, various issues have been…
Dispute Resolution in Voting
David Basin, Sasa Radomirovic, Lara Schmid
In voting, disputes arise when a voter claims that the voting authority is dishonest and did not correctly process his ballot while the authority claims to have followed the protoc…
Decentralized Privacy-Preserving Proximity Tracing
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux +31
This document describes and analyzes a system for secure and privacy-preserving proximity tracing at large scale. This system, referred to as DP3T, provides a technological foundat…