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