Carl E. Landwehr

Carl E. Landwehr is a computer-security researcher whose work spans formal methods, trustworthy computing, and cybersecurity research leadership. His 1981 ACM Computing Surveys article, Formal Models for Computer Security, surveyed security models and their assumptions at an important formative moment for the field.

Research and public programs

Landwehr's career included research at the Naval Research Laboratory and leadership roles in federal cybersecurity research programs. This combination of technical scholarship and program stewardship made him an important bridge between security theory and sustained public research investment.

Why he belongs in this archive

Security history includes the people who develop methods for reasoning about protection as well as those who test systems. Landwehr's published survey remains a useful record of early formal approaches to computer security.

Timeline

• 1981Publishes Formal Models for Computer Security in ACM Computing Surveys.
• 2001Begins a term directing cybersecurity research programs at the U.S. National Science Foundation.
• 2005Moves into leadership of advanced cybersecurity research programs in the U.S. intelligence-research community.