Auflistung Krypto-Tag 29 (2018) nach Titel

Anzeige der Dokumente 1-18 von 18

Algebraic Analysis of the Initialization Phase Grain Version 1 using a Degree-Oriented Interpolation Technique

Schaffhauser, Andreas
Automatic Security Analysis in the Symbolic Model using Tamarin-Prover

Stadtländer, Eike; Nüsken, Michael
BISON - Instantiating the Whitened Swap-Or-Not Construction

Lallemand, Virginie; Leander, Gregor; Neumann, Patrick; Wiemer, Friedrich
Can Verification of Cryptographic Libraries be liberated from the von Neumann Style?

Fourné, Marcel
Challenges in Post-Quantum Security Reductions

Struck, Patrick
Comments On: Constant Time Modular Inversion

Kabin, Ievgen; Dyka, Zoya; Kreiser, Dan; Langendoerfer, Peter
crypto day matters; Beiträge vom 29. Krypto-Tag

Huth, Christopher; Nüsken, Michael
Cryptographic Game-style language in EasyCrypt

Nussbaumer, Jakob; Nüsken, Michael
Examining Leakage from Access Counts in ORAM Constructions

Karvelas, Nikolaos P.; Treiber, Amos; Katzenbeisser, Stefan
Hardware Accelerated Sender Identification for the Controller Area Network

Klingenstein, Markus; Kneib, Marcel
HCCA against Montgomery kP Design

Kreiser, Dan; Dyka, Zoya; Kabin, Ievgen; Langendoerfer, Peter
Low-Cost Countermeasure against Horizontal Bus and Address-Bit SCA

Kabin, Ievgen; Dyka, Zoya; Kreiser, Dan; Langendoerfer, Peter
Machine Learning Based Sender Identification for Controller Area Network

Schell, Oleg; Kneib, Marcel
Optical Fault Injections: Most Often Used Setups

Petryk, Dmytro; Dyka, Zoya; Langendoerfer, Peter
Placement of Gates in ECC Designs

Wittke, Christian; Dyka, Zoya; Langendoerfer, Peter
Privacy-Preserving Genomics on a Large Scale

Tkachenko, Oleksandr
Private Function Evalutation with Universal Circuits

Günther, Daniel
Universal Composability: A Comparison of Different Models

Rausch, Daniel

Anzeige der Dokumente 1-18 von 18

Gesamter Bestand

Diese Sammlung