Pearson / IETF Secure Shell Working Group / Richard Sharp3 1 Computer Laboratory / Intel / / /
Event
FDA Phase / /
Facility
University of Cambridge / /
IndustryTerm
software model-checking / Internet services / protocol server / server applications / type systems / /
OperatingSystem
UNIX / BSD / /
Organization
University of Cambridge / CERT Coordination Center / /
Person
Thomas A. Henzinger / Markus Friedl / Rupak Majumdar / Westley Weimer / Ranjit Jhala / George C. Necula / Niels Provos / Gregoire Sutre / Gerard J. Holzmann / Peter Honeyman / Bill Sommerfeld / /