PV2 SCHMIT: Side Channel Mitigatorsynthesises a mitigation policy with the highest entropy

Tool for
  1. Side channel discovery
  2. Search for mitigation policy
  3. Policy enforcement

Application domain/field

Internals

Uses Gurobi, Javassist, Scipy

Links

Repository: https://github.com/cuplv/Schmit

Last commit date

12 November 2021

Related papers

https://doi.org/10.1007/978-3-030-25540-4_8 (CAV 2019)

Last publication date

12 July 2019

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.