Carl Landwehr
Pesquisador americano do Naval Research Laboratory que escreveu dois dos levantamentos mais citados da história inicial da segurança computacional.
"Formal Models for Computer Security", publicado na ACM Computing Surveys em 1981, reuniu num único texto o estado da arte dos modelos formais de segurança, numa época em que os conceitos ainda estavam se assentando. Durante anos, serviu de introdução a toda a área.
Em 1994 veio "A Taxonomy of Computer Program Security Flaws", escrito com colegas do NRL, que classificava vulnerabilidades reais por como entraram, quando e em que parte do sistema — uma das primeiras tentativas de transformar a caça a bugs em algo contável. A ideia sobrevive em catálogos como o CWE, ainda que hoje ninguém cite o artigo de passagem. Landwehr trabalhou depois no financiamento de pesquisa em segurança na National Science Foundation dos EUA.