| 2000 | Unwinding Possibilistic Security Properties. | Heiko Mantel |
| 2000 | A Formal Model for Role-Based Access Control Using Graph Transformation. | Manuel Koch, Luigi V. Mancini, Francesco Parisi-Presicce |
| 2000 | A Formal Semantics for SPKI. | Jon Howell, David Kotz |
| 2000 | Secure Anonymous Signature-Based Transactions. | Els Van Herreweghen |
| 2000 | Authentication and Confidentiality via IPSEC. | Joshua D. Guttman, Amy L. Herzog, F. Javier Thayer |
| 2000 | Analysing Time Dependent Security Properties in CSP Using PVS. | Neil Evans, Steve A. Schneider |
| 2000 | A Security Framework for a Mobile Agent System. | Ciarn Bryce |
| 2000 | A Typed Access Control Model for CORBA. | Gerald Brose |
| 2000 | Automating Data Independence. | Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe |
| 2000 | Checking Secure Interactions of Smart Card Applets. | Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon |
| 2000 | Formal Verification of Cardholder Registration in SET. | Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano |
| 1998 | EUROMED-JAVA: Trusted Third Party Services for Securing Medical Java Applets. | Angelos P. Varvitsiotis, Despina Polemi, Andy Marsh |
| 1998 | Byte Code Verification for Java Smart Card Based on Model Checking. | Joachim Posegga, Harald Vogt |
| 1998 | A Flexible Method for Information System Security Policy Specification. | Rodolphe Ortalo |
| 1998 | On the Security of Some Variants of the RSA Signature Scheme. | Markus Michels, Markus Stadler, Hung-Min Sun |
| 1998 | MPEG PTY-Marks: Cheap Detection of Embedded Copyright Data in DVD-Video. | Jean-Paul M. G. Linnartz, Joop Talstra |
| 1998 | The "Ticket" Concept for Copy Control Based on Embedded Signalling. | Jean-Paul M. G. Linnartz |
| 1998 | A Sound Logic for Analysing Electronic Commerce Protocols. | Volker Kessler, Heike Neumann |
| 1998 | Distributed Temporary Pseudonyms: A New Approach for Protecting Location Information in Mobile Communication Networks. | Dogan Kesdogan, Peter Reichl, Klaus Junghrtchen |
| 1998 | Side Channel Cryptanalysis of Product Ciphers. | John Kelsey, Bruce Schneier, David A. Wagner, Chris Hall |
| 1998 | Towards Formalizing the Java Security Architecture of JDK 1.2. | Lora Kassab, Steven J. Greenwald |
| 1998 | Authorization in CORBA Security. | Gnter Karjoth |
| 1998 | A Subjective Metric of Authentication. | Audun Jsang |
| 1998 | Authentication and Payment in Future Mobile Systems. | Gnther Horn, Bart Preneel |
| 1998 | A Mix-Mediated Anonymity Service and Its Payment. | Elke Franz, Anja Jerichow |