569 Results for (keywords_en:DATA)

Subscribe to RSS feed for this result set

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

Cremers, Cas (2011)


Reports

77. My Private Google Calendar

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


Reports

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

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


Reports

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

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


Reports

80. Scyther: unbounded verification of security protocols

Cremers, C.J.F.


Reports

81. Information technology, workplace organization, human capital and firm productivity

Arvanitis, Spyros (2003)


Reports

82. Intelligente Datenanalyse für die zerstörungsfreie Werkstoffprüfung in der Umformtechnik

Heingärtner, Jörg (2011)


Doctoral and Habilitation Theses

83. SECFUZZ: Fuzz-testing Security Protocols

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


Conference Contributions

84. Capturing TCP burstiness in light-weight simulations

Huang, Polly and Heidemann, John (2000)


Reports

85. Project Da CaPo++, volume III: performance evaluations

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


Reports

86. Designing a data structure for polyhedral surfaces

Kettner, Lutz (1997)


Reports

87. Ein Beitrag zur Synchronisation in Mehrprozessorsystemen und Computernetzwerken

Mühlemann, Kurt (1980)


Doctoral and Habilitation Theses

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

Knellwolf, Simon (2012)


Doctoral and Habilitation Theses

89. Eliminating the shortcomings of free datatype definitions

Missura, Stephan Albert (1995)


Reports

90. Comparing state spaces in automatic security protocol verification

Cremers, Cas and Lafourcade, Pascal


Reports

91. Studies of W and Z Bosons with the CMS experiment at the LHC

Sanchez, Ann-Karin Nathalie (2012)


Doctoral and Habilitation Theses

92. JWCC 2010 - booklet of abstracts

Biglieri, Ezio (2010)


Conference Contributions

93. Routed message driven beans: a new abstraction for using EJBs

Wilde, Erik and Meyer, Manfred (2001)


Reports

94. Minimizing routing state for light-weight network simulation

Huang, Polly and Heidemann, John (2002)


Reports

95. Nicht-elementare untere Schranken in der Automaten-Theorie

Fürer, Martin (1978)


Doctoral and Habilitation Theses

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

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


Conference Contributions

97. A Probabilistic Model for Capacity in Wireless Multihop Networks

Stuedi, Patrick and Alonso, Gustavo (2005)


Reports

98. Generalized communication and security models in Byzantine agreement

Fitzi, Matthias (2002)


Doctoral and Habilitation Theses

99. Integrity preservation for communication in sensor networks

Vogt, Harald (2004)


Reports

100. Implications of radio fingerprinting on the security of sensor networks

Rasmussen, Kasper Bonne and Capkun, Srdjan


Reports