PV2 ⊧ SCHMIT: Side Channel Mitigatorsynthesises a mitigation policy with the highest entropy
Tool for- Side channel discovery
- Search for mitigation policy
- Policy enforcement
Application domain/field
- Side channel attacks
- Timing side channels
- Information leaks
- Timing leaks
- Security verification