Michael Backes. Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universitat des Saarlandes, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Handling Encryption in an Analysis for Secure Information Flow - Laud (2003) (6 citations) (Correct)
....them to prove the protocols correct with respect to polynomially bounded adversaries, where the cryptographic primitives that the protocols employ are real ones. These proofs are entirely hand crafted, though; there are no mechanical means (like program analysis) to derive them. Pfitzmann et al. [18 20, 4] have given a framework to faithfully abstract the cryptographic primitives, such that the proofs about protocols using these abstractions would also hold if the abstractions are replaced with the actual primitives. Abadi and Rogaway [3] have shown that the formal construction of messages from ....
M. Backes. Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universit at des Saarlandes, 2002.
Encryption Cycles and Two Views of Cryptography - Laud (2002) (1 citation) (Correct)
....be considered similar in the sense, that they all attempt to show that some equivalence over a certain class of formally defined objects translates to the indistinguishablity of the computational interpretations of these objects. A separate approach is that of Pfitzmann et al. 18 20] and Backes [4]. They have devised a framework to faithfully abstract the cryptographic primitives, such that the proofs about protocols using these abstractions would also hold if the abstractions are replaced with actual primitives. This framework is more suitable for abstracting integrity properties than ....
Michael Backes. Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universitat des Saarlandes, 2002.
Polynomial Fairness and Liveness - Michael Backes Birgit (2002) (5 citations) Self-citation (Backes) (Correct)
No context found.
M. Backes. Cryptographically sound analysis of security protocols. Ph.D thesis, Computer Science Department, Saarland University, 2002, http://www-krypt.cs.uni-sb.de/#mbackes.
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) Self-citation (Backes) (Correct)
No context found.
M. Backes. Cryptographically sound analysis of security protocols. Ph.D thesis, Computer Science Department, Saarland University, 2002.
Polynomial Liveness - Backes, Pfitzmann, Waidner, Steiner (2003) Self-citation (Backes) (Correct)
No context found.
M. Backes. Cryptographically Sound Analysis of Security Protocols. Dissertation, Naturwissenschaftlich-Technische Fakultat der Universitat des Saarlandes, Saarbrucken, 2002.
Computational Probabilistic Non-Interference - Backes, Pfitzmann (2002) (9 citations) Self-citation (Backes) (Correct)
No context found.
M. Backes. Cryptographically sound analysis of security protocols. Ph.D thesis, Computer Science Department, Saarland University, 2002. Available at http://www-krypt.cs.unisb. de/#mbackes/diss.ps.
Polynomial Fairness and Liveness - Backes, Pfitzmann, Steiner, Waidner (2002) (5 citations) Self-citation (Backes) (Correct)
No context found.
M. Backes. Cryptographically sound analysis of security protocols. Ph.D thesis, Computer Science Department, Saarland University, 2002, http://www-krypt.cs.uni-sb.de/#mbackes.
Computational Probabilistic Non-Interference - Backes, Pfitzmann (2002) (9 citations) Self-citation (Backes) (Correct)
No context found.
M. Backes. Cryptographically sound analysis of security protocols. Ph.D thesis, Computer Science Department, Saarland University, 2002. Available at http://www-krypt.cs.unisb. de/#mbackes/diss.ps.
Polynomial Liveness - Backes, Pfitzmann, Waidner, Steiner (2003) Self-citation (Backes) (Correct)
No context found.
M. Backes. Cryptographically Sound Analysis of Security Protocols. Dissertation, Naturwissenschaftlich-Technische Fakultat der Universitat des Saarlandes, Saarbrucken, 2002.
Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (7 citations) Self-citation (Backes) (Correct)
No context found.
M. Backes. Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universitat des Saarlandes, 2002. http://www.zurich.ibm.com/~mbc/papers/PhDthesis.ps.gz.
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) Self-citation (Backes) (Correct)
No context found.
M. Backes. Cryptographically sound analysis of security protocols. Ph.D thesis, Computer Science Department, Saarland University, 2002.
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) Self-citation (Backes) (Correct)
No context found.
M. Backes. Cryptographically sound analysis of security protocols. Ph.D thesis, Computer Science Department, Saarland University, 2002.
On the Notion of Statistical Security in Simulatability.. - Hofheinz, Unruh (2005) (Correct)
No context found.
Michael Backes. Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universitat des Saarlandes, 2002.
Universally Composable Time-Stamping Schemes with Audit - Buldas, Laud, Saarepera.. (2005) (Correct)
No context found.
Michael Backes. Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universitat des Saarlandes, 2002.
On the Security and Composability of the One Time Pad - Raub, Steinwandt, Müller-Quade (2004) (Correct)
No context found.
M. Backes. Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universitat des Saarlandes, Saarbrucken, Germany, 2002.
Symmetric Encryption in Automatic Analyses for Confidentiality.. - Laud (2004) (18 citations) (Correct)
No context found.
Michael Backes. Cryptographically Sound Analysis of Security Protocols. PhD thesis, Universitat des Saarlandes, 2002.
Symmetric Encryption in Automatic Analyses for Confidentiality.. - Laud (2004) (18 citations) (Correct)
No context found.
M. Backes, "Cryptographically Sound Analysis of Security Protocols," Ph.D. dissertation, Universitat des Saarlandes, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC