Arcane Security Portal

<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>
Results 226 - 250 of 2871
References
Backes, Michael, Cervesato, Iliano, Jaggard, Aaron D., Scedrov, Andre and Tsay, Joe-Kai (2006), "Cryptographically Sound Security Proofs for Basic and Public-key Kerberos", Proceedings of 11th European Symposium on Research in Computer Security(ESORICS), Lecture Notes in Computer Science, 4189: 362-383.
Backes, Michael, Datta, Anupam, Derek, Ante, Mitchell, John C. and Turuani, Mathieu (2006), "Compositional Analysis of Contract Signing Protocols", Theoretical Computer Science, 367, 1-2: 33-56.
Backes, Michael, Pfitzmann, Birgit and Waidner, Michael (2006), "Formal Methods and Cryptography", Proceedings of 14th International Symposium on Formal Methods (FM), Lecture Notes in Computer Science, 4085: 612-616.
Sprenger, Christoph, Backes, Michael, Basin, David, Pfitzmann, Birgit and Waidner, Michael (2006), "Cryptographically Sound Theorem Proving", Proceedings of 19th IEEE Computer Security Foundations Workshop (CSFW): 153-166.
Backes, Michael and Pfitzmann, Birgit (2006), "On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol", Proceedings of 21st IFIP International Information Security Conference (SEC): 233-245.
Backes, Michael (2006), "Real-or-Random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof", Electronic Notes in Theoretical Computer Science (ENTCS), 155: 111-145.
Backes, Michael, Moedersheim, Sebastian, Pfitzmann, Birgit and Vigano, Luca (2006), "Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario", Proceedings of Foundations of Software Science and Computational Structures (FOSSACS), Lecture Notes in Computer Science, 3921: 428-445.
Backes, Michael, Gritzalis, Stefanos, Preneel, Bart, Katsikas, Sokratis K. and Lopez, Javier (2006), "Proceedings of 9th International Conference on Information Security (ISC), Samos Island, Greece", Lecture Notes in Computer Science, 4176.
Backes, Michael, Datta, Anupam, Derek, Ante, Mitchell, John C., Ramanathan, Ajith and Scedrov, Andre (2006), "Games and the Impossibility of Realizable Ideal Functionality".
Backes, Michael, Pfitzmann, Birgit and Waidner, Michael (2006), "Soundness Limits of Dolev-Yao Models".
Backes, Michael and Laud, Peeter (2006), "Computationally Sound Secrecy Proofs by Mechnized Flow Analysis".
Paxson, Vern, Asanovic, Krste, Dharmapurikar, Sarang, Lockwood, John, Pang, Ruoming, Sommer, Robin and Weaver, Nick (2006), "Rethinking Hardware Support for Network Analysis and Intrusion Prevention", USENIX First Workshop on Hot Topics in Security (HotSec).
Valeur, F., Vigna, G., Kruegel, C. and Kirda, E. (2006), "An Anomaly-driven Reverse Proxy for Web Applications", Proceedings of the ACM Symposium on Applied Computing (SAC).
Sinha, Sushant, Jahanian, Farnam and Patel, Jignesh M. (2006), "WIND: Workload-aware INtrusion Detection", Symposium on Recent Advances in Intrusion Detection (RAID'06).
Cooke, Evan, Mao, Z. Morley and Jahanian, Farnam (2006), "Hotspots: The Root Causes of Non-Uniformity in Self-Propagating Malware", Proceedings of the International Conference on Dependable Systems and Networks (DSN'2006).
Sinha, Sushant, Jahanian, Farnam and Patel, Jignesh M. (2006), "WIND: Workload-aware INtrusion Detection", Symposium on Recent Advances in Intrusion Detection (RAID'06).
Cooke, Evan, Mao, Z. Morley and Jahanian, Farnam (2006), "Hotspots: The Root Causes of Non-Uniformity in Self-Propagating Malware", Proceedings of the International Conference on Dependable Systems and Networks (DSN'2006).
Webster, Matt and Malcolm, Grant (2006), "Detection of Metamorphic Computer Viruses Using Algebraic Specification", Journal in Computer Virology, 2, 3: 149-161.
Nelson, Blaine Alan (2006), "Designing, Implementing, and Analyzing a System for Virus Detection", UCB/EECS-2006-27.
Duan, Shanshan and Cao, Zhenfu (2006), "Efficient and Provably Secure Multi-receiver Identity-Based Signcryption", ACISP: 195-206.
Kesdogan, Dogan, Agrawal, Dakshi, Pham, Vinh and Rautenbach, Dieter (2006), "Fundamental Limits on the Anonymity Provided by the MIX Technique", sp, 0: 86--99.
Golle, Philippe, Wang, XiaoFeng, Jakobsson, Markus and Tsow, Alex (2006), "Deterring Voluntary Trace Disclosure in Re-encryption Mix Networks", Proceedings of the 2006 IEEE Symposium on Security and Privacy: 121--131.
Murdoch, Steven J. (2006), "Hot or Not: Revealing Hidden Services by their Clock Skew", Proceedings of CCS 2006.
Liberatore, Marc and Levine, Brian Neil (2006), "Inferring the Source of Encrypted HTTP Connections", Proceedings of the 13th ACM conference on Computer and Communications Security (CCS 2006): 255--263.
Shmatikov, Vitaly and Wang, Ming-Hsui (2006), "Measuring Relationship Anonymity in Mix Networks", Proceedings of the Workshop on Privacy in the Electronic Society (WPES 2006).

<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>
Results 226 - 250 of 2871
Download bibtex string for all 2871 results