Issue 4/2020
Content (14 Articles)
Fast Multi-precision Multiplication for Public-Key Cryptography on Embedded Microprocessors
Michael Hutter, Erich Wenger
The IITM Model: A Simple and Expressive Model for Universal Composability
Ralf Küsters, Max Tuengerthal, Daniel Rausch
Joint State Composition Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation
Ralf Küsters, Max Tuengerthal, Daniel Rausch
-Secure Multiparty Computation without an Honest Majority and the Best of Both Worlds
Amos Beimel, Yehuda Lindell, Eran Omri, Ilan Orlov
Low Cost Constant Round MPC Combining BMR and Oblivious Transfer
Carmit Hazay, Peter Scholl, Eduardo Soria-Vazquez
Foundations of Fully Dynamic Group Signatures
Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth
Cryptanalysis of OCB2: Attacks on Authenticity and Confidentiality
Akiko Inoue, Tetsu Iwata, Kazuhiko Minematsu, Bertram Poettering
A Formal Security Analysis of the Signal Messaging Protocol
Katriel Cohn-Gordon, Cas Cremers, Benjamin Dowling, Luke Garratt, Douglas Stebila
Non-malleable Encryption: Simpler, Shorter, Stronger
Sandro Coretti, Yevgeniy Dodis, Ueli Maurer, Björn Tackmann, Daniele Venturi
Continuously Non-malleable Codes in the Split-State Model
Sebastian Faust, Pratyay Mukherjee, Jesper Buus Nielsen, Daniele Venturi