P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. Symp. Security and Privacy, pages 71--85, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis - Backes, Laud (2006) Self-citation (Laud) (Correct)
No context found.
Peeter Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. 25th IEEE Symposium on Security & Privacy, pages 71--85, 2004.
Symmetric Encryption in Automatic Analyses for Confidentiality.. - Laud (2004) (18 citations) Self-citation (Laud) (Correct)
No context found.
P. Laud, "Symmetric encryption in automatic analyses for confidentiality against active adversaries," Cybernetica, Tech. Rep. IT-AR-O-030040227, 27 Feb. 2004.
Cryptographically Sound Security Proofs for - Basic And Public-Key (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. Symp. Security and Privacy, pages 71--85, 2004.
Computational Soundness of Formal Indistinguishability.. - Bana, Mohassel, Stegers (2006) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proceedings of the
Cryptographically Sound Theorem Proving - Sprenger, Backes, Basin.. (2006) (2 citations) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. 25th IEEE Symposium on Security & Privacy, pages 71--85, 2004.
Automated Security Proofs with Sequences of Games - Blanchet, Pointcheval (2006) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In IEEE Symposium on Security and Privacy, pages 71--85, May 2004.
Computationally Sound Implementations of Equational.. - Baudet, Cortier, Kremer (2005) (6 citations) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. IEEE Symposium on Security and Privacy (SSP'04), pages 71--85, 2004.
Limits of the Reactive Simulatability/UC of Dolev-Yao.. - Backes, Pfitzmann.. (2006) (3 citations) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. 25th IEEE Symposium on Security & Privacy, pages 71--85, 2004.
A Computationally Sound Mechanized Prover for Security Protocols - Blanchet (2005) (3 citations) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In IEEE Symposium on Security and Privacy, pages 71--85, Oakland, California, May 2004.
Towards Computationally Sound Symbolic Analysis of Key.. - Gupta, Shmatikov (2005) (2 citations) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. IEEE Symposium on Security and Privacy, pages 71--85, 2004.
Probabilistic Opacity for a Passive Adversary and its.. - Lakhnech, Mazaré (2005) (Correct)
No context found.
Peeter Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In IEEE Symposium on Security and Privacy, pages 71--85, 2004.
Limits of the Cryptographic Realization of Dolev-Yao-style XOR - Backes, Pfitzmann (2005) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. 25th IEEE Symposium on Security & Privacy, pages 71--85, 2004.
Computationally Sound Verification of Security Protocols.. - Lakhnech, Mazare (2005) (Correct)
No context found.
Peeter Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In IEEE Symposium on Security and Privacy, pages 71--85, 2004.
(De)Compositions of Cryptographic Schemes and their.. - Janvier, Lakhnech.. (2005) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In IEEE Symposium on Security and Privacy, pages 71--85, 2004. (document)
Guessing Attacks in the pi-calculus with a Computational.. - Chothia (2005) (Correct)
No context found.
Peeter Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proceedings of 2004 IEEE Symposium on Security and Privacy, pages 71--85, 2004.
Guessing Attacks in the pi-calculus with a Computational.. - Chothia (Correct)
No context found.
Peeter Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proceedings of 2004 IEEE Symposium on Security and Privacy, pages 71--85, 2004.
A Cryptographically Sound Dolev-Yao Style Security Proof of the.. - Backes (2004) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. 25th IEEE Symposium on Security & Privacy, pages 71--85, 2004.
Computationally Sound Implementations of Equational.. - Baudet, Cortier, Kremer (2005) (6 citations) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. IEEE Symposium on Security and Privacy (SSP'04), pages 71--85, 2004.
Low-level Ideal Signatures and General Integrity Idealization - Backes, Pfitzmann, Waidner (2004) (1 citation) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. 25th IEEE Symposium on Security & Privacy, pages 71--85, 2004.
Computationally Sound Implementations of Equational.. - Baudet, Cortier, Kremer (2005) (6 citations) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. In Proc. IEEE Symposium on Security and Privacy (SSP'04), pages 71--85, 2004.
Symmetric Encryption in a Simulatable Dolev-Yao Style.. - Backes, Pfitzmann (2004) (14 citations) (Correct)
No context found.
P. Laud. Symmetric encryption in automatic analyses for confidentiality against active adversaries. Manuscript, 2004.
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