ETH E-Collection · ETH Institutional Repository

1. Proof systems for general statements about discrete logarithms

Camenisch, Jan and Stadler, Markus (1997)

Reports

2. Algebraic Intruder Deductions

Basin, David A., Mödersheim, Sebastian and Viganò, Luca (2005)

Reports

3. Security proofs in number theoretic cryptography

Aggarwal, Divesh (2012)

Doctoral and Habilitation Theses

4. Untersuchungen zur Sicherheit und Realisierbarkeit von analogen und digitalen kryptologischen Systemen

Schoebi, Paul (1983)

Doctoral and Habilitation Theses

5. Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

Backes, Michael, Mödersheim, Sebastian, Pfitzmann, Birgit and Viganò, Luca (2006)

Reports

6. Generalized corruption models in secure multi-party computation

Zikas, Vassilis (2010)

Doctoral and Habilitation Theses

7. On the complexity of breaking the Diffie-Hellman protocol

Maurer, Ueli and Wolf, Stefan (1996)

Reports

8. Minimal message complexity of asynchronous multi-party contract signing

Mauw, Sjouke, Radomirović, Saša and Torabi Dashti, Mohammad (2009)

Reports

9. Analysis of reachability properties in communicating authorization policies

Frau, Simone (2012)

Doctoral and Habilitation Theses

10. Cryptanalysis of iterated block ciphers

Harpes, Carlo (1996)

Doctoral and Habilitation Theses

11. Key exchange security in constructive cryptography

Badertscher, Christian (2012)

Master Theses

12. Indistinguishability and composition of random systems

Pietrzak, Krzysztof (2005)

Doctoral and Habilitation Theses

13. Approaches to efficient and robust cryptographic protocols

Przydatek, Bartosz Jan (2007)

Doctoral and Habilitation Theses

14. Information-theoretically and computationally secure key agreement in cryptography

Wolf, Stefan, Wolf, Stefan and Wolf, Stefan (1999)

Doctoral and Habilitation Theses

15. Provable security in cryptography

Maurer, Ueli (1990)

Doctoral and Habilitation Theses

16. Cryptanalysis of hardware-oriented ciphers the Knapsack generator, and SHA-1

Knellwolf, Simon (2012)

Doctoral and Habilitation Theses

17. On the statistical testing of block ciphers

De Moliner, Richard J. (1999)

Doctoral and Habilitation Theses

18. On the design and security of block ciphers

Lai, Xuejia (1992)

Doctoral and Habilitation Theses

19. Cryptographic protocols for revocable privacy

Stadler, Markus (1996)

Doctoral and Habilitation Theses

20. Improved related-key impossible differential attacks on 8-round AES-256

Soleimany, Hadi, Sharifi, Alireza and Aref, Mohammadreza (2010)

Conference Contributions

21. Weak pseudorandomness and unpredictability

Sjödin, Ulf Johan (2007)

Doctoral and Habilitation Theses

22. VLSI circuits for cryptographic authentication

Henzen, Luca (2010)

Doctoral and Habilitation Theses

23. Oblivious transfer from non-local correlations

Rabenseifner, Adrian (2009)

Master Theses

24. On the validity of certain hypotheses used in linear cryptanalysis

Kukorelly, Zsolt (1999)

Doctoral and Habilitation Theses

25. Randomness from non-local correlations

Galliard, Viktor (2012)

Doctoral and Habilitation Theses