Round-Optimal Fully Secure Distributed Key Generation

Security Properties through the Lens of Modal Logic

Expanding Horizons: Hyperproperties in CPS, Fairness, and Legal Compliance Requirements

Cryptography in the Wild

Christian Cachin: Consensus in blockchains: Overview and recent results

Katharina Krombholz: Towards Understandable Privacy & Security Guarantees - The Human Factors Persp.

Konrad Rieck: When Papers Choose their Reviewers: Adversarial ML in Conference Management Systems.

Arthur Gervais: How Dark is the Forest? On Blockchain Extractable Value in Decentralized Finance

Elissa Redmiles: Learning from the People: Responsibly Encouraging Adoption of Contact Tracing Apps

Dan Boneh - How to Commit to a Private Function

Franziska Roesner - Attacking the Brain

Yang Zhang - Quantifying Privacy Risks of Machine Learning Models

Herbert Bos - A Stab in the Dark: Blind Attacks on the Linux Kernel

Roger Wattenhofer - Cascade: Asynchronous Proof-of-Stake

Matteo Maffei - Practical and Provably Sound Static Analysis of Ethereum Smart Contracts

Bryan Ford - Digital Personhood: Towards Technology that Securely Serves People

Thorsten Holz - Fuzz Testing and Beyond

Bart Preneel: Proximity tracing with Coronalert: lessons learned

Henry Corrigan-GIbbs: SafetyPin: Encrypted Backups with Human-Memorable Secrets

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts - CCS 2020

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts - Teaser (CCS 2020)

The Good, The Bad and The Ugly - ISoLA 2020

Language Based Web Session Integrity - CSF 2020