Bits of Knowledge: Combining Probabilistic and Formal Techniques for Secure and Low-Power Hardware Design - Jansson Valter, Henrik (2025)