1–20 von 2.137 Ergebnissen

Sortieren nach: Relevanz | Aktualität neu zuerst | Titel A-Z

  1.  

    Herausforderungen des Internet of Things

    Backes, M. | British Library Online Contents | 2016
  2.  

    Limits of the BRSIM/UC soundness of Dolev–Yao-style XOR

    Backes, M. | British Library Online Contents | 2008
  3.  

    Differentially Private Smart Metering with Battery Recharging

    Backes, M. / Meiser, S. | British Library Conference Proceedings | 2014
  4.  

    Quantifying information flow in cryptographic systems

    Backes, M. / Kopf, B. | British Library Online Contents | 2015
  5.  

    Quantifying Probabilistic Information Flow in Computational Reactive Systems

    Backes, M. | British Library Conference Proceedings | 2005
  6.  

    Differentially Private Smart Metering with Battery Recharging

    Backes, M. / Meiser, S. | British Library Online Contents | 2014
  7.  

    Variogram or Semivariogram? Variance or Semivariance? Allan Variance or Introducing a New Term?

    Bachmaier, M. / Backes, M. | British Library Online Contents | 2011
  8.  

    Computational soundness of symbolic zero-knowledge proofs

    Backes, M. / Unruh, D. | British Library Online Contents | 2010
  9.  

    Limits of Constructive Security Proofs

    Backes, M. / Unruh, D. | British Library Online Contents | 2008
  10.  

    Variogram or semivariogram? Understanding the variances in a variogram

    Bachmaier, M. / Backes, M. | British Library Online Contents | 2008
  11.  

    Limits of Constructive Security Proofs

    Backes, M. / Unruh, D. | British Library Conference Proceedings | 2008
  12.  

    A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol

    Backes, M. / EURECOM | British Library Conference Proceedings | 2004

Ergebnisse anzeigen: 10 | 20 | 50

Feedback