Formal Fault Injection in Digital Blocks with Mined Assertions.

Damiano Zuccal, Paul Breuil, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory

Browse the full MEMOCODE paper archive.