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