Corona-Virus: Unsere Lesesäle sind wieder geöffnet. Bitte vermeiden Sie lange Bibliotheksaufenthalte.
► Mehr Informationen zu Öffnungszeiten und zum Bibliotheksbesuch finden Sie in unseren FAQ
-
Differentially Private Smart Metering with Battery Recharging
| British Library Conference Proceedings | 2014 -
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
| British Library Online Contents | 2006 -
Quantifying Probabilistic Information Flow in Computational Reactive Systems
| British Library Online Contents | 2005 -
Quantifying Probabilistic Information Flow in Computational Reactive Systems
| British Library Conference Proceedings | 2005 -
Differentially Private Smart Metering with Battery Recharging
| British Library Online Contents | 2014 -
Unifying simulatability definitions in cryptographic systems under different timing assumptions
| British Library Online Contents | 2005 -
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
| British Library Online Contents | 2004 -
Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions (Extended Abstract)
| British Library Online Contents | 2003 -
Variogram or Semivariogram? Variance or Semivariance? Allan Variance or Introducing a New Term?
| British Library Online Contents | 2011 -
Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions (Extended Abstract)
| British Library Conference Proceedings | 2003 -
Merish, Sentimental Materialism: Gender, Commodity Culture, and Nineteenth-Century American Literature
| British Library Online Contents | 2002 -
Variogram or semivariogram? Understanding the variances in a variogram
| British Library Online Contents | 2008 -
A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol
| British Library Conference Proceedings | 2004
