ETH E-Collection · ETH Institutional Repository

1. Counting stream registers: an efficient and effective snoop filter architecture

Ranganathan, Aanjhan, Bayrak, Ali Galip, Kluter, Theo, Brisk, Philip, Ienne, Paolo and Charbon, Edoardo (2012)

Conference Contributions

2. Protocol considerations for web linkbase access

Wilde, Erik (2002)

Reports

3. Specification of GMS access protocol (GAP) version 1.0

Wilde, Erik (1996)

Reports

4. Project Da CaPo++, volume II: implementation documentation

Stiller, Burkhard, Caronni, Germano, Class, Christina, Conrad, Christian, Plattner, Bernhard and Waldvogel, Marcel (1997)

Reports

5. Project Da CaPo++, volume I: architectural and detailed design

Stiller, Burkhard, Bauer, Daniel, Caronni, Germano, Class, Christina, Conrad, Christian, Plattner, Bernhard, Vogt, Martin and Waldvogel, Marcel (1997)

Reports

6. Specification of GMS system protocol (GSP) version 1.0

Wilde, Erik (1996)

Reports

7. Evaluation of ISO/IEC 9798 Protocols

Basin, David A. and Cremers, Cas (2011)

Reports

8. A survey on AAA mechanisms, protocols, and architectures and a policy-based approach beyond: Ax

Rensing, Christoph, Hasan, Karsten, Martin and Stiller, Burkhard (2001)

Reports

9. Approaches to efficient and robust cryptographic protocols

Przydatek, Bartosz Jan (2007)

Doctoral and Habilitation Theses

10. FMCW-based realization of distance bounding protocols

Ranganathan, Aanjhan, Danev, Boris and Capkun, Srdjan (2012)

Reports

11. Cooperative WLAN protocols for multimedia communication

Ettefagh, Azadeh (2011)

Doctoral and Habilitation Theses

12. Timed data deletion on mobile communication devices

Marforio, Claudio (2010)

Master Theses

13. Dynamic security in communication systems

Caronni, Germano (1999)

Doctoral and Habilitation Theses

14. Outage analysis of asynchronous OFDM non-orthogonal DF cooperative networks

Torbatian, Mehdi and Damen, Mohamed Oussama (2010)

Conference Contributions

15. Security protocols for wireless networks and their formal analysis

Schaller, Patrick (2010)

Doctoral and Habilitation Theses

16. Building formal models of next-generation security protocols

Drielsma, Paul David Hankes (2007)

Doctoral and Habilitation Theses

17. FAST: an efficient decision procedure for deduction and static equivalence

Conchinha, Bruno, Caleiro, Carlos and Basin, David (2010)

Conference Contributions

18. A reliability growth model for protocol validation and testing by random state exploration

Tosi, Angelo Einar (1995)

Doctoral and Habilitation Theses

19. Distributed cryptographic protocols in asynchronous networks with universal composability

Strobl, Reto (2005)

Doctoral and Habilitation Theses

20. FAST: An Efficient Decision Procedure for Deduction and Static Equivalence

Conchinha, Bruno, Basin, David A. and Caleiro, Carlos (2011)

Conference Contributions

21. PROSPECT - a contribution to protocol specification, conformance, and interoperability

Walter, Thomas (1993)

Doctoral and Habilitation Theses

22. Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs

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

Reports

23. Mechanisms for efficient selfish routing and positioning in ad hoc networks

Anderegg, Luzi (2006)

Doctoral and Habilitation Theses

24. Combining computational and information-theoretic security in multi-party computation

Lucas, Christoph (2008)

Master Theses

25. Efficient Interactive Construction of Machine-Checked Protocol Security Proofs in the Context of Dynamically Compromising Adversaries

Schaub, Martin (2011)

Master Theses