research
∙
07/09/2023
Vector Commitments with Efficient Updates
Dynamic vector commitments that enable local updates of opening proofs h...
share
research
∙
11/07/2022
Do Users Write More Insecure Code with AI Assistants?
We conduct the first large-scale user study examining how users interact...
research
∙
10/01/2022
zkBridge: Trustless Cross-chain Bridges Made Practical
Blockchains have seen growing traction with cryptocurrencies reaching a ...
research
∙
09/01/2022
Memory Tagging: A Memory Efficient Design
ARM recently introduced a security feature called Memory Tagging Extensi...
research
∙
08/05/2022
Cryptoeconomic Security for Data Availability Committees
Layer 2 systems have received increasing attention due to their potentia...
research
∙
07/31/2022
ERC-20R and ERC-721R: Reversible Transactions on Ethereum
Blockchains are meant to be persistent: posted transactions are immutabl...
research
∙
07/08/2022
Strong Anonymity for Mesh Messaging
Messaging systems built on mesh networks consisting of smartphones commu...
research
∙
10/07/2021
Attacks on Onion Discovery and Remedies via Self-Authenticating Traditional Addresses
Onion addresses encode their own public key. They are thus self-authenti...
research
∙
12/29/2020
Lightweight Techniques for Private Heavy Hitters
This paper presents a new protocol for solving the private heavy-hitters...
research
∙
11/23/2020
Differentially Private Learning Needs Better Features (or Much More Data)
We demonstrate that differentially private machine learning has not yet ...
research
∙
11/20/2019
Express: Lowering the Cost of Metadata-hiding Communication with Cryptographic Privacy
Existing systems for metadata-hiding messaging that provide cryptographi...
research
∙
10/08/2019
Supersingular Curves With Small Non-integer Endomorphisms
We introduce a special class of supersingular curves over F_p^2, charact...
research
∙
08/30/2019
How Relevant is the Turing Test in the Age of Sophisbots?
Popular culture has contemplated societies of thinking machines for gene...
research
∙
08/12/2019
Retrofitting a two-way peg between blockchains
In December 2015, a bounty emerged to establish both reliable communicat...
research
∙
04/30/2019
Adversarial Training and Robustness for Multiple Perturbations
Defenses against adversarial examples, such as adversarial training, are...
research
∙
12/02/2018
SentiNet: Detecting Physical Attacks Against Deep Learning Systems
SentiNet is a novel detection framework for physical attacks on neural n...
research
∙
11/08/2018
Ad-versarial: Defeating Perceptual Ad-Blocking
Perceptual ad-blocking is a novel approach that uses visual cues to dete...
research
∙
10/10/2018
True2F: Backdoor-resistant authentication tokens
We present True2F, a system for second-factor authentication that provid...
research
∙
09/13/2018
Fidelius: Protecting User Secrets from Compromised Browsers
Users regularly enter sensitive data, such as passwords, credit card num...
research
∙
07/09/2018
Multiparty Non-Interactive Key Exchange and More From Isogenies on Elliptic Curves
We describe a framework for constructing an efficient non-interactive ke...
research
∙
06/08/2018
Slalom: Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware
As Machine Learning (ML) gets applied to security-critical or sensitive ...
research
∙
05/19/2017
Ensemble Adversarial Training: Attacks and Defenses
Machine learning models are vulnerable to adversarial examples, inputs m...
research
∙
04/11/2017