| 1983 | The Provision of Security for User Data on Packet Switched Networks. | Derek Barnes |
| 1983 | An Approach to Indentification of Minimum TCB Requirements for Various Threat/Risk Environments. | James P. Anderson |
| 1982 | Shared Database Access using Composed Encryption Functions. | Neal R. Wagner |
| 1982 | Privacy Protection in the 1980s. | Rein Turn |
| 1982 | Specification-to-Code Correlation. | Jane Solomon |
| 1982 | Forward Search as a Cryptanalytic Tool Against a Public Key. | Gustavus J. Simmons, Diane B. Holdridge |
| 1982 | A Multilevel Secure Local Area Network. | Deepinder P. Sidhu, Morrie Gasser |
| 1982 | Specification of Key Distribution Protocols for Networks. | Deepinder P. Sidhu |
| 1982 | A Software Protection Scheme. | George B. Purdy, Gustavus J. Simmons, James Studier |
| 1982 | Kernel Isolation for the PDP-11/70. | Jonathan K. Millen |
| 1982 | Non-Discretionery Controls for Commercial Applications. | Steven B. Lipner |
| 1982 | Precise Information Flow Analysis by Program Verification. | Christopher Landauer, Stephen D. Crocker |
| 1982 | A Practical Approach to Identifying Storage and Timing Channels. | Richard A. Kemmerer |
| 1982 | A Practical Executive for Secure Communications. | Gary Grossman |
| 1982 | A Preliminary Neval Surveillance OBMS Sacurity. | Richard D. Graubart, John P. L. Woodward |
| 1982 | Security Policies and Security Models. | Joseph A. Goguen, Jos Meseguer |
| 1982 | Protection in the OSKAR Operating System: Goals, Concepts, Conseqeuences. | Klaus R. Dittrich, Karlheinz Hug, Peter Kammerer, Dieter Lienert, Hans Mau, Klaus Wachsmuth |
| 1982 | Memoryless Inference Controls for Statistical Databases. | Dorothy E. Denning, Jan Schlrer, Elisabeth Wehrle |
| 1982 | Cryptographic Relational Algebra. | George I. Davida, Yi-Shiung Yeh |
| 1982 | Pooling, Splitting, and Restituting Information to Overcome Total Failure of Some Channels of Communication. | C. A. Asmuth, G. R. Blakley |
| 1982 | Accelerating Computer Security Innovation. | James P. Anderson |
| 1982 | Digital Signitures with Blindfolded Arbitrators Who Cannot Form Alliances. | Selim G. Akl |
| 1981 | Hierarchical Protection Systems. | Margaret S. Wu |
| 1981 | Future Applications of Cryptography. | Charles Cresson Wood |
| 1981 | Trusted Computer Systems. | Peter S. Tasker |