HexHive logo

Research overview
In the HexHive group, our research focuses on systems security. Despite efforts and improvements in bug discovery techniques, 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

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.