Richard Kemmerer
El profesor de UCSB que dio al mundo un método sistemático para buscar canales encubiertos, en lugar de esperar a que alguien tropezara con ellos.
Un canal encubierto filtra información a través de algo que nunca se pensó para comunicar: un archivo que existe o no, una CPU ocupada o libre. La Shared Resource Matrix de Kemmerer, de 1983, enumera cada recurso compartido y qué operaciones pueden leer o modificar cada uno de sus atributos. Cada celda donde una parte escribe y otra lee es una candidata. El método se volvió práctica habitual en las evaluaciones según los criterios del Orange Book estadounidense.
También trabajó en especificación y verificación formal de núcleos de seguridad y protocolos criptográficos, y en el análisis de transición de estados para la detección de intrusiones. En UC Santa Barbara levantó con Giovanni Vigna uno de los grupos de seguridad más productivos del mundo académico.