research
∙
07/13/2023
SecureFalcon: The Next Cyber Reasoning System for Cyber Security
Software vulnerabilities leading to various detriments such as crashes, ...
share
research
∙
06/09/2022
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
In this work, we describe and evaluate the first model checker for verif...
research
∙
06/27/2019
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification
The proliferation of Unmanned Aerial Vehicles (UAVs) embedded with vulne...
research
∙
04/11/2017
