search

ASSERT-KTH / xPerturb

perturbation analysis, correctness attraction and randomization, by KTH Royal Institute of Technology
https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf
7 stars 5 forks source link

related work on side-channel and crypo implementation analysis #12

Open monperrus opened 5 years ago

monperrus commented 5 years ago

Fully Automated Differential Fault Analysis on Software Implementations of Cryptographic Algorithms. https://eprint.iacr.org/2018/545.pdf

monperrus commented 5 years ago

Mitigating Power Side Channels during Compilation https://arxiv.org/pdf/1902.09099.pdf

monperrus commented 5 years ago

Program analysis of cryptographic implementations for security http://people.cs.vt.edu/danfeng/papers/Crypto-Program-Analysis-SecDev-2017-Yao.pdf