From Cryptomania to Obfustopia Through Secret-Key Functional Encryption Nir BitanskyRyo NishimakiDaniel Wichs OriginalPaper 30 September 2019 Pages: 357 - 405
From Minicrypt to Obfustopia via Private-Key Functional Encryption Ilan KomargodskiGil Segev OriginalPaper 12 June 2019 Pages: 406 - 458
Verifiable Random Functions from Non-interactive Witness-Indistinguishable Proofs Nir Bitansky OriginalPaper 04 September 2019 Pages: 459 - 493
CryptHOL: Game-Based Proofs in Higher-Order Logic David A. BasinAndreas LochbihlerS. Reza Sefidgar Research Article 06 January 2020 Pages: 494 - 566
Revisiting the Wrong-Key-Randomization Hypothesis Tomer AshurTim BeyneVincent Rijmen OriginalPaper 11 February 2020 Pages: 567 - 594
Feasibility and Infeasibility of Secure Computation with Malicious PUFs Dana Dachman-SoledNils FleischhackerDominique Schröder OriginalPaper 09 July 2019 Pages: 595 - 617