research
∙
05/17/2023
Function synthesis for maximizing model counting
Given a boolean formula Φ(X, Y, Z), the Max#SAT problem asks for finding...
share
research
∙
03/03/2023
A tool assisted methodology to harden programs against multi-faults injections
Fault attacks consist in changing the program behavior by injecting faul...
research
∙
11/02/2022
BAXMC: a CEGAR approach to Max#SAT
Max#SAT is an important problem with multiple applications in security a...
research
∙
02/15/2021
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
Inline assembly is still a common practice in low-level C programming, t...
research
∙
09/20/2019
Output-sensitive Information flow analysis
Constant-time programming is a countermeasure to prevent cache based att...
research
∙
03/15/2019