@inproceedings{schaub:hal-02300786, TITLE = {{STAnalyzer: A simple static analysis tool for detecting cache-timing leakages}}, AUTHOR = {Schaub, Alexander and Rioul, Olivier and Guilley, Sylvain}, URL = {https://telecom-paris.hal.science/hal-02300786}, BOOKTITLE = {{17th International Workshop on Cryptographic Architectures Embedded in Logic Devices (CryptArchi 2019)}}, ADDRESS = {Prague, Czech Republic}, YEAR = {2019}, MONTH = Jun, HAL_ID = {hal-02300786}, HAL_VERSION = {v1}, }