research
∙
09/11/2023
Incentive-Based Software Security: Fair Micro-Payments for Writing Secure Code
We describe a mechanism to create fair and explainable incentives for so...
share
research
∙
08/04/2023
ExploitFlow, cyber security exploitation routes for Game Theory and AI research in robotics
This paper addresses the prevalent lack of tools to facilitate and empow...
research
∙
09/08/2022
Presentation: SymDefFix – Sound Automatic Repair Using Symbolic Execution
In this presentation, we introduce our constraint-based repair approach,...
research
∙
10/15/2020
alurity, a toolbox for robot cybersecurity
The reuse of technologies and inherent complexity of most robotic system...
research
∙
09/17/2020
