Research Group The Security of Software Group Group members Publications Research Projects Binary-level reverse engineering Privilege separation via program analysis Parser assurance Past Projects GoNative Modular Control-Flow Integrity Interface Safety in Multilingual Software Foundational Proof-Carrying Code