PV1 SCInferdetermines whether nodes of a cryptographic program are perfectly masked

A tool to verify masking countermeasures.

Application domain/field

Expected input

Expected output

The map indicates per node (in the data dependency graph (DDG) of the program) whether it is perfectly masked (SID), not perfectly masked (NPM) or unknown (UKD).

Internals

Uses Z3.
Security

Links

Author's webpage with link to the VM and source code: https://faculty.sist.shanghaitech.edu.cn/faculty/songfu/

Related papers

https://doi.org/10.1007/978-3-319-96142-2_12 (CAV '18)

Last publication date

18 July 2018

ProVerB specific

View/edit source (Markdown)



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