Home
The HACR Lab (Harnessing Automation in Cybersecurity Reasoning) is a research lab at Montana State University focused on developing novel techniques in program analysis, machine learning, and automated reasoning to address the inherent complexities in cybersecurity tasks such as vulnerability discovery, exploitation, and reverse engineering.
In addition to research, HACR Lab members support and participate on the HackerCats CTF team where they practice offensive computer security techniques.
News
-
The poster “Investigating the Benefits of Composable Emulation: Styx Emulator as a Case Study” is accepted to USENIX Security.
-
The poster “Formalizing Cognitive Biases for Cybersecurity Defenses” is accepted to ACM CCS.
-
The paper “Formalizing Discovery of Weird States and Weird Machine Primitives Using Program Semantics” is accepted to the Workshop on Programming Languages and Analysis for Security (PLAS, co-located with ACM CCS).
-
The HACR Lab joins as a partner to the ACE Institute at Arizona State University using pwn.college for learn2ctf training.