research
∙
07/05/2021
Proving SIFA Protection of Masked Redundant Circuits
Implementation attacks like side-channel and fault attacks pose a consid...
share
research
∙
07/24/2018
Expansion-Based QBF Solving Without Recursion
In recent years, expansion-based techniques have been shown to be very p...
research
∙
11/04/2016
