BLAZY, Sandrine, PICHARDIE, David und TRIEU, Alix, 2019. Verifying constant-time implementations by abstract interpretation. Journal of Computer Security. 1 Januar 2019. Vol. 27, no. 1, p. 137-163. DOI 10.3233/JCS-181136.
Elsevier - Harvard (with titles)Blazy, S., Pichardie, D., Trieu, A., 2019. Verifying constant-time implementations by abstract interpretation. Journal of Computer Security 27, 137-163. https://doi.org/10.3233/JCS-181136
American Psychological Association 7th editionBlazy, S., Pichardie, D., & Trieu, A. (2019). Verifying constant-time implementations by abstract interpretation. Journal of Computer Security, 27(1), 137-163. https://doi.org/10.3233/JCS-181136
Springer - Basic (author-date)Blazy S, Pichardie D, Trieu A (2019) Verifying constant-time implementations by abstract interpretation.. Journal of Computer Security 27:137-163. https://doi.org/10.3233/JCS-181136
Juristische Zitierweise (Stüber) (Deutsch)Blazy, Sandrine/ Pichardie, David/ Trieu, Alix, Verifying constant-time implementations by abstract interpretation., Journal of Computer Security 2019, 137-163.