%0 Conference Paper %1 conf/fmcad/KamaK21 %A Kama, Neta Bar %A Kaivola, Roope %B FMCAD %D 2021 %I IEEE %K dblp %P 34-41 %T Hardware Security Leak Detection by Symbolic Simulation. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#KamaK21 %@ 978-3-85448-046-4

@inproceedings{conf/fmcad/KamaK21, added-at = {2021-12-07T00:00:00.000+0100}, author = {Kama, Neta Bar and Kaivola, Roope}, biburl = {https://www.bibsonomy.org/bibtex/2778537f8b319c6b01e66f1757ee47602/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2021}, ee = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_11}, interhash = {425f51155acb658c94a9f41a8e414e05}, intrahash = {778537f8b319c6b01e66f1757ee47602}, isbn = {978-3-85448-046-4}, keywords = {dblp}, pages = {34-41}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {Hardware Security Leak Detection by Symbolic Simulation.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#KamaK21}, year = 2021 }