Publications

Nick Roessler, Lucas Atayde, Imani Palmer, Derrick McKee, Jai Pandey, Vasileios P. Kemerlis, Mathias Payer, Adam Bates, Jonathan M. Smith, André DeHon, Nathan Dautenhahn (2021). μSCOPE: A Methodology for Analyzing Least-Privilege Compartmentalization in Large Software Artifacts. In RAID ‘21.

Nick Roessler, André DeHon (2021). SCALPEL: Exploring the Limits of Tag-enforced Compartmentalization. In J. Emerg. Technol. Comput. Syst..

Joel Hypolite, John Sonchack, Shlomo Hershkop, Nathan Dautenhahn, André DeHon, Jonathan M. Smith (2020). DeepMatch: practical deep packet inspection in the data plane using network processors. In CoNEXT ‘20.

Nick Roessler, André DeHon (2018). Protecting the Stack with Metadata Policies and Tagged Hardware. In IEEE S&P ‘18.

PDF Cite Video DOI

Gregory T. Sullivan, André DeHon, Steven Milburn, Eli Boling, Marco Ciaffi, Jothy Rosenberg, Andrew Sutherland (2017). The Dover inherently secure processor. In IEEE HST ‘17.

Udit Dhawan, Catalin Hritcu, Nikos Vasilakis, Raphael Rubin, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight, Jr., Benjamin C. Pierce, André DeHon (2015). Architectural Support for Software-Defined Metadata Processing. In ASPLOS ‘15’.

Albert Kwon, Kaiyu Zhang, Perk Lun Lim, Yuchen Pan, Jonathan M. Smith, André DeHon (2014). RotoRouter: Router Support for Endpoint-Authorized Decentralized Traffic Filtering to Prevent DoS Attacks. In FPT ‘14.

Arthur Azevedo De Amorim, Nathan Collins, André DeHon, Delphine Demange, Cătălin Hriţcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach (2014). A verified information-flow architecture. In POPL ‘14.

Albert Kwon, Udit Dhawan, Jonathan M. Smith, Thomas F. Knight, Jr., André DeHon (2013). Low-Fat Pointers: Compact Encoding and Efficient Gate-Level Implementation of Fat Pointers for Spatial Safety and Capability-based Security. In CCS 2013.