Formally verified software countermeasures for control-flow...

Computers & Security 2019 / 08 Vol. 85

Formally verified software countermeasures for control-flow integrity of smart card C code

Heydemann, Karine, Lalande, Jean-François, Berthomé, Pascal
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
85
Language:
english
Journal:
Computers & Security
DOI:
10.1016/j.cose.2019.05.004
Date:
August, 2019
File:
PDF, 3.58 MB
english, 2019
Conversion to is in progress
Conversion to is failed