EasyChair Smart Slide
SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks
SCInfer: Refinement-based Verification of Software Countermeasures against Side-Channel Attacks