Hardware Security Leak Detection by Symbolic Simulation

Bar Kama, Neta; Kaivola, Roope

doi:10.34727/2021/isbn.978-3-85448-046-4_11

Record link:

http://hdl.handle.net/20.500.12708/18624
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_11

Title:

Hardware Security Leak Detection by Symbolic Simulation

Citation:

Bar Kama, N., & Kaivola, R. (2021). Hardware Security Leak Detection by Symbolic Simulation. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 34–41). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_11

reposiTUm DOI:

10.34727/2021/isbn.978-3-85448-046-4_11

CatalogPlus:

AC17204403

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Bar Kama, Neta
Kaivola, Roope

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering