119 citations · 468 across the 38 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CR2021
Proving SIFA Protection of Masked Redundant Circuits
Vedad Hadzic, Robert Primas, Roderick Bloem
Implementation attacks like side-channel and fault attacks pose a considerable threat to cryptographic devices that are physically accessible by an attacker. As a consequence, devi…
cs.LO2021
TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
Stefan Pranger, Bettina Könighofer, Lukas Posch +1
We present Tempest, a synthesis tool to automatically create correct-by-construction reactive systems and shields from qualitative or quantitative specifications in probabilistic e…