4 citations · 4 across the 2 of their papers we have counts for
3 papers
Function synthesis for maximizing model counting
Thomas Vigouroux, Marius Bozga, Cristian Ene +1
Given a boolean formula (X, Y, Z), the Max\#SAT problem asks for finding a partial model on the set of variables X, maximizing its number of projected models over the set of var…
A tool assisted methodology to harden programs against multi-faults injections
Etienne Boespflug, Abderrahmane Bouguern, Laurent Mounier +1
Fault attacks consist in changing the program behavior by injecting faults at run-time in order to break some expected security properties. Applications are hardened against fault…
BAXMC: a CEGAR approach to Max#SAT
Thomas Vigouroux, Cristian Ene, David Monniaux +2
Max#SAT is an important problem with multiple applications in security and program synthesis that is proven hard to solve. It is defined as: given a parameterized quantifier-free p…