Home     Top: Security: Encryption    [Access Control   Encryption   Information Warfare   Intellectual Property Protection   Intrusion Detection]

Change ordering:   Authority   Hubs (tutorials)   Date   Expected authority       Show abstracts
Ordered by the number of citations

This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.

859   A Method for Obtaining Digital Signatures and Public-Key Cryptosystems - Rivest, Shamir, Adleman (1978)   (Correct)
586   RTP: A Transport Protocol for Real-Time Applications - Schulzrinne, Casner (1993)   (Correct)
278   A Survey of Active Network Research - Tennenhouse, Smith, Sincoskie.. (1997)   (Correct)
256   End-To-End Arguments In System Design - Saltzer, Reed, Clark (1984)   (Correct)
230   Random Oracles are Practical: A Paradigm for Designing Efficient.. - Bellare, Rogaway (1995)   (Correct)
171   A Logic of Authentication - Burrows, Abadi, Needham (1990)   (Correct)
164   Coda: A Highly Available File System for a Distributed Workstation.. - Satyanarayanan (1990)   (Correct)
163   Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi, Burrows, Wobber (1992)   (Correct)
163   A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1997)   (Correct)
160   Privacy Enhancement for Internet Electronic Mail: Part II.. - Kent (1993)   (Correct)
139   Non-Malleable Cryptography - Dolev, Dwork, Naor (1998)   (Correct)
129   Horus: A Flexible Group Communications System - van Renesse, Birman, Maffeis (1996)   (Correct)
125   Differential Cryptanalysis attacks - Biham, Shamir (1991)   (Correct)
113   MediaBench: A Tool for Evaluating and Synthesizing Multimedia and.. - Lee (1997)   (Correct)
104   The Inductive Approach to Verifying Cryptographic Protocols - Paulson (1998)   (Correct)
102   Prudent Engineering Practice for Cryptographic Protocols - Abadi, Needham (1995)   (Correct)
98   Agent Tcl: A flexible and secure mobile-agent system - Gray (1996)   (Correct)
97   Reasoning about Belief in Cryptographic Protocols - Gong, Needham, Yahalom (1990)   (Correct)
94   A Practical Public Key Cryptosystem Provably Secure against Adaptive.. - Cramer, Shoup (1998)   (Correct)
94   A Calculus for Access Control in Distributed Systems - Abadi, Burrows, Lampson, Plotkin (1991)   (Correct)
90   File System Development with Stackable Layers - Heidemann (1994)   (Correct)
87   SDSI - A Simple Distributed Security Infrastructure - Rivest, Lampson (1996)   (Correct)
83   Garp: A MIPS Processor with a Reconfigurable Coprocessor - Hauser, Wawrzynek (1997)   (Correct)
82   Keying Hash Functions for Message Authentication - Bellare, Canetti, Krawczyk (1996)   (Correct)
81   Automated Analysis of Cryptographic Protocols Using Murphi - Mitchell, Mitchell, Stern (1997)   (Correct)
81   The Kerberos Network Authentication Service - Kohl, Neuman (1991)   (Correct)
80   Practical Prefetching via Data Compression - Curewitz, Krishnan, Vitter (1993)   (Correct)
80   Proving Properties of Security Protocols by Induction - Paulson (1997)   (Correct)
79   Programmable Active Memories: a Performance Assessment - Bertin Roncin (1993)   (Correct)
79   Implementation of the Ficus Replicated File System - Guy, Heidemann, Mak, Jr., Popek.. (1990)   (Correct)
78   The Exact Security of Digital Signatures - How to Sign with RSA and.. - Bellare, Rogaway (1996)   (Correct)
76   A Continuous Media Player - Rowe, Smith (1992)   (Correct)
75   Internet Security Association and Key Management Protocol (ISAKMP) - Maughan, Patrick, Schertler (1995)   (Correct)
74   Encrypted Key Exchange: Password-Based Protocols Secure Against.. - Bellovin, Merritt (1992)   (Correct)
74   Markov Ciphers and Differential Cryptanalysis - Lai, Massey, Murphy (1991)   (Correct)
72   Secrecy by Typing in Security Protocols - Abadi (1997)   (Correct)
72   A Proposal for a New Block Encryption Standard - Lai, Massey (1991)   (Correct)
70   Voice Communication Across the Internet: A Network Voice Terminal - Schulzrinne (1992)   (Correct)
70   Increasing Network Throughput by Integrating Protocol Layers - Abbott, Peterson (1993)   (Correct)
69   Towards Robust and Hidden Image Copyright Labeling - Koch, Zhao (1995)   (Correct)
67   NetBill Security and Transaction Protocol - Cox, al. (1995)   (Correct)
65   Provably Secure Session Key Distribution - The Three Party Case - Bellare, Rogaway (1995)   (Correct)
64   The NRL Protocol Analyzer: An Overview - Meadows (1996)   (Correct)
64   Transparent Robust Image Watermarking - Swanson, Zhu, Tewfik (1996)   (Correct)
63   The SLam Calculus: Programming with Secrecy and Integrity - Heintze, Riecke (1998)   (Correct)
61   Why Cryptosystems Fail - Anderson (1994)   (Correct)
61   Secure Information Flow in a Multi-threaded Imperative Language - Smith, Volpano (1998)   (Correct)
61   On Unifying Some Cryptographic Protocol Logics - Syverson, van Oorschot (1994)   (Correct)
61   Interposition Agents: Transparently Interposing User Code at the.. - Jones   (Correct)
60   Limitations of the Kerberos Authentication System+ - Bellovin (1991)   (Correct)
57   Authentication in the Taos Operating System - Wobber, Abadi, Burrows, Lampson (1993)   (Correct)
56   Robustness principles for public key protocols - Anderson, Needham (1995)   (Correct)
56   On Hiding Information from an Oracle - Abadi, Feigenbaum, Kilian (1989)   (Correct)
55   An Algorithm for Lossless Smoothing of MPEG Video - Lam, Chow, Yau (1994)   (Correct)
55   Security and Composition of Multi-party Cryptographic Protocols - Canetti (1998)   (Correct)
54   A Semantics for a Logic of Authentication - Abadi, Tuttle (1991)   (Correct)
50   Protecting Poorly Chosen Secrets from Guessing Attacks - Gong, Lomas, Needham, Saltzer (1993)   (Correct)
50   New Types of Cryptanalytic Attacks Using Related Keys - Biham (1994)   (Correct)
49   Proxy-Based Authorization and Accounting for Distributed Systems - Neuman (1993)   (Correct)
48   The RC5 Encryption Algorithm - Rivest (1995)   (Correct)
48   A Cryptographic File System for Unix - Blaze (1993)   (Correct)
48   Applying Formal Methods to the Analysis of a Key Management Protocol - Meadows (1992)   (Correct)
47   Computer Immunology - Forrest, Hofmeyr, Somayaji (1996)   (Correct)
46   A Feature-Based Algorithm for Detecting and Classifying Scene Breaks - Zabih, Miller, Mai (1995)   (Correct)
46   Towards a Completeness Result for Model Checking of Security.. - Lowe (1998)   (Correct)
45   Limits on the Provable Consequences of One-way Permutations. - Impagliazzo, Rudich (1989)   (Correct)
44   Tight Bounds on Quantum Searching - Boyer, Brassard, Høyer, Tapp (1998)   (Correct)
44   Privacy Enhancement for Internet Electronic Mail: Part III.. - Balenson (1993)   (Correct)
43   Crowds: Anonymity for Web Transactions - Reiter, Rubin (1997)   (Correct)
43   RTP Profile for Audio and Video Conferences with Minimal Control - Schulzrinne (1997)   (Correct)
43   AES Proposal: Rijndael - Daemen, Rijmen (1998)   (Correct)
42   Digital Watermarks for Audio Signals - Boney (1996)   (Correct)
42   Learning Recursive Distributed Representations for Holistic.. - Chrisman (1991)   (Correct)
41   Anonymous Connections and Onion Routing - Syverson, Goldschlag, Reed (1997)   (Correct)
41   Kerberos Authentication and Authorization System - Miller, Neuman, Schiller, Saltzer (1988)   (Correct)
41   iKP - A Family of Secure Electronic Payment Protocols - Bellare, Garay, Hauser, Herzberg.. (1995)   (Correct)
41   Mobile Agent Security and Telescript - Tardo, Valente (1996)   (Correct)
41   Protocol Implementation Using Integrated Layer Processing - Braun, Diot (1995)   (Correct)
40   On The Computational Power of DNA - Boneh, Dunworth, Lipton, Sgall (1995)   (Correct)
39   The Oakley Key Determination Protocol - Orman (1997)   (Correct)
38   A Semantic Model for Authentication Protocols - Woo, Lam (1993)   (Correct)
37   Watermarking Digital Images for Copyright Protection - Ruanaidh, Dowling, Boland (1996)   (Correct)
37   Password Security: A Case History - Morris (1979)   (Correct)
37   Model Checking for Security Protocols - Marrero, Clarke, Jha (1997)   (Correct)
37   Fast Implementations of RSA Cryptography - Shand, Vuillemin (1993)   (Correct)
37   The Interpolation Attack on Block Ciphers - Jakobsen, Knudsen (1997)   (Correct)
37   Formal Verification of Cryptographic Protocols: A Survey - Meadows (1995)   (Correct)
37   MARS - a candidate cipher for AES - Burwick, al.   (Correct)
36   ISDN-MIXes: Untraceable Communication with Very Small Bandwidth.. - Pfitzmann, al. (1991)   (Correct)
35   Optimistic Fair Exchange of Digital Signatures - Asokan, Shoup, Waidner (1998)   (Correct)
35   How to Protect DES Against Exhaustive Key Search - Kilian, Rogaway (1996)   (Correct)
34   A Scheduling Service Model and a Scheduling Architecture for an.. - Shenker, Clark, Zhang (1993)   (Correct)
34   On the Construction of Pseudo-Random Permutations: Luby-Rackoff.. - Naor, Reingold (1997)   (Correct)
34   Two-bit gates are universal for quantum computation - Di Vincenzo (1995)   (Correct)
33   Efficient DES Key Search - Wiener (1993)   (Correct)
33   Publicly Verifiable Secret Sharing - Stadler (1996)   (Correct)
33   SSH - Secure Login Connections over the Internet - Ylonen (1996)   (Correct)
33   The Resurrecting Duckling: Security Issues for Ad-hoc Wireless.. - Stajano, Anderson (1999)   (Correct)
32   Finite-State Analysis of SSL 3.0 - Mitchell, al. (1998)   (Correct)
31   Studies in Secure Multiparty Computation and Applications - Canetti (1995)   (Correct)
31   Using State Space Exploration and a Natural Deduction Style Message.. - Clarke, Jha, Marrero (1998)   (Correct)
31   Augmented Encrypted Key Exchange: a Password-Based Protocol Secure.. - Bellovin, Merritt (1993)   (Correct)
31   A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell, Mitchell, Scedrov (1998)   (Correct)
31   A Fair Non-repudiation Protocol - Zhou, Gollmann   (Correct)
31   Adaptively Secure Multi-party Computation - Canetti, Feige, Goldreich, Naor (1996)   (Correct)
31   Abstractions for Mobile Computation - Cardelli (1998)   (Correct)
31   A review of watermarking and the importance of perceptual modeling - Cox, Miller (1997)   (Correct)
31   Using CSP to detect errors in the TMN protocol - Lowe, Roscoe (1997)   (Correct)
30   On the Security of ElGamal based Encryption - Tsiounis, Yung (1998)   (Correct)
30   Problem Areas for the IP Security Protocols - Bellovin (1996)   (Correct)
30   Trust Relationships in Secure Systems - A Distributed Authentication.. - Yahalom, Klein, Beth (1993)   (Correct)
30   Towards Mobile Cryptography - Sander, Tschudin (1998)   (Correct)
29   Identity Escrow - Kilian, Petrank (1997)   (Correct)
29   Number-Theoretic Constructions of Efficient Pseudo-Random Functions - Naor, Reingold (1997)   (Correct)
29   Bucket Hashing and its Application to Fast Message Authentication - Rogaway (1997)   (Correct)
29   Toward a Common Infrastructure for Multimedia-Networking Middleware - McCanne, al (1997)   (Correct)
29   Message Authentication with One-Way Hash Functions - Tsudik (1992)   (Correct)
29   Discrete logarithms in finite fields and their cryptographic.. - Odlyzko (1984)   (Correct)
28   Programming Satan's Computer - Anderson, Needham   (Correct)
28   Fail-Stop Protocols: An Approach to Designing Secure Protocols - Gong (1994)   (Correct)
28   How to Make Replicated Data Secure - Herlihy, Tygar (1987)   (Correct)
28   Good quantum error-correcting codes exist. - Calderbank, Shor (1995)   (Correct)
28   Byzantine Quorum Systems - Dahlia Malkhi (1997)   (Correct)
28   MDx-MAC and Building Fast MACs from Hash Functions - Preneel, van Oorschot (1995)   (Correct)
28   On Formal Models for Secure Key Exchange - Shoup (1999)   (Correct)
28   Scalable Processors in the Billion-Transistor Era: IRAM - Kozyrakis, Perissakis, Patterson.. (1997)   (Correct)
28   Serpent: A Proposal for the Advanced Encryption Standard - Anderson, Biham, Knudsen   (Correct)
27   Public Watermarks and Resistance to Tampering - Cox, Linnartz (1997)   (Correct)
27   SLIC: An Extensibility System for Commodity Operating Systems - Ghormley, Petrou, Rodrigues, Anderson (1998)   (Correct)
27   Time Limited Blackbox Security: Protecting Mobile Agents From.. - Hohl (1998)   (Correct)
27   Adaptive Fraud Detection - Fawcett, Foster (1997)   (Correct)
27   Privacy And Authentication For Wireless Local Area Networks - Aziz, Diffie (1993)   (Correct)
27   Securing Distance-Vector Routing Protocols - Smith, Murthy, Garcia-Luna-Aceves (1997)   (Correct)
27   Selecting Cryptographic Key Sizes - Lenstra, Verheul (2001)   (Correct)
26   Data Mining Approaches for Intrusion Detection - Lee, Stolfo (1998)   (Correct)
26   MAGMA: An Agent-Based Virtual Market for Electronic Commerce - Tsvetovatyy, Gini, Mobasher.. (1997)   (Correct)
26   A Fast New DES Implementation in Software - Biham (1997)   (Correct)
26   Enclaves: Enabling Secure Collaboration over the Internet - Gong (1996)   (Correct)
26   Refinement and Extension of Encrypted Key Exchange - Steiner, Tsudik, Waidner (1995)   (Correct)
26   A Survey of Fast Exponentiation Methods - Gordon (1997)   (Correct)
26   Watermarking of Uncompressed and Compressed Video - Hartung, Girod (1998)   (Correct)
26   Key Establishment in Large Dynamic Groups Using One-Way Function Trees - McGrew, Sherman (1998)   (Correct)
26   Proactive RSA - Frankel, Gemmell, MacKenzie, Yung (1997)   (Correct)
26   Invertible Cellular Automata: A Review - Toffoli, Margolus (1990)   (Correct)
26   Proactive Secret Sharing Or: How to Cope With Perpetual Leakage - Herzberg, Jarecki, Krawczyk, Yung (1995)   (Correct)
26   Java Security: Present and Near Future - Gong (1997)   (Correct)
25   Secure Coprocessors in Electronic Commerce Applications - Yee, Tygar (1995)   (Correct)
25   Two Practical and Provably Secure Block Ciphers: BEAR and LION - Anderson, Biham (1996)   (Correct)
25   KryptoKnight Authentication and Key Distribution System - Molva, Tsudik, van Herreweghen, Zatti (1993)   (Correct)
25   Secret Key Agreement by Public Discussion From Common Information - Maurer (1993)   (Correct)
25   The COPS Security Checker System - Farmer, Spafford (1992)   (Correct)
25   SKEME: A Versatile Secure Key Exchange Mechanism for Internet - Krawczyk (1996)   (Correct)
25   A Taxonomy of Replay Attacks - Syverson (1994)   (Correct)
25   Using Secure Coprocessors - Yee (1994)   (Correct)
25   Witness-Based Cryptographic Program Checking and Robust Function.. - Yair Frankel (1996)   (Correct)
25   Abstracting Interaction Patterns: A Programming Paradigm for Open.. - Agha (1997)   (Correct)
25   Breaking DES Using a Molecular Computer - Boneh, Dunworth, Lipton (1995)   (Correct)
24   A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon (1998)   (Correct)
24   Increasing Availability and Security of an Authentication Service - Gong (1993)   (Correct)
24   Practical Protocols For Certified Electronic Mail - Deng, Gong, Lazar, Wang (1996)   (Correct)
24   A Software-Optimized Encryption Algorithm - Rogaway, Coppersmith (1997)   (Correct)
23   The Internet Multimedia Conferencing Architecture - Handley, Crowcroft, Bormann (1996)   (Correct)

CiteSeer - citeseer.org - Terms of Service - Privacy Policy - Copyright © 1997-2002 NEC Research Institute