| 2006 | Preserving Secrecy Under Refinement. | Rajeev Alur, Pavol Cern, Steve Zdancewic |
| 2006 | Additive Approximation for Edge-Deletion Problems (Abstract). | Noga Alon, Asaf Shapira, Benny Sudakov |
| 2006 | Cryptographically Sound Implementations for Communicating Processes. | Pedro Ado, Cdric Fournet |
| 2006 | A Finite Equational Base for CCS with Left Merge and Communication Merge. | Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik |
| 2006 | On the Axiomatizability of Priority. | Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Inglfsdttir |
| 2006 | Identity-Based Encryption Gone Wild. | Michel Abdalla, Dario Catalano, Alexander W. Dent, John Malone-Lee, Gregory Neven, Nigel P. Smart |
| 2005 | Simple Extractors via Constructions of Cryptographic Pseudo-random Generators. | Marius Zimand |
| 2005 | The Efficiency and Fairness of a Fixed Budget Resource Allocation Game. | Li Zhang |
| 2005 | On the | Douglas Wikstrm |
| 2005 | Improved Lower Bounds for Locally Decodable Codes and Private Information Retrieval. | Stephanie Wehner, Ronald de Wolf |
| 2005 | Simulated Annealing Beats Metropolis in Combinatorial Optimization. | Ingo Wegener |
| 2005 | On Round-Efficient Argument Systems. | Hoeteck Wee |
| 2005 | Holographic Circuits. | Leslie G. Valiant |
| 2005 | Hierarchical Group Signatures. | Mrten Trolin, Douglas Wikstrm |
| 2005 | Restricted Two-Variable Sentences, Circuits and Communication Complexity. | Pascal Tesson, Denis Thrien |
| 2005 | Computational Bounds on Hierarchical Data Processing with Applications to Information Security. | Roberto Tamassia, Nikos Triandopoulos |
| 2005 | All Quantum Adversary Methods Are Equivalent. | Robert Spalek, Mario Szegedy |
| 2005 | Replacement Paths and | Liam Roditty, Uri Zwick |
| 2005 | Deterministic Constructions of Approximate Distance Oracles and Spanners. | Liam Roditty, Mikkel Thorup, Uri Zwick |
| 2005 | About Hoare Logics for Higher-Order Store. | Bernhard Reus, Thomas Streicher |
| 2005 | On the Power of Random Bases in Fourier Sampling: Hidden Subgroup Problem in the Heisenberg Group. | Jaikumar Radhakrishnan, Martin Rtteler, Pranab Sen |
| 2005 | Semantic-Based Code Obfuscation by Abstract Interpretation. | Mila Dalla Preda, Roberto Giacobazzi |
| 2005 | Up-to Techniques for Weak Bisimulation. | Damien Pous |
| 2005 | Single-Prover Concurrent Zero Knowledge in Almost Constant Rounds. | Giuseppe Persiano, Ivan Visconti |
| 2005 | Approximation Algorithms for the Max-coloring Problem. | Sriram V. Pemmaraju, Rajiv Raman |