Raksha

Publications

• "Metadata Consistency in Multiprocessor Systems", Hari Kannan. Proceedings of the 42nd International Symposium on Microarchitecture, New York City, NY, December 2009 (to appear).

• "Nemesis: Preventing Authentication & Access Control Vulnerabilities in Web Applications," Michael Dalton, Christos Kozyrakis, Nickolai Zeldovich. Proceedings of the 18th Usenix Security Symposium, Montreal, Canada, August 2009.

• "Decoupling Dynamic Information Flow Tracking with a Dedicated Coprocessor", Hari Kannan, Michael Dalton, Christos Kozyrakis, Proceedings of the 39th Intl. Conference on Dependable Systems and Networks, Estoril, Portugal, July 2009 (to appear).

• "Real-World Buffer Overflow Protection for Userspace and Kernelspace", Michael Dalton, Hari Kannan, Christos Kozyrakis, Proceedings of the 17th Usenix Security Symposium, San Jose, CA, July 2008.

• "Architecture Support for Software Security", Hari Kannan, Michael Dalton, Christos Kozyrakis, Proceedings of the 4th IBM PAC2 Conference, Yorktown Heights, NY, March 2008 (Invited).

• "Thread-Safe Binary Translation Using Transactional Memory", JaeWoong Chung, Michael Dalton, Hari Kannan, Christos Kozyrakis, Proceedings of the 14th Intl. Symposium on High-Performance Computer Architecture (HPCA), Salt Lake City, UT, February 2008.

• "Raksha: A Flexible Architecture for Software Security", Hari Kannan, Michael Dalton, Christos Kozyrakis, Technical Record of the 19th Hot Chips Symposium, Palo Alto, CA, August 2007.

• "Raksha: A Flexible Information Flow Architecture for Software Security", Michael Dalton, Hari Kannan, Christos Kozyrakis, Proceedings of the 34th Intl. Symposium on Computer Architecture (ISCA), San Diego, CA, June 2007.

• "Deconstructing Hardware Architectures for Security", Michael Dalton, Hari Kannan, Christos Kozyrakis, 5th Annual Workshop on Duplicating, Deconstructing, and Debunking (WDDD) at ISCA, Boston, MA, June 2006.

Developers

Raksha in the News