1. From Cryptomania to Obfustopia Through Secret-Key Functional Encryption

   • Nir Bitansky
   • Ryo Nishimaki
   • Daniel Wichs

   OriginalPaper 30 September 2019 Pages: 357 - 405

   

2. From Minicrypt to Obfustopia via Private-Key Functional Encryption

   • Ilan Komargodski
   • Gil Segev

   OriginalPaper 12 June 2019 Pages: 406 - 458

   

3. Verifiable Random Functions from Non-interactive Witness-Indistinguishable Proofs

   • Nir Bitansky

   OriginalPaper 04 September 2019 Pages: 459 - 493

4. CryptHOL: Game-Based Proofs in Higher-Order Logic

   • David A. Basin
   • Andreas Lochbihler
   • S. Reza Sefidgar

   Research Article 06 January 2020 Pages: 494 - 566

   

5. Revisiting the Wrong-Key-Randomization Hypothesis

   • Tomer Ashur
   • Tim Beyne
   • Vincent Rijmen

   OriginalPaper 11 February 2020 Pages: 567 - 594

   

6. Feasibility and Infeasibility of Secure Computation with Malicious PUFs

   • Dana Dachman-Soled
   • Nils Fleischhacker
   • Dominique Schröder

   OriginalPaper 09 July 2019 Pages: 595 - 617