Krypto-Tag 29 (2018)

Auflistung nach:

1 - 10 von 18

Abstract
Algebraic Analysis of the Initialization Phase Grain Version 1 using a Degree-Oriented Interpolation Technique
(crypto day matters 29, 2018) Schaffhauser, Andreas
Abstract
Automatic Security Analysis in the Symbolic Model using Tamarin-Prover
(crypto day matters 29, 2018) Stadtländer, Eike; Nüsken, Michael
Abstract
BISON - Instantiating the Whitened Swap-Or-Not Construction
(crypto day matters 29, 2018) Lallemand, Virginie; Leander, Gregor; Neumann, Patrick; Wiemer, Friedrich
Abstract
Can Verification of Cryptographic Libraries be liberated from the von Neumann Style?
(crypto day matters 29, 2018) Fourné, Marcel
Abstract
Challenges in Post-Quantum Security Reductions
(crypto day matters 29, 2018) Struck, Patrick
Abstract
Comments On: Constant Time Modular Inversion
(crypto day matters 29, 2018) Kabin, Ievgen; Dyka, Zoya; Kreiser, Dan; Langendoerfer, Peter
Textdokument
crypto day matters; Beiträge vom 29. Krypto-Tag
(crypto day matters 29, 2018) Huth, Christopher; Nüsken, Michael
Abstract
Cryptographic Game-style language in EasyCrypt
(crypto day matters 29, 2018) Nussbaumer, Jakob; Nüsken, Michael
Abstract
Examining Leakage from Access Counts in ORAM Constructions
(crypto day matters 29, 2018) Karvelas, Nikolaos P.; Treiber, Amos; Katzenbeisser, Stefan
Abstract
Hardware Accelerated Sender Identification for the Controller Area Network
(crypto day matters 29, 2018) Klingenstein, Markus; Kneib, Marcel