Skip to main content
Skip to navigation
Skip to toolbar

Browse by Subject

Subcategories: There are no further subcategories

88 Results for this Subject

Subscribe to RSS feed for this result set

Sort results by

Results per page

Page 1 of 4

1 2 3 4 Next Page › Last Page »

1. Accountability in optimistic non-repudiation protocols

Torabi Dashti, Mohammad (2010)

Reports Reports

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

Cremers, Cas (2011)

Reports Reports

3. Analysis of reachability properties in communicating authorization policies

Frau, Simone (2012)

Doctoral and Habilitation Theses

4. An automated formal analysis of the security of the internet key exchange (IKE) protocol in the presence of compromising adversaries

Kyburz, Adrian (2010)

Master Theses

5. An efficient SAT encoding of circuit codes

Chebiryak, Yury and Kröning, Daniel (2008)

Conference Contributions

6. A new approach towards coercion-resistant remote e-voting in linear time

Spycher, Oliver, Koenig, Reto, Haenni, Rolf and Schläpfer, Michael (2011)

Conference Contributions

7. A new design for low-depth compression functions from length preserving public random functions

Lui, Jackey (2009)

Master Theses

8. Animierte Datenstrukturen in Java

Häfliger, Peter (2002)

Master Theses

9. An improved privacy-preserving clone detection mechanism against realistic adversaries

Weingart, Reto (2010)

Master Theses

10. An Investigation of binary recording density limitations in computer applications

Hopner, Emil (1962)

Doctoral and Habilitation Theses

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

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

Reports Reports

12. Approaches to efficient and robust cryptographic protocols

Przydatek, Bartosz Jan (2007)

Doctoral and Habilitation Theses

13. Attack and revision of an electronic auction protocol using OFMC

Ksiezopolski, Bogdan and Lafourcade, Pascal

Reports Reports

14. Biometric authentication system using human gait

Cattin, Philippe (2002)

Doctoral and Habilitation Theses

15. Building formal models of next-generation security protocols

Drielsma, Paul David Hankes (2007)

Doctoral and Habilitation Theses

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

Lucas, Christoph (2008)

Master Theses

17. Comparing state spaces in automatic security protocol verification

Cremers, Cas and Lafourcade, Pascal

Reports Reports

18. Compressive sensing

Pope, Graeme (2009)

Master Theses

19. Computational indistinguishability amplification

Tessaro, Stefano (2010)

Doctoral and Habilitation Theses

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

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

Reports Reports

21. Designing mechanisms for trust-based interaction in social networks

Walter, Frank Edward (2009)

Doctoral and Habilitation Theses

22. Distance hijacking attacks on distance bounding protocols

Cremers, Cas, Rasmussen, Kasper Bonne and Capkun, Srdjan (2011)

Reports Reports

23. Distance hijacking attacks on distance bounding protocols

Cremers, Cas, Rasmussen, Kasper Bonne and Capkun, Srdjan (2011)

Reports Reports

24. Distributed cryptographic protocols in asynchronous networks with universal composability

Strobl, Reto (2005)

Doctoral and Habilitation Theses

25. Efficiency and security of cryptosystems based on number theory

Bleichenbacher, Daniel (1996)

Doctoral and Habilitation Theses

Page 1 of 4

1 2 3 4 Next Page › Last Page »

ETH E-Collection · ETH Institutional Repository

Navigation

Browse by Subject

88 Results for this Subject

1. Accountability in optimistic non-repudiation protocols

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

3. Analysis of reachability properties in communicating authorization policies

4. An automated formal analysis of the security of the internet key exchange (IKE) protocol in the presence of compromising adversaries

5. An efficient SAT encoding of circuit codes

6. A new approach towards coercion-resistant remote e-voting in linear time

7. A new design for low-depth compression functions from length preserving public random functions

8. Animierte Datenstrukturen in Java

9. An improved privacy-preserving clone detection mechanism against realistic adversaries

10. An Investigation of binary recording density limitations in computer applications

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

12. Approaches to efficient and robust cryptographic protocols

13. Attack and revision of an electronic auction protocol using OFMC

14. Biometric authentication system using human gait

15. Building formal models of next-generation security protocols

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

17. Comparing state spaces in automatic security protocol verification

18. Compressive sensing

19. Computational indistinguishability amplification

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

21. Designing mechanisms for trust-based interaction in social networks

22. Distance hijacking attacks on distance bounding protocols

23. Distance hijacking attacks on distance bounding protocols

24. Distributed cryptographic protocols in asynchronous networks with universal composability

25. Efficiency and security of cryptosystems based on number theory

ETH E-Collection · ETH Institutional Repository

Navigation

Toolbar

Browse by Subject

88 Results for this Subject

1. Accountability in optimistic non-repudiation protocols

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

3. Analysis of reachability properties in communicating authorization policies

4. An automated formal analysis of the security of the internet key exchange (IKE) protocol in the presence of compromising adversaries

5. An efficient SAT encoding of circuit codes

6. A new approach towards coercion-resistant remote e-voting in linear time

7. A new design for low-depth compression functions from length preserving public random functions

8. Animierte Datenstrukturen in Java

9. An improved privacy-preserving clone detection mechanism against realistic adversaries

10. An Investigation of binary recording density limitations in computer applications

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

12. Approaches to efficient and robust cryptographic protocols

13. Attack and revision of an electronic auction protocol using OFMC

14. Biometric authentication system using human gait

15. Building formal models of next-generation security protocols

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

17. Comparing state spaces in automatic security protocol verification

18. Compressive sensing

19. Computational indistinguishability amplification

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

21. Designing mechanisms for trust-based interaction in social networks

22. Distance hijacking attacks on distance bounding protocols

23. Distance hijacking attacks on distance bounding protocols

24. Distributed cryptographic protocols in asynchronous networks with universal composability

25. Efficiency and security of cryptosystems based on number theory