4 citations · 6 across the 3 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2023
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…
cs.CR2019
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…