Treffer: Verifying constant-time implementations by abstract interpretation.
Title:
Verifying constant-time implementations by abstract interpretation.
Authors:
Blazy, Sandrine1 (AUTHOR) sandrine.blazy@irisa.fr, Pichardie, David1 (AUTHOR), Trieu, Alix1 (AUTHOR)
Source:
Journal of Computer Security. 2019, Vol. 27 Issue 1, p137-163. 27p.
Database:
Business Source Ultimate
Weitere Informationen
Der Volltext kann Gästen nicht angezeigt werden. Login für vollen Zugriff.