Postdoctoral Associate
Department of Computer ScienceCornell University
Email: clarkson@cs.cornell.edu
Office: Upson 4124
Office phone: 607-254-6507
Office fax: 607-255-4428
PGP Public Key
The goal of my research is to develop the science of computer security—the systematic knowledge and principles needed to define security requirements and to establish security assurance. Such a science would enable the construction of systems that are proven secure.
