| 1994 | Oblivious Signatures. | Lidong Chen |
| 1994 | An Efficient Electronic Payment System Protecting Privacy. | Jan Camenisch, Jean-Marc Piveteau, Markus Stadler |
| 1994 | Distributed File System over a Multilevel Secure Architecture - Problems and Solutions. | Christel Calas |
| 1994 | Designing Secure Key Exchange Protocols. | Colin Boyd, Wenbo Mao |
| 1994 | Decomposition of Multilevel Objects in an Object-Oriented Database. | Nora Boulahia-Cuppens, Frdric Cuppens, Alban Gabillon, Kioumars Yazdanian |
| 1994 | The ESPRIT Project CAFE - High Security Digital Payment Systems. | Jean-Paul Boly, Antoon Bosselaers, Ronald Cramer, Rolf Michelsen, Stig Fr. Mjlsnes, Frank Muller, Torben P. Pedersen, Birgit Pfitzmann, Peter de Rooij, Berry Schoenmakers, Matthias Schunter, Luc Valle, Michael Waidner |
| 1994 | Valuation of Trust in Open Networks. | Thomas Beth, Malte Borcherding, Birgit Klein |
| 1994 | Compile-Time Detection of Information Flow in Sequential Programs. | Jean-Pierre Bantre, Ciarn Bryce, Daniel Le Mtayer |
| 1994 | Liability and Computer Security: Nine Principles. | Ross J. Anderson |
| 1992 | The Development and Testing of the Identity-Based Conference Key Distribution System for the RHODOS Distributed System. | Michael Wang, Andrzej M. Goscinski |
| 1992 | Policy Enforcement in Stub Autonomous Domains. | Gene Tsudik |
| 1992 | Separating the Specification and Implementation Phases in Cryptology. | Marie-Jeanne Toussaint |
| 1992 | Associating Metrics to Certification Paths. | Anas Tarah, Christian Huitema |
| 1992 | Polyinstantation for Cover Stories. | Ravi S. Sandhu, Sushil Jajodia |
| 1992 | Security Constraint Processing in Multilevel Secure AMAC Schemata. | Gnther Pernul |
| 1992 | KryptoKnight Authentication and Key Distribution System. | Refik Molva, Gene Tsudik, Els Van Herreweghen, Stefano Zatti |
| 1992 | Freshness Assurance of Authentication Protocols. | Kwok-Yan Lam, Dieter Gollmann |
| 1992 | Timely Authentication in Distributed Systems. | Kwok-Yan Lam, Thomas Beth |
| 1992 | On the Chinese Wall Model. | Volker Kessler |
| 1992 | Type-Level Access Controls for Distributed Structurally Object-Oriented Database Systems. | Udo Kelter |
| 1992 | On Transaction Processing for Multilevel Secure Replicated Databases. | Iwen E. Kang, Thomas F. Keefe |
| 1992 | Formal Specification of Security Requirements using the Theory of Normative Positions. | Andrew J. I. Jones, Marek J. Sergot |
| 1992 | Formal Methods and Automated Tool for Timing-Channel Identification in TCB Source Code. | Jingsha He, Virgil D. Gligor |
| 1992 | Verification and Modelling of Authentication Protocols. | Ralf C. Hauser, E. Stewart Lee |
| 1992 | ASAX: Software Architecture and Rule-Based Language for Universal Audit Trail Analysis. | Naji Habra, Baudouin Le Charlier, Abdelaziz Mounji, Isabelle Mathieu |