6 citations · 6 across the 3 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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…
cs.PL2019
Get rid of inline assembly through verification-oriented lifting
Frédéric Recoules, Sébastien Bardin, Richard Bonichon +2
Formal methods for software development have made great strides in the last two decades, to the point that their application in safety-critical embedded software is an undeniable s…