@inproceedings{takarabt:hal-02287930, TITLE = {{Pre-Silicon Embedded System Evaluation as new EDA for Security Verification}}, AUTHOR = {Takarabt, Sofiane and Chibani, Kais and Souissi, Youssef and Sauvage, Laurent and Guilley, Sylvain and Facon, Adrien and Mathieu, Yves}, URL = {https://telecom-paris.hal.science/hal-02287930}, BOOKTITLE = {{International Verification and Security Workshop (IVSW)}}, ADDRESS = {Platja d'Aro, Spain}, HAL_LOCAL_REFERENCE = {LS:IVSW-18}, YEAR = {2018}, MONTH = Jun, HAL_ID = {hal-02287930}, HAL_VERSION = {v1}, }