ETH E-Collection · ETH Institutional Repository

1. Model driven security for process-oriented systems

Basin, David A., Doser, Jürgen and Lodderstedt, Torsten

Conference Contributions

2. Analysis of Communicating Authorization Policies

Frau, Simone and Torabi Dashti, Mohammad (2012)

Reports

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

Schoebi, Paul (1983)

Doctoral and Habilitation Theses

4. Sound security protocol transformations

Nguyen, Binh Thanh and Sprenger, Christoph (2013)

Reports

5. For Some Eyes Only

Ion, Iulia, Beato, Filipe, Capkun, Srdjan, Preneel, Bart and Langheinrich, Marc (2012)

Reports

6. OFMC: A Symbolic Model-Checker for Security Protocols

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

Reports

7. Constraint differentiation: a new reduction technique for constraint-based analysis of security protocols

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

Reports

8. A distance hijacking attack on the CRCS distance bounding protocol

Cremers, Cas (2011)

Reports

9. My Private Google Calendar

Sanamrad, Tahmineh, Widmer, Daniel and Kossmann, Donald (2012)

Reports

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

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

Reports

11. An On-the-fly model-checker for security protocol analysis

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

Reports

12. Scyther: unbounded verification of security protocols

Cremers, C.J.F.

Reports

13. SECFUZZ: Fuzz-testing Security Protocols

Tsankov, Petar, Torabi Dashti, Mohammad and Basin, David A. (2012)

Conference Contributions

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

Knellwolf, Simon (2012)

Doctoral and Habilitation Theses

15. Comparing state spaces in automatic security protocol verification

Cremers, Cas and Lafourcade, Pascal

Reports

16. Obstruction-free Authorization Enforcement

Basin, David A., Burri, Samuel J. and Karjoth, Günter (2011)

Conference Contributions

17. Analysis of reachability properties in communicating authorization policies

Frau, Simone (2012)

Doctoral and Habilitation Theses

18. Strengthening key agreement using hard-core sets

Holenstein, Thomas (2006)

Doctoral and Habilitation Theses

19. Securing information by controlling access to data in documents

Sevinç, Paul E. (2007)

Doctoral and Habilitation Theses

20. Security and multi user support for BioOpera

Grüter, Martin (2002)

Master Theses

21. Understanding the web browser threat: examination of vulnerable online web browser populations and the "insecurity iceberg"

Frei, Stefan, Dübendorfer, Thomas, Ollmann, Gunter and May, Martin (2008)

Reports

22. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone and Torabi Dashti, Mohammad (2010)

Reports

23. Application Collusion Attack on the Permission-Based Security Model and its Implications for Modern Smartphone Systems

Marforio, Claudio, Francillon, Aurélien and Capkun, Srdjan (2010)

Reports

24. Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication

Basin, David A., Cremers, Cas and Meier, Simon (2012)

Reports

25. Accountability in optimistic non-repudiation protocols

Torabi Dashti, Mohammad (2010)

Reports