Vesta is a portable software configuration management system. It is targeted to support development of software systems of almost any size, from fairly small (under 10,000 source lines) to very large (10,000,000 source lines). In a previous life, I worked on its configuration control language and interpreter.

Software Engineering--still relevant after a third of a century.

Grand Research Challenges in Information Systems, Computing Research Association, 2002. My position paper.

Four Grand Challenges in Trustworthy Computing, CRA. My position paper.

National Research Council, Computer Science and Telecommunications Board (CSTB) study committee Privacy in the Information Age.

RISKS DIGEST (comp.risks) sponsored by ACM CCPP; an alternate archive (UK).

The PRIVACY Forum, also sponsored by ACM CCPP.

Information Security is not Improving, House Committee on Government Reform, August 29, 2001;  Computer-Related Infrastructure Risks for Federal Agencies, Senate testimony, May 19, 1998.  Both by Peter Neumann.

Cryptography's Role in Securing the Information Society. The "CRISIS report" is the most authoritative study of cryptographic policy ever published. It was prepared in 1996 by a Congressionally-chartered panel of experts convened by the Computer Science and Telecommunications Board of the National Research Council, and is mandatory reading for anyone interested in cryptography, in personal, commercial, or national security, or in privacy and civil liberties. See the USACM Computer Security and Encryption pageand the Electronic Privacy Information Center crypto page for breaking news.

The national impact of computing research (CRA).

The Common Framework Initiative is an open collaborative effort to design a common framework for algebraic specification. It was started by COMPASS (ESPRIT Basic Research WG 6112), in cooperation with IFIP WG 1.3 (Foundations of Systems Specification), but participation is open to all interested researchers.

Larch was a project that included languages and tools for formal specification of digital systems.