Searching for authors named "Michael Backes" – sorted by Relevance.
51 documents found, showing 1 through 10.
Next 10 →
-
Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions
- … # Michael Backes IBM Zurich Research Laboratory, Ruschlikon, Switzerland mbc@(email omitted); Abstract…
- Cited by 7 (2 self) – Add To MetaCart
-
Quantifying probabilistic information flow in computational reactive systems
- …Quantifying Probabilistic Information Flow in Computational Reactive Systems Michael Backes IBM…
- Cited by 1 (0 self) – Add To MetaCart
-
Factorization of Univariate Polynomials
- …@(email omitted);� Michael Backes Betreuer: Prof. Dr. Wolfram Decker 25. April 2002 U N I V E R S I T A S S A R A V I E N S I…
- Add To MetaCart
-
A cryptographically sound Dolev-Yao style security proof of the Otway-Rees protocol
- …A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System Michael…
- Cited by 16 (9 self) – Add To MetaCart
-
Limits of Constructive Security Proofs
- …Limits of Constructive Security Proofs Michael Backes 1,2 and Dominique Unruh 1 1 Saarland…
- Add To MetaCart
-
Pushing the Limits of Formal Verification
- … Michael Backes, Matthias Schunter IBM Zurich Research Laboratory, Switzerland {mbc…
- Add To MetaCart
-
How to Break and Repair a Universally Composable Signature Functionality
- …How to Break and Repair a Universally Composable Signature Functionality Michael Backes…
- Cited by 9 (3 self) – Add To MetaCart
-
Reliable broadcast in a computational hybrid model with byzantine faults, crashes, and recoveries
- … Michael Backes ∗ Christian Cachin † 17 May 2002 Abstract This paper presents a formal model…
- Cited by 9 (0 self) – Add To MetaCart
-
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis
- …Computationally Sound Secrecy Proofs by Mechanized Flow Analysis Michael Backes Peeter Laud…
- Cited by 3 (1 self) – Add To MetaCart
-
From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification
- … Verification Michael Backes, Matthias Schunter IBM Zurich Research Laboratory, Switzerland {mbc…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
