Pages that link to "Item:Q6039400"
From MaRDI portal
The following pages link to \textsc{SCInfer}: refinement-based verification of software countermeasures against side-channel attacks (Q6039400):
Displaying 5 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)
- Certifying the fairness of KNN in the presence of dataset bias (Q6535542) (← links)
- Automated verification of correctness for masked arithmetic programs (Q6535686) (← links)
