Marsh Raymarshray@infosec.exchange
Jul 25, 2025, 9:40 PM@david_chisnall @whitequark @froge Most “formal verification” pays no attention to side channels.
Replies
Jul 26, 2025, 7:17 AMThat is simply not true for formal verification of crypto implementations. Data independent timing is one of the standard properties to verify.