research
∙
09/16/2023
A Categorical Framework for Program Semantics and Semantic Abstraction
Categorical semantics of type theories are often characterized as struct...
share
research
∙
01/18/2023
Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Symbolic execution is a program analysis technique commonly utilized to ...
research
∙
08/22/2022
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
We present a static analysis for discovering differentiable or more gene...
research
∙
11/30/2020
No Crash, No Exploit: Automated Verification of Embedded Kernels
The kernel is the most safety- and security-critical component of many c...
research
∙
06/12/2020
On Correctness of Automatic Differentiation for Non-Differentiable Functions
Differentiation lies at the core of many machine-learning algorithms, an...
research
∙
03/19/2020
Automatically Proving Microkernels Free from Privilege Escalation from their Executable
Operating system kernels are the security keystone of most computer syst...
research
∙
07/20/2019