Statically Safe: Proving Security with Semantic Queries
Duration: 00:05:03
Speaker:
Type: Talk
Expertise:
Event: Devcon
Date: Jul 2026
Benjamin Sepanski, Chief Security Officer, Veridise
Security reviewers spend valuable time on monotonous checks for project-specific properties, while static analyzers focus only on generic bugs. Semantic queries bridge this gap by making static analysis customizable to each project.
https://defisecuritysummit.org/schedule
