Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: author exact 0DAAEA54-F0EE-11E1-A9DE-61C894A0A6B4 or (type any "bookEditor journalEditor issueEdi... cql: keyword exact "formal proof" Add to list Conference Paper C1 open access Efficient design and evaluation of countermeasures against fault attacks using formal verification Lucien Goubet, Karine Heydemann, Emmanuelle Encrenaz and Ronald De Keulenaer (2016) LECTURE NOTES IN COMPUTER SCIENCE. 9514. p.177-192