4 citations · 6 across the 3 of their papers we have counts for
4 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…
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…
Output-sensitive Information flow analysis
Cristian Ene, Laurent Mounier, Marie-Laure Potet
Constant-time programming is a countermeasure to prevent cache based attacks where programs should not perform memory accesses that depend on secrets. In some cases this policy can…
Gentzen-Prawitz Natural Deduction as a Teaching Tool
Jean-François Monin, Cristian Ene, Michaël Périn
We report a four-years experiment in teaching reasoning to undergraduate students, ranging from weak to gifted, using Gentzen-Prawitz's style natural deduction. We argue that this…