Domain-Oriented Masking: Generically Masked Hardware Implementations

An ever-growing number of devices are threatened by low-cost Side-Channel Analysis (SCA) attacks and therefore require efficient protection mechanisms. Masking provides a high level of resistance against SCA at an adjustable level of security. A high level of SCA resistance, however, goes hand in hand with an increasing demand for chip area and fresh randomness which drastically increases the overall implementation costs. In this thesis, we investigate efficient ways to protect security-sensitive hardware implementations against SCA by means of Boolean masking, and show formal methods to prove the security claims of our masked hardware implementations.