Searching for authors named "Michael Backes" – sorted by Relevance.
-
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

