HexHive logo

Research overview
In the HexHive group, our research focuses systems security and the problem that applications will always have some remaining vulnerabilities that may be exploited by an attacker. Under this premise, we focus on compiler-based, runtime-based, and language-based protection mechanisms and security policies that increase the resilience of applications against attacks (in the presence of application vulnerabilities). The current focus of the group, with several active research projects, is enforcing memory safety guarantees and type safety guarantees at the compiler and runtime level. All prototypes are released as open-source.

Keywords
system security, memory safety, type safety, binary exploitation, user-space software-based fault isolation, binary translation, virtualization.

Contact details
E-Mail: mathias.payer@nebelwelt.net or the group mailing list
Office hour: Monday, 15:00 - 16:00, LWSN 3154M

Frequently Asked Questions
Interested in joining the HexHive research group? Read this advice for prospective students and send us an email.
Interested in Capture the Flag? Go check out the b01lers page.