Publications

CuriOS: Improving Reliability through Operating System Structure, David, Francis M., Chan Ellick M., Carlyle Jeffrey C., and Campbell Roy H. , USENIX Symposium on Operating Systems Design and Implementation (OSDI), December, 2008, p.59-72, (2008)

Cloaker: Hardware Supported Rootkit Concealment, David, Francis M., Chan Ellick M., Carlyle Jeffrey C., and Campbell Roy H. , IEEE Symposium on Security and Privacy, (2008)

Cloaker: Hardware Supported Rootkit Concealment, David, Francis M., Chan Ellick M., Carlyle Jeffrey C., and Campbell Roy H. , Proceedings of the IEEE Symposium on Security and Privacy, Oakland, CA, p.296--310, (2008)

Improving Dependability by Revisiting Operating System Design, David, Francis M., Carlyle Jeffrey C., Chan Ellick M., Reames Philip A., and Campbell Roy H. , 3rd Workshop on Hot Topics in Dependability (HotDep'07), June, Edinburgh, UK, p.58-73, (2007)

iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support, Tan, Lin, Chan Ellick M., Farivar Reza, Mallick Nevedita, Carlyle Jeffrey C., David Francis M., and Campbell Roy H. , 3rd IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC'07), Columbia, MD, p.134--142, (2007)

Supporting Adaptive Application Mobility, David, Francis M., Donkervoet Bill, Carlyle Jeffrey C., Chan Ellick M., and Campbell Roy H. , 2nd International Workshop on Pervasive Systems (PerSys’07), On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, Volume 4806/2007, Vilamoura, Portugal, p.896-905, (2007)

Exception Handling in the Choices Operating System, David, Francis M., Carlyle Jeffrey C., Chan Ellick M., Raila David K., and Campbell Roy H. , Lecture Notes in Computer Science, Volume Advanced Topics in Excep, New York, NY, USA, p.42--61, (2006)