Leakage Resilient Cryptography
This is the homepage for the crypto study group taking place in the fall 2010 at Århus University
Here can be found schedules of meetings, and links to reading material connected to each meeting. The [L] links are local caches of the papers, in case this page should outlive some of the linked ones.
The previous studygroup was on Code-based Cryptography and Fully Homomorphic Cryptosystems, the homepage is here.
Schedule
1st Meeting - September 14th
Carmit on introduction to leakage resilience
We went through several different scenarios, here is a listing of some papers relevant to each.-
Exposure resilience crypto
- R.L. Rivest. All-or-Nothing Encryption and the Package Transform[L]. In proceedings of Fast Software Encryption, 1997.
- V. Boyko. On the Security Properties of OAEP as an All-or-Nothing Transform [L]. In CRYPTO, 1999.
- R. Canetti, Y. Dodis, S. Halevi, E. Kushilevitz and A. Sahai. Exposure-resilient functions and all-or-nothing transforms [L]. In EUROCRYPT 2000.
-
Bounded memory leakage
Length shrinking
- A. Akavia, S. Goldwasser and V. Vaikuntanathan Simultaneous Hardcore Bits and Cryptography against Memory Attacks [L]. In TCC, 2009.
- Jonathan Katz and Vinod Vaikuntanathan. Signature schemes with bounded leakage resilience [L]. In ASIACRYPT, 2009.
Min entropy shrinking
- M. Naor and G. Segev. Public-Key Cryptosystems Resilient to Key Leakage [L]. In CRYPTO, 2009.
-
Auxiliary input
- Yevgeniy Dodis, Yael Tauman Kalai, and Shachar Lovett. On cryptography with auxiliary input [L]. In STOC, 2009
- Yevgeniy Dodis, Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert, and Vinod Vaikuntanathan. Public-key encryption secure against auxiliary input[L]. In TCC, 2010.
Bounded retrieval model
- Joel Alwen, Yevgeniy Dodis, and Daniel Wichs. Survey: Leakage Resilience and the Bounded Retrieval Model[L].
- Stefan Dziembowski. Intrusion-resilience via the bounded-storage model [L]. In TCC, 2006. (I think that this is the paper Claudio and Ivan referred to).
- Joel Alwen, Yevgeniy Dodis, and Daniel Wichs. Leakage-resilient public-key cryptography in the bounded-retrieval model [L]. In Crypto 2009.
- Joel Alwen, Yevgeniy Dodis, Moni Naor, Gil Segev, Shabsi Walfish, and Daniel Wichs. Public-key encryption in the bounded-retrieval model [L], 2009. In Eurocrypt 2010.
Continual memory leakage
- Zvika Brakerski, Yael Tauman Kalai, Jonathan Katz and Vinod Vaikuntanathan. Public-Key Cryptography Resilient to Continual Memory Leakage [L]. In FOCS, 2010
- Yevgeniy Dodis, Kristiyan Haralambiev, Adriana Lopez-Alt and Daniel Wichs. Cryptography Against Continuous Memory Attacks [L]. To appear in FOCS, 2010.
- Adi Akavia, Shafi Goldwasser, and Carmit Hazay. Distributed Public Key Schemes Secure against Continual Leakage. Submitted, TCC 2010.
"Only computational"
- Silvio Micali and Leonid Reyzin. Physically observable cryptography (extended abstract) [L]. In TCC, 2004.
- Stefan Dziembowski and Krzysztof Pietrzak. Leakage-resilient cryptography [L]. In FOCS, 2008.
- Krzysztof Pietrzak. A leakage-resilient mode of operation [L]. In EUROCRYPT, 2009,
Secure hardware device
This is actually a part which we didn't have time to discuss. The idea here is to assume secure hardware devices whose internal randomness is fully hidden.- S. Faust, T. Rabin, L. Reyzin, E. Tromer and V. Vaikuntanathan. Protecting Circuits from Leakage: the Computationally-Bounded and Noisy Cases [L]. In EUROCRYPT 2010.
- S. Goldwasser and G.N. Rothblum. Securing Computation against Continuous Leakage [L]. In CRYPTO, 2010.
- A. Juma and Y. Vahlis. Protecting Cryptographic Keys against Continual Leakage [L]. CRYPTO, 2010.
- Yuval Ishai, Amit Sahai, David Wagner: Private Circuits: Securing Hardware against Probing Attacks. [L] CRYPTO 2003: 463-481
- Yuval Ishai, Manoj Prabhakaran, Amit Sahai, David Wagner: Private Circuits II: Keeping Secrets in Tamperable Circuits. [L] EUROCRYPT 2006: 308-327
2nd Meeting - September 24th
Rikke on Simultaneous Hardcore Bits and Cryptography against Memory Attacks
Location: Turing-014
Reading:
3rd Meeting - September 28th
Claudio on Leakage-Resilient ElGamal
Location: Turing-014
Time: 14:00
Reading:
- The paper [L] by Eike Kiltz and Krzysztof Pietrzak (to appear at Asiacrypt 2010)
4th Meeting - Oktober 5th
Planning of future meetings5th Meeting - Oktober 13th
Angela on Public-Key Cryptosystems Resilient to Key Leakage
Location:
Time: 10:00
Reading:
- M. Naor and G. Segev. Public-Key Cryptosystems Resilient to Key Leakage [L]. In CRYPTO, 2009.
Quarter break
6th Meeting
Sarah on Public-key encryption secure against auxiliary input
Reading:
The paper[L] by Yevgeniy Dodis, Shafi Goldwasser, Yael Tauman Kalai, Chris Peikert, and Vinod Vaikuntanathan7th Meeting
Carmit on Distributed Public Key Schemes Secure against Continual Leakage
Location: Turing 014
Time: 11th. of November 14:00
Reading:
- Adi Akavia, Shafi Goldwasser, and Carmit Hazay. Distributed Public Key Schemes Secure against Continual Leakage. Submitted, TCC 2010.
8th Meeting
Angela on the left-over hash lemma
Location: Turing 014
Time: 18th. of November 14:00
Reading:
9th Meeting
Valerio on Signature schemes with bounded leakage resilience
Location: Ada 018
Time: 25th. of November 14:00
Reading:
- Jonathan Katz and Vinod Vaikuntanathan. Signature schemes with bounded leakage resilience [L]. In ASIACRYPT, 2009.
10th Meeting
Sigurd on Protecting Circuits from Leakage: the Computationally-Bounded and Noisy Cases
Location: Turing 014
Time: 2th. December 14:00
Reading:
- S. Faust, T. Rabin, L. Reyzin, E. Tromer and V. Vaikuntanathan. Protecting Circuits from Leakage: the Computationally-Bounded and Noisy Cases [L]. In EUROCRYPT 2010.
- The proofs are described in more detail in Sebatian Faust's PhD Thesis: [L].
Participants:
- Angela
- Arpita
- Carmit
- Claudio
- Dominik
- Gert
- Ivan
- Jesper
- Jonas
- Marcel
- Peter
- Rikke
- Roel
- Sarah
- Sigurd
- Tomas
- Valerio
Please contact Sigurd about the contents of this page.
