This week at #COSIC, we’ve got two exciting seminars lined up:
"Boolean Functional Synthesis & Cryptography" by Mate Soos (Ethereum Foundation) and "Software Faults Countermeasures" by Aymeric Lelièvre (École Polytechnique):
https://www.esat.kuleuven.be/cosic/?post_type=tribe_events