International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Invited talks and papers

This page attempts to list all invited talks and papers at IACR conferences. IACR distinguished lectures are listed on this page. If any others are missing, please notify

Year
Venue
Title
2019
ASIACRYPT
New proof systems for sustainable blockchains: proofs of space and verifiable delay functions
Invited talk
The distinctive feature of Bitcoin is that it achieves decentralisation in an open setting where everyone can join. This is achieved at a high price, honest parties must constantly dedicate more computational power towards securing Bitcoin's blockchain than is available to a potential adversary, which leads to a massive waste of energy; at its hitherto peak, the electricity used for Bitcoin mining equaled the electricity consumption of Austria. In this lecture I will discuss how disk-space, instead of computation, can be used as a resource to construct a more sustainable blockchain. We will see definitions and constructions of "proof of space" and "verifiable delay functions", and how they can be used to construct a Blockchain with similar dynamics and security properties as the Bitcoin blockchain.
2019
ASIACRYPT
Streamlined blockchains: A simple and elegant approach (tutorial)
Invited talk
A blockchain protocol (also called state machine replication) allows a set of nodes to agree on an ever-growing, linearly ordered log of transactions. In this tutorial, we present a new paradigm called “streamlined blockchains”. This paradigm enables a new family of protocols that are extremely simple and natural: every epoch, a proposer proposes a block extending from a notarized parent chain, and nodes vote if the proposal’s parent chain is not too old. Whenever a block gains enough votes, it becomes notarized. Whenever a node observes a notarized chain with several blocks of consecutive epochs at the end, then the entire chain chopping off a few blocks at the end is final. By varying the parameters highlighted in blue, we illustrate two variants for the partially synchronous and synchronous settings respectively. We present very simple proofs of consistency and liveness. We hope that this tutorial provides a compelling argument why this new family of protocols should be used in lieu of classical candidates (e.g., PBFT, Paxos, and their variants), both in practical implementation and for pedagogical purposes.
2019
CHES
RISCV and Security: how, when and why?
Invited talk
In this talk we will provide an overview of the current activities of the RISCV Foundation, including the creation of a Security Standing Committee about a year ago which is in charge of assessing new threats and opportunities in security in the RISCV world; we will discuss progress being made by the security-related task groups. The first one is working on specifying extensions of the base instruction set architecture (ISA) that will enable high-performance and high security cryptographic operations (AES, SHA-2, Public Key Cryptography); the second one is looking at creating extensions and hardware/software specifications to enable a trusted execution environment built on top of a RISCV processor; we will also provide details on the activities of the Security Standing Committee itself, and what some of the plans are to tackle the newest microarchitectural cache timing side-channel attacks such as Spectre, Meltdown, Foreshadow, etc. We will review some additional work on secure RISCV and existing security extension initiatives by academia around the world. Finally, we will describe some approaches of how a side-channel and DPA-resistant RISCV CPU could be built and elaborate on the research we have been focused on in the past months.
2019
CHES
Developing High-Performance Mechanically-Verified Cryptographic Code
Invited talk
Project Everest is constructing a high-performance, standards-compliant, formally verified implementation of the HTTPS ecosystem, including TLS, X.509, and the core cryptographic algorithms. This talk will present an overview of how we verify our implementations are correct, cryptographically secure, and resilient to basic side channels. We will focus on our EverCrypt cryptographic provider, a comprehensive collection of verified, high-performance cryptographic functionalities available via a carefully designed API. The API provably supports agility (choosing between multiple algorithms for the same functionality) and multiplexing (choosing between multiple implementations of the same algorithm). Through a combination of abstraction and zero-cost generic programming, we show how agility can simplify verification without sacrificing performance, and we demonstrate how C and assembly can be composed and verified against shared specifications. The result is several functionalities whose performance matches or exceeds the best unverified implementations. Altogether, EverCrypt consists of over 100K verified lines of specs, code, and proofs, and it produces over 45K lines of C and assembly code.
2019
CRYPTO
2019
CRYPTO
Contextual Integrity 📺
Invited Talk
2019
EUROCRYPT
2019
EUROCRYPT
2019
EUROCRYPT
Differential Privacy and the People's Data 📺
IACR Distingished Lecture
2019
FSE
On Invariant Attacks 📺
Invited talk
2019
FSE
2019
FSE
2019
PKC
2019
TCC
2019
TCC
2018
ASIACRYPT
2018
ASIACRYPT
2018
ASIACRYPT
2018
CHES
2018
CHES
2018
CRYPTO
2018
CRYPTO
2018
EUROCRYPT
2018
EUROCRYPT
2018
FSE
2018
PKC
2018
PKC
2018
TCC
2018
TCC
2017
ASIACRYPT
2017
ASIACRYPT
2017
ASIACRYPT
2017
CHES
2017
CRYPTO
2017
CRYPTO
2017
EUROCRYPT
2017
EUROCRYPT
2017
FSE
2017
FSE
2017
PKC
2017
PKC
2017
TCC
2017
TCC
2016
ASIACRYPT
2016
ASIACRYPT
2016
ASIACRYPT
2016
CHES
2016
CRYPTO
(title unknown)
Invited talk
2016
CRYPTO
2016
EUROCRYPT
2016
EUROCRYPT
2016
EUROCRYPT
2016
FSE
2016
FSE
2016
PKC
2016
PKC
2016
PKC
2016
TCC
2016
TCC
2016
TCC
2016
TCC
2016
TCC
2015
ASIACRYPT
2015
ASIACRYPT
2015
ASIACRYPT
2015
CHES
2015
CRYPTO
2015
CRYPTO
2015
EUROCRYPT
2015
EUROCRYPT
2015
EUROCRYPT
2015
FSE
2015
FSE
2015
PKC
2015
PKC
2015
TCC
2015
TCC
2014
ASIACRYPT
2014
ASIACRYPT
2014
CHES
2014
CRYPTO
2014
EUROCRYPT
2014
EUROCRYPT
2014
FSE
2014
FSE
2014
PKC
2014
PKC
2014
TCC
2014
TCC
2013
ASIACRYPT
2013
ASIACRYPT
2013
CHES
2013
CRYPTO
2013
CRYPTO
2013
EUROCRYPT
2013
FSE
2013
FSE
2013
PKC
2013
PKC
2013
TCC
2013
TCC
2013
TCC
2012
ASIACRYPT
2012
ASIACRYPT
2012
CHES
2012
CHES
2012
CRYPTO
The End of Crypto 📺
Invited paper
2012
CRYPTO
2012
EUROCRYPT
2012
EUROCRYPT
2012
FSE
2012
FSE
2012
PKC
2012
TCC
2012
TCC
2011
ASIACRYPT
2011
ASIACRYPT
2011
CHES
2011
CHES
2011
CRYPTO
2011
EUROCRYPT
2011
EUROCRYPT
2011
FSE
2011
FSE
2011
PKC
2011
TCC
2011
TCC
2010
ASIACRYPT
2010
ASIACRYPT
2010
CHES
2010
CHES
2010
CRYPTO
2010
FSE
2010
FSE
2010
PKC
2010
PKC
2010
TCC
2010
TCC
2009
CHES
2009
CHES
2009
CHES
2009
CRYPTO
2009
CRYPTO
2009
EUROCRYPT
2009
EUROCRYPT
2009
FSE
2009
FSE
2009
PKC
2009
PKC
2009
TCC
2009
TCC
2008
ASIACRYPT
2008
ASIACRYPT
2008
CHES
2008
CHES
2008
CRYPTO
2008
CRYPTO
2008
EUROCRYPT
2008
EUROCRYPT
2008
FSE
2008
PKC
2008
PKC
2008
PKC
2008
TCC
2008
TCC
2007
ASIACRYPT
2007
ASIACRYPT
2007
CHES
2007
CHES
2007
CRYPTO
2007
CRYPTO
2007
EUROCRYPT
2007
FSE
2007
PKC
2007
PKC
2007
PKC
2007
TCC
2007
TCC
2007
TCC
2006
ASIACRYPT
2006
CHES
2006
CHES
2006
CHES
2006
CRYPTO
2006
CRYPTO
2006
EUROCRYPT
2006
EUROCRYPT
2006
FSE
2006
PKC
2005
ASIACRYPT
2005
CHES
2005
CHES
2005
CHES
2005
CRYPTO
2005
EUROCRYPT
2005
EUROCRYPT
2005
FSE
2004
ASIACRYPT
2004
ASIACRYPT
2004
CHES
2004
CHES
2004
CHES
2004
CRYPTO
2004
CRYPTO
2004
EUROCRYPT
2004
FSE
2004
FSE
2004
PKC
2003
ASIACRYPT
2003
ASIACRYPT
2003
CHES
2003
CHES
2003
CHES
2003
CRYPTO
2003
CRYPTO
2003
EUROCRYPT
2003
EUROCRYPT
2003
FSE
2002
ASIACRYPT
Crypto-integrity
Invited paper
2002
ASIACRYPT
2002
CHES
2002
CHES
2002
CHES
2002
CRYPTO
2002
EUROCRYPT
2002
EUROCRYPT
2002
PKC
2001
ASIACRYPT
2001
ASIACRYPT
2001
CHES
2001
CHES
2001
CRYPTO
2001
CRYPTO
2001
EUROCRYPT
2001
FSE
2001
PKC
2001
PKC
2001
PKC
(title unknown)
Invited talk
2000
ASIACRYPT
2000
CHES
2000
CHES
2000
CRYPTO
2000
CRYPTO
2000
EUROCRYPT
2000
EUROCRYPT
1999
ASIACRYPT
1999
CHES
We Need Assurance
Invited paper
1999
CHES
1999
CHES
1999
CRYPTO
1999
CRYPTO
1998
ASIACRYPT
1998
CRYPTO
1998
PKC
1998
PKC
1998
PKC
1997
CRYPTO
1997
CRYPTO
1997
EUROCRYPT
1997
EUROCRYPT
1996
ASIACRYPT
1996
ASIACRYPT
1996
ASIACRYPT
1996
CRYPTO
1996
CRYPTO
1996
CRYPTO
1996
CRYPTO
1996
CRYPTO
1996
EUROCRYPT
1995
CRYPTO
1995
EUROCRYPT
1995
EUROCRYPT
(title unknown)
Invited talk
1995
EUROCRYPT
1994
ASIACRYPT
1994
ASIACRYPT
1994
ASIACRYPT
1994
CRYPTO
1994
CRYPTO
1994
CRYPTO
1994
EUROCRYPT
(title unknown)
Invited talk
1993
CRYPTO
1993
EUROCRYPT
1992
CRYPTO
1992
CRYPTO
1991
ASIACRYPT
1991
ASIACRYPT
1991
ASIACRYPT
1991
ASIACRYPT
1991
CRYPTO
1991
CRYPTO
1991
CRYPTO
1990
CRYPTO
1990
CRYPTO
1990
CRYPTO
1989
CRYPTO
1989
CRYPTO
1989
CRYPTO
1989
CRYPTO
1989
CRYPTO
1989
CRYPTO
1989
CRYPTO
1989
EUROCRYPT
1989
EUROCRYPT
1989
EUROCRYPT
1989
EUROCRYPT
1989
EUROCRYPT