David Naumann
University/Research Lab: Stevens Institute of Technology
Location: (Hoboken, New Jersey)
Personal Research Web Page: http://www.cs.stevens.edu/~naumann/
Keywords: program verification, verification methodology, semantics, static analysis, program transformation, refinement, correct by construction, security, information flow, mobile applications, ad hoc networks, software engineering
Location: (Hoboken, New Jersey)
Personal Research Web Page: http://www.cs.stevens.edu/~naumann/
Keywords: program verification, verification methodology, semantics, static analysis, program transformation, refinement, correct by construction, security, information flow, mobile applications, ad hoc networks, software engineering
Posted on: Thursday, May 5th, 2011
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Programming Languages / Compilers
Research Interests:
Formal methods in general and software security in particular, including: ad hoc network and mobile application security; fine-grained confidentiality/integrity policies integrated with access control; program analysis, verification, and transformation; correctness by construction, refinement and refactoring; methodology for formal specification of system components.
Contact Information:
naumann@cs.stevens.edu
