Pages that link to "Item:Q6039400"

The following pages link to \textsc{SCInfer}: refinement-based verification of software countermeasures against side-channel attacks (Q6039400):

Displaying 3 items.

• Succinct Diophantine-satisfiability arguments (Q2691605) (← links)
• SILVER -- statistical independence and leakage verification (Q2692368) (← links)
• Parametric Timed Model Checking for Guaranteeing Timed Opacity (Q3297588) (← links)