research
∙
05/14/2023
Traceable mixnets
We introduce the notion of traceable mixnets. In a traditional mixnet, m...
share
research
∙
10/26/2022
Ballot stuffing and participation privacy in pollsite voting
We study the problem of simultaneously addressing both ballot stuffing a...
research
∙
07/30/2022
Fence Synthesis under the C11 Memory Model
The C/C++11 (C11) standard offers a spectrum of ordering guarantees on m...
research
∙
01/01/2022
Secure Information Flow Typing in LUSTRE
Synchronous reactive data flow is a paradigm that provides a high-level ...
research
∙
07/06/2021
Thread-modular Analysis of Release-Acquire Concurrency
We present a thread-modular abstract interpretation(TMAI) technique to v...
research
∙
03/02/2021
Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics
We investigate the problem of runtime analysis of C11 programs under Mul...
research
∙
06/08/2020
An operational architecture for privacy-by-design in public service applications
Governments around the world are trying to build large data registries f...
research
∙
08/26/2019
A universally verifiable voting protocol with complete cast-as-intended and counted-as-cast guarantees
We present a universally verifiable voting protocol and establish its co...
research
∙
08/26/2019
A universally verifiable, software independent, bare-handed voting protocol
We present a scalable and universally verifiable voting protocol and est...
research
∙
05/10/2019