... to the Secure Systems Laboratory at Stony Brook. Our research is focused on Software and System Security. It draws upon research in programming languages and compilers, operating systems, algorithms, networks, and artificial intelligence to address problems such as:
You may also want to visit our education page for a description of courses and specializations related to security.
We gratefully acknowledge the support for our research from the National Science Foundation (NSF), Office of Naval Research (ONR), Air Force Office of Scientific Research (AFOSR), Defense Advanced Research Projects Agency (DARPA), State of New York, and CA.