Johannes Haring

Dipl.-Ing. BSc

Formal Methods, Research Staff

Johannes Haring

Publications

Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches

Haring J., Hadzic V., Bloem R.
IACR Transactions on Cryptographic Hardware and Embedded Systems, Vol. 2024(4), 110-132

More Publications