Award Recipient Karl Palmskog KTH Royal Institute of Technology Social website 2024 Amazon Research Award Trustworthy Automatic Verification of Side-Channel Countermeasures for Binary Cryptographic Programs using the HoIBA libary Research topic Cryptography
