Jason Kramer

Jason Kramer is a security researcher at ObjectSecurity, where he is dedicated to advancing the state of the art in binary vulnerability analysis, and secure and robust AI. With a bachelor's degree in computer science from San Diego State University, he is focused on ensuring trust, security, privacy, bias, and robustness of AI/ML models. Jason has led the development efforts of a commercial solution for the detection and repair of vulnerabilities in deep learning systems. His passion for improving the field has driven him to push the boundaries of what is possible and make a meaningful impact in the fields of cybersecurity and AI.


Session

04-28
16:00
45min
Beyond SAST: Advancing Vulnerability Detection with Symbolic Execution
Jason Kramer, Ulrich Lang

Static analysis is crucial but limited in detecting vulnerabilities tied to dynamic data and runtime behavior. This session introduces symbolic execution to extend SAST’s capabilities, showcasing how symbolic execution improves vulnerability detection through symbolic execution, illustrated with real-world examples and demonstrations.

TALK
MAIN TRACK