|
welcome
I'm currently working on a PhD with the Security Research Group at
the University of Cambridge Computer Laboratory, having spent a
number of years working in industry on a variety of security related research
projects.
My research interests include:
- Concurrency vulnerabilities -- security vulnerabilities rooted in
increasingly available concurrency for operating systems, distributed
systems, and applications.
- Operating system access control, especially as related to application
containment, including capability systems, and the impact of OS security
primitives on the structure of security-aware applications.
- Highly-scalable network stacks running on multiprocessor systems.
Prior to coming to Cambridge, I worked for Trusted Information Systems,
Network Associates Laboratories (TIS Labs, NAI Labs, ..), McAfee Research,
and SPARTA ISSO.
While there I lead a number of network and
operating system security research projects for government and industrial
sponsors, including DARPA, the US Navy, Apple Computer, and others.
Past projects include the TrustedBSD MAC Framework, Mac OS X Audit Subsystem,
adaptations of NSA's FLASK/TE security architecture to FreeBSD (SEBSD) and
Mac OS X/Darwin (SEDarwin), as well as work on DNSSEC, distributed denial of
service, and active networking. Prior to that, during my undergraduate
degree at Carnegie Mellon University, I
worked on model checking to verify operating system security properties, and
the Coda distributed file system.
In addition to my academic work, I'm on the board of directors of the
FreeBSD Foundation, a US-based
non-profit foundation supporting the open source
FreeBSD Project.
I'm an active contributor to the project, working in the areas of
multiprocessor-centric network stacks, operating system security audit,
and mandatory access control.
I'm a member of the FreeBSD Project's elected project management team,
the FreeBSD Core Team, as well as on the release engineerinand security
officer teams.
You can find a list of citations, including specific information on recent
projects, talks, and papers on my personal home page:
Personal Home Page of Robert
Watson
|