SAC 2019 logo
August 12-16, 2019 in Waterloo, Ontario


Schedule


Aug 14
8:30 AM - 9:15 AM

Registration

Pick up your badge


Aug 14
9:15 AM - 9:25 AM

Opening Remarks


Aug 14
9:25 AM - 10:15 AM

Differential cryptanalysis

Probabilistic Mixture Differential Cryptanalysis on round-reduced AES
by Lorenzo Grassi (IAIK, TU Graz (Austria))

Iterative Differential Characteristic of TRIFLE-BC
by Fukang Liu (East China Normal University, Shanghai, China & University of Hyogo, Hyogo, Japan); Takanori Isobe (National Institute of Information and Communications Technology, Japan & University of Hyogo, Hyogo, Japan)


Aug 14
10:15 AM - 10:45 AM
DC 1301

Coffee Break


Aug 14
10:45 AM - 11:35 AM

Tweakable block ciphers

Plaintext Recovery Attacks against XTS Beyond Collisions
by Takanori Isobe (University of Hyogo & NICT); Kazuhiko Minematsu (NEC corporation)

Cryptanalysis of SKINNY in the Framework of the SKINNY 2018-2019 Cryptanalysis Competition
by Patrick Derbez (Univ Rennes, CNRS, IRISA); Virginie Lallemand (Université de Lorraine, CNRS, Inria, LORIA); Aleksei Udovenko (SnT and CSC, University of Luxembourg)


Aug 14
11:35 AM - 12:30 PM

Invited lecture - Block Cipher Modes of Operation and Provable Security

In this talk, we review several cases where security proofs have been found to be wrong or contain a gap, and we will discuss ways to improve the situation.

Tetsu Iwata, Nagoya University

Provable security results guarantee the security of block cipher modes of operation. However, we have witnessed several cases where security proofs of standardized modes of operation have been found to be wrong or contain a gap. In some cases, the proof can be repaired without changing the scheme, or sometimes the tiny gap in the proof triggers various attacks on the scheme. In this talk, we review several cases and discuss ways to improve the situation.

Aug 14
12:30 PM - 1:45 PM

Lunch break

Lunch is not included


Aug 14
1:45 PM - 3:00 PM

Block ciphers and permutations

Algebraic Cryptanalysis of Variants of Frit
by Christoph Dobraunig (Radboud University Nijmegen); Maria Eichlseder (Graz University of Technology); Florian Mendel (Infineon Technologies AG); Markus Schofnegger (Graz University of Technology)

Improved Interpolation Attacks on Cryptographic Primitives of Low Algebraic Degree
by Chaoyun Li and Bart Preneel (imec-COSIC, KU Leuven)

A General Framework for the Related-key Linear Attack against Block Ciphers with Linear Key Schedules
by Jungkeun Lee, Bonwook Koo, and Woo-Hwan Kim (NSR)


Aug 14
3:00 PM - 3:30 PM
DC 1301

Coffee Break


Aug 14
3:30 PM - 5:10 PM

Real-world cryptography

Towards a Practical Clustering Analysis over Encrypted Data
by Jung Hee Cheon, Duhyeong Kim, and Jai Hyun Park (Seoul National University)

Breaking the Bluetooth Pairing – The Fixed Coordinate Invalid Curve Attack
by Lior Neumann and Eli Biham (Technion)

Using TopGear in Overdrive: A more efficient ZKPoK for SPDZ
by Carsten Baum (Aarhus University); Daniele Cozzo (KU Leuven); Nigel P. Smart (KU Leuven and Uni Bristol)

On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions
by Tibor Jager and David Niehues (Paderborn University)


Aug 14
6:00 PM - 8:00 PM

BBQ

The conference “banquet” will be a barbecue in nearby Waterloo Park, on Wednesday August 14 from 6-8pm, at Picnic Shelter #20.

It is approximately a 20 minutes walk from the conference location. A group will be walking over to the park, leaving from the Davis Centre (DC) 1301 room at 5:30. If you have mobility requirements, please contact the conference chairs to make arrangements to get to the park. The exact latitude and longitude of the picnic shelter is 43.465222, -80.536528.

Map to BBQ

In the event of inclement weather, the barbecue will be relocated to our backup rain location, the Math 3 (M3) atrium, on campus. An announcement will be made during the day at the conference if we are relocating.