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 expected number of citations based on the year of publication

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.

1208.2   RTP: A Transport Protocol for Real-Time Applications - Schulzrinne, Casner (1993)   (Correct)
1182.9   A Survey of Active Network Research - Tennenhouse, Smith, Sincoskie.. (1997)   (Correct)
925.7   A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998)   (Correct)
859.0   A Method for Obtaining Digital Signatures and Public-Key Cryptosystems - Rivest, Shamir, Adleman (1978)   (Correct)
794.2   Non-Malleable Cryptography - Dolev, Dwork, Naor (1998)   (Correct)
771.4   Selecting Cryptographic Key Sizes - Lenstra, Verheul (2001)   (Correct)
666.6   Random Oracles are Practical: A Paradigm for Designing Efficient.. - Bellare, Rogaway (1995)   (Correct)
594.2   The Inductive Approach to Verifying Cryptographic Protocols - Paulson (1998)   (Correct)
537.1   A Practical Public Key Cryptosystem Provably Secure against Adaptive.. - Cramer, Shoup (1998)   (Correct)
480.8   MediaBench: A Tool for Evaluating and Synthesizing Multimedia and.. - Lee (1997)   (Correct)
411.4   Secrecy by Typing in Security Protocols - Abadi (1998)   (Correct)
373.9   Horus: A Flexible Group Communications System - van Renesse, Birman, Maffeis (1996)   (Correct)
359.9   The SLam Calculus: Programming with Secrecy and Integrity - Heintze, Riecke (1998)   (Correct)
353.1   Garp: A MIPS Processor with a Reconfigurable Coprocessor - Hauser, Wawrzynek (1997)   (Correct)
348.5   Secure Information Flow in a Multi-threaded Imperative Language - Smith, Volpano (1998)   (Correct)
344.6   Automated Analysis of Cryptographic Protocols Using Murphi - Mitchell, Mitchell, Stern (1997)   (Correct)
340.4   Proving Properties of Security Protocols by Induction - Paulson (1997)   (Correct)
329.8   Privacy Enhancement for Internet Electronic Mail: Part II.. - Kent (1993)   (Correct)
319.1   Internet Security Association and Key Management Protocol (ISAKMP) - Maughan, Schertler, Schneider, Turner (1997)   (Correct)
314.2   Security and Composition of Multi-party Cryptographic Protocols - Canetti (1998)   (Correct)
300.0   Transforming out Timing Leaks - Agat (2000)   (Correct)
299.9   The Resurrecting Duckling: Security Issues for Ad-hoc Wireless.. - Stajano, Anderson (1999)   (Correct)
295.6   Prudent Engineering Practice for Cryptographic Protocols - Abadi, Needham (1995)   (Correct)
284.0   Agent Tcl: A flexible and secure mobile-agent system - Gray (1996)   (Correct)
281.0   Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi, Burrows, Wobber (1992)   (Correct)
262.8   Towards a Completeness Result for Model Checking of Security.. - Lowe (1998)   (Correct)
256.0   End-To-End Arguments In System Design - Saltzer, Reed, Clark (1984)   (Correct)
254.5   On Formal Models for Secure Key Exchange - Shoup (1999)   (Correct)
252.1   SDSI - A Simple Distributed Security Infrastructure - Rivest, Lampson (1996)   (Correct)
251.4   Tight Bounds on Quantum Searching - Boyer, Brassard, Høyer, Tapp (1998)   (Correct)
245.7   AES Proposal: Rijndael - Daemen, Rijmen (1998)   (Correct)
242.8   Authenticated Key Exchange Secure Against Dictionary Attacks - Bellare, Pointcheval, Rogaway (2000)   (Correct)
237.6   Keying Hash Functions for Message Authentication - Bellare, Canetti, Krawczyk (1996)   (Correct)
228.5   On the reachability problem in cryptographic protocols - Amadio, Lugiez (2000)   (Correct)
226.0   The Exact Security of Digital Signatures - How to Sign with RSA and.. - Bellare, Rogaway (1996)   (Correct)
222.2   File System Development with Stackable Layers - Heidemann (1994)   (Correct)
204.7   A Logic of Authentication - Burrows, Abadi, Needham (1990)   (Correct)
200.0   Open Issues in Formal Methods for Cryptographic Protocol Analysis - Meadows (2000)   (Correct)
200.0   An FPGA Implementation and Performance Evaluation of the AES Block.. - Elbirt, Yip, Chetwynd, Paar (2000)   (Correct)
200.0   Towards Robust and Hidden Image Copyright Labeling - Koch, Zhao (1995)   (Correct)
199.9   CAPSL Intermediate Language - Denker, Millen (1999)   (Correct)
199.9   Optimistic Fair Exchange of Digital Signatures - Asokan, Shoup, Waidner (1998)   (Correct)
196.4   Coda: A Highly Available File System for a Distributed Workstation.. - Satyanarayanan (1990)   (Correct)
194.2   NetBill Security and Transaction Protocol - Cox, al. (1995)   (Correct)
190.9   Hardening COTS Software with Generic Software Wrappers - Fraser, Badger, Feldman (1999)   (Correct)
190.9   Twenty Years of Attacks on the RSA Cryptosystem - Boneh (1999)   (Correct)
188.4   Provably Secure Session Key Distribution - The Three Party Case - Bellare, Rogaway (1995)   (Correct)
185.7   Provably Secure Password-Authenticated Key Exchange Using.. - Boyko, MacKenzie, Patel (2000)   (Correct)
185.7   Intrusion Detection in Wireless Ad-Hoc Networks - Zhang, Lee (2000)   (Correct)
185.5   The NRL Protocol Analyzer: An Overview - Meadows (1996)   (Correct)
185.5   Transparent Robust Image Watermarking - Swanson, Zhu, Tewfik (1996)   (Correct)
183.8   Differential Cryptanalysis attacks - Biham, Shamir (1991)   (Correct)
182.9   Crowds: Anonymity for Web Transactions - Reiter, Rubin (1997)   (Correct)
182.9   RTP Profile for Audio and Video Conferences with Minimal Control - Schulzrinne (1997)   (Correct)
182.8   Finite-State Analysis of SSL 3.0 - Mitchell, al. (1998)   (Correct)
181.8   Spread Spectrum Watermarking: Malicious Attacks and Counterattacks - Hartung, Su, Girod (1999)   (Correct)
181.8   A Meta-notation for Protocol Analysis - Cervesato, Durgin, Lincoln.. (1999)   (Correct)
181.8   A Data Mining Framework for Building Intrusion Detection Models - Lee, Stolfo, Mok (1999)   (Correct)
181.8   Onion Routing for Anonymous and Private Internet Connections - Goldschlag, Reed, Syverson (1999)   (Correct)
177.1   Abstractions for Mobile Computation - Cardelli (1998)   (Correct)
177.1   A probabilistic poly-time framework for protocol analysis - Lincoln, Mitchell, Mitchell, Scedrov (1998)   (Correct)
177.1   Using State Space Exploration and a Natural Deduction Style Message.. - Clarke, Jha, Marrero (1998)   (Correct)
174.4   Anonymous Connections and Onion Routing - Syverson, Goldschlag, Reed (1997)   (Correct)
172.7   Parallelizing Applications into Silicon - Babb, Rinard, Moritz, Lee, Frank.. (1999)   (Correct)
171.4   On the Security of ElGamal based Encryption - Tsiounis, Yung (1998)   (Correct)
171.4   Towards Mobile Cryptography - Sander, Tschudin (1998)   (Correct)
165.9   The Oakley Key Determination Protocol - Orman (1997)   (Correct)
164.9   Practical Prefetching via Data Compression - Curewitz, Krishnan, Vitter (1993)   (Correct)
163.6   Securing Threshold Cryptosystems against Chosen Ciphertext Attack - Shoup, Gennaro (1999)   (Correct)
162.8   Programmable Active Memories: a Performance Assessment - Bertin Roncin (1993)   (Correct)
162.3   Robustness principles for public key protocols - Anderson, Needham (1995)   (Correct)
159.9   Byzantine Quorum Systems - Malkhi, Reiter (1998)   (Correct)
157.4   Model Checking for Security Protocols - Marrero, Clarke, Jha (1997)   (Correct)
157.4   The Interpolation Attack on Block Ciphers - Jakobsen, Knudsen (1997)   (Correct)
154.5   Undecidability of Bounded Security Protocols - Mitchell (1999)   (Correct)
154.5   Abstracting Cryptographic Protocols with Tree Automata - David (1999)   (Correct)
154.2   SLIC: An Extensibility System for Commodity Operating Systems - Ghormley, Petrou, Rodrigues, Anderson (1998)   (Correct)
154.2   Time Limited Blackbox Security: Protecting Mobile Agents From.. - Hohl (1998)   (Correct)
150.6   Why Cryptosystems Fail - Anderson (1994)   (Correct)
150.6   On Unifying Some Cryptographic Protocol Logics - Syverson, van Oorschot (1994)   (Correct)
148.5   Data Mining Approaches for Intrusion Detection - Lee, Stolfo (1998)   (Correct)
148.5   Watermarking of Uncompressed and Compressed Video - Hartung, Girod (1998)   (Correct)
148.5   Key Establishment in Large Dynamic Groups Using One-Way Function Trees - McGrew, Sherman (1998)   (Correct)
145.4   UMAC: Fast and Secure Message Authentication - Black, Halevi, Krawczyk, Krovetz.. (1999)   (Correct)
145.4   Proof-Carrying Authentication - Appel, Felten (1999)   (Correct)
144.6   On the Construction of Pseudo-Random Permutations: Luby-Rackoff.. - Naor, Reingold (1997)   (Correct)
144.3   Increasing Network Throughput by Integrating Protocol Layers - Abbott, Peterson (1993)   (Correct)
142.8   Fast Implementations of AES Candidates - Aoki, Lipmaa (2000)   (Correct)
140.7   Authentication in the Taos Operating System - Wobber, Abadi, Burrows, Lampson (1994)   (Correct)
139.1   The RC5 Encryption Algorithm - Rivest (1995)   (Correct)
138.2   A Calculus for Access Control in Distributed Systems - Abadi, Burrows, Lampson, Plotkin (1991)   (Correct)
137.1   A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon (1998)   (Correct)
136.3   Performance Comparison of the AES Submissions - Schneier, Kelsey, Whiting, Wagner.. (1999)   (Correct)
136.2   Computer Immunology - Forrest, Hofmeyr, Somayaji (1996)   (Correct)
135.8   An Algorithm for Lossless Smoothing of MPEG Video - Lam, Chow, Yau (1994)   (Correct)
133.3   A Feature-Based Algorithm for Detecting and Classifying Scene Breaks - Zabih, Miller, Mai (1995)   (Correct)
131.9   A review of watermarking and the importance of perceptual modeling - Cox, Miller (1997)   (Correct)
131.9   Using CSP to detect errors in the TMN protocol - Lowe, Roscoe (1997)   (Correct)
131.0   A Continuous Media Player - Rowe, Smith (1992)   (Correct)
128.5   Composition and Integrity Preservation of Secure Reactive Systems - Pfitzmann, Waidner (2000)   (Correct)
128.5   Protocol-Independent Secrecy - Millen, Rueß (2000)   (Correct)
127.5   Encrypted Key Exchange: Password-Based Protocols Secure Against.. - Bellovin, Merritt (1992)   (Correct)
127.2   An FPGA Implementation and Performance Evaluation of the Serpent.. - Elbirt, Paar (1999)   (Correct)
125.7   Public-key cryptography and password protocols - Halevi, Krawczyk (1998)   (Correct)
125.7   Compression Tolerant Image Authentication - Sushil Bhattacharjee (1998)   (Correct)
123.4   New Types of Cryptanalytic Attacks Using Related Keys - Biham (1994)   (Correct)
123.4   Number-Theoretic Constructions of Efficient Pseudo-Random Functions - Naor, Reingold (1997)   (Correct)
123.4   Bucket Hashing and its Application to Fast Message Authentication - Rogaway (1997)   (Correct)
123.4   Identity Escrow - Kilian, Petrank (1997)   (Correct)
123.4   Toward a Common Infrastructure for Multimedia-Networking Middleware - McCanne, al (1997)   (Correct)
121.7   Digital Watermarks For Audio Signals - Boney (1996)   (Correct)
120.6   Voice Communication Across the Internet: A Network Voice Terminal - Schulzrinne (1992)   (Correct)
119.9   A Proxy Based Filtering Mechanism for the Mobile Environment - Zenel (1998)   (Correct)
119.1   Scalable Processors in the Billion-Transistor Era: IRAM - Kozyrakis, Perissakis, Patterson.. (1997)   (Correct)
119.1   The Kerberos Network Authentication Service - Kohl, Neuman (1991)   (Correct)
118.8   Mobile Agent Security and Telescript - Tardo, Valente (1996)   (Correct)
118.8   Protocol Implementation Using Integrated Layer Processing - Braun, Diot (1995)   (Correct)
118.8   iKP - A Family of Secure Electronic Payment Protocols - Bellare, Garay, Hauser, Herzberg.. (1995)   (Correct)
118.1   Distributed Pseudo-Random Functions and KDCs - Naor, Pinkas, Reingold (1999)   (Correct)
118.1   Analysis of the Internet Key Exchange Protocol Using the NRL Protocol .. - Meadows (1999)   (Correct)
118.1   Flash Mixing - Jakobsson (1999)   (Correct)
118.1   Coding constructions for blacklisting problems without computational.. - Kumar, Rajagopalan, Sahai (1999)   (Correct)
118.1   Differential Power Analysis - Kocher, Jaffe, Jun (1999)   (Correct)
118.1   A Cautionary Note Regarding Evaluation of AES Candidates on.. - Chari, Jutla, Rao, Rohatgi (1999)   (Correct)
116.1   Reasoning about Belief in Cryptographic Protocols - Gong, Needham, Yahalom (1990)   (Correct)
115.9   On The Computational Power of DNA - Boneh, Dunworth, Lipton, Sgall (1995)   (Correct)
114.8   Adaptive Fraud Detection - Fawcett, Foster (1997)   (Correct)
114.8   Securing Distance-Vector Routing Protocols - Smith, Murthy, Garcia-Luna-Aceves (1997)   (Correct)
114.8   Public Watermarks and Resistance to Tampering - Cox, Linnartz (1997)   (Correct)
114.2   Security Protocols and their Properties - Abadi (2000)   (Correct)
114.2   Secure Group Communication in Asynchronous Networks with Failures.. - Yair Amir (2000)   (Correct)
114.2   Kronos: A Scalable Group Re-Keying Approach for Secure Multicast - Setia, Koussih, Jajodia (2000)   (Correct)
114.2   Exposure-Resilient Functions and All-Or-Nothing Transforms - Canetti, Dodis, Halevi, Kushilevitz, .. (2000)   (Correct)
114.2   On The Limits of Steganography - Anderson, Petitcolas (1998)   (Correct)
110.6   A Survey of Fast Exponentiation Methods - Gordon (1997)   (Correct)
110.6   Proactive RSA - Frankel, Gemmell, MacKenzie, Yung (1997)   (Correct)
110.6   MAGMA: An Agent-Based Virtual Market for Electronic Commerce - Tsvetovatyy, Gini, Mobasher.. (1997)   (Correct)
110.6   A Fast New DES Implementation in Software - Biham (1997)   (Correct)
110.6   Java Security: Present and Near Future - Gong (1997)   (Correct)
109.0   On Quality of Service Optimization with Discrete QoS Options - Lee, Lehoczky, Rajkumar, Siewiorek (1999)   (Correct)
109.0   Cryptanalysis of Skipjack Reduced to 31 Rounds using Impossible.. - Biham, Biryukov, Shamir (1999)   (Correct)
109.0   Compiler Techniques for Code Compression - Debray, Evans, Muth (1999)   (Correct)
108.8   Markov Ciphers and Differential Cryptanalysis - Lai, Massey, Murphy (1991)   (Correct)
108.5   Concurrent Zero-Knowledge: Reducing the Need for Timing Constraints - Dwork, Sahai (1998)   (Correct)
107.2   Watermarking Digital Images for Copyright Protection - Ruanaidh, Dowling, Boland (1996)   (Correct)
107.2   Formal Verification of Cryptographic Protocols: A Survey - Meadows (1995)   (Correct)
106.3   Abstracting Interaction Patterns: A Programming Paradigm for Open.. - Agha (1997)   (Correct)
105.8   A Proposal for a New Block Encryption Standard - Lai, Massey (1991)   (Correct)
103.0   Protecting Poorly Chosen Secrets from Guessing Attacks - Gong, Lomas, Needham, Saltzer (1993)   (Correct)
102.8   Combinatorial Properties and Constructions of Traceability Schemes.. - Stinson, Wei (1998)   (Correct)
102.1   A Software-Optimized Encryption Algorithm - Rogaway, Coppersmith (1997)   (Correct)
101.4   How to Protect DES Against Exhaustive Key Search - Kilian, Rogaway (1996)   (Correct)
101.0   Proxy-Based Authorization and Accounting for Distributed Systems - Neuman (1993)   (Correct)
100.0   Lattice Reduction in Cryptology: An Update - Nguyen, Stern (2000)   (Correct)
100.0   Mix and Match: Secure Function Evaluation via Ciphertexts (Extended.. - Jakobsson, Juels (2000)   (Correct)
100.0   Publius: A robust, tamper-evident, censorship-resistant web.. - Waldman, Rubin, Cranor (2000)   (Correct)
100.0   Implementing a Distributed Firewall - Ioannidis, Keromytis, Bellovin, Smith (2000)   (Correct)
100.0   A Comparative Study of Performance of AES Final Candidates Using FPGAs - Dandalis, Prasanna, Rolim (2000)   (Correct)
98.9   A Cryptographic File System for Unix - Blaze (1993)   (Correct)
98.5   Two-bit gates are universal for quantum computation - Di Vincenzo (1995)   (Correct)

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