Browse by Subject

All Subjects   Computer Science   Data

Subcategories: There are no further subcategories

88 Results for this Subject

Subscribe to RSS feed for this result set

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

Schaub, Martin (2011)


Master Theses

27. Efficient security for large and dynamic multicast groups

Caronni, Germano, Waldvogel, Marcel, Sun, Dan and Plattner, Bernhard (1998)


Reports

28. Enabling collaborative network security with privacy-preserving data aggregation

Burkhart, Martin (2011)


Doctoral and Habilitation Theses

29. Entropy-based worm detection for fast IP networks

Wagner, Arno (2008)


Doctoral and Habilitation Theses

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

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


Conference Contributions

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

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


Conference Contributions

32. Fast generation of prime numbers and secure public-key cryptographic parameters

Maurer, Ueli (1993)


Reports

33. Formal approaches to countering side-channel attacks

Köpf, Boris Alexander (2007)


Doctoral and Habilitation Theses

34. For Some Eyes Only

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


Reports

35. GALS system design: side channel attack secure cryptographic accelerators

Gürkaynak, Frank Kağan (2006)


Doctoral and Habilitation Theses

36. Generalized communication and security models in Byzantine agreement

Fitzi, Matthias (2002)


Doctoral and Habilitation Theses

37. Impact analysis, early detection and mitigation of large-scale internet attacks

Dübendorfer, Thomas P. (2005)


Doctoral and Habilitation Theses

38. Implementation and evaluation of a secure device pairing protocol

Huser, Lukas (2009)


Master Theses

39. Implementation of uncoordinated direct sequence spread spectrum (U-DSSS) using software defined radios

Meškovič, Saša (2008)


Master Theses

40. Improving a privacy-preserving clone detection mechanism with elliptic curve cryptography

Krapf, Lars (2010)


Master Theses

41. Indistinguishability and composition of random systems

Pietrzak, Krzysztof (2005)


Doctoral and Habilitation Theses

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

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


Doctoral and Habilitation Theses

43. Integrated Specification and Verification of Security Protocols and Policies

Frau, Simone and Torabi Dashti, Mohammad (2010)


Reports

44. Investigation of signal and message manipulations on the wireless channel

Pöpper, Christina, Tippenhauer, Nils Ole, Danev, Boris and Capkun, Srdjan (2011)


Conference Contributions

45. Konzepte und Sprachen für den Entwurf konsistenter Datenbanken

Thurnherr, Bertram (1980)


Doctoral and Habilitation Theses

46. Mastering spam

Albrecht, Keno (2006)


Doctoral and Habilitation Theses

47. Mechanisms of Internet evolution & cyber risk

Maillart, Thomas-Quentin (2011)


Doctoral and Habilitation Theses

48. Methoden für den Entwurf von stream cipher-Systemen

Siegenthaler, Thomas (1986)


Doctoral and Habilitation Theses

49. Midpoints versus endpoints

Bidder, Diana von, Basin, David A. and Caronni, Germano


Reports

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

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


Reports