DoSE: Deobfuscation based on Semantic Equivalence. - Ramtine Tofighi-Shirazi; Maria Christofi; Philippe Elbaz-Vincent; Thanh Ha Le (SSPREW@ACSAC, 2018)

Defeating Opaque Predicates Statically through Machine Learning and Binary Analysis. - Ramtine Tofighi-Shirazi; Irina Mariuca Asavoae; Philippe Elbaz-Vincent; Thanh-Ha Le (SPRO@CCS, 2019)

Fine-Grained Static Detection of Obfuscation Transforms Using Ensemble-Learning and Semantic Reasoning. - Ramtine Tofighi-Shirazi; Irina Mariuca Asavoae; Philippe Elbaz-Vincent (CoRR, 2019)

Analysis of obfuscation transformations on binary code. (Evaluation des méthodes d'obscurcissement de binaire). - Ramtine Tofighi-Shirazi (2019)

Hardware Trojan detection via rewriting logic. - Irina Mariuca Asavoae; Ramtine Tofighi-Shirazi; Adrián Riesco 001; Uemura Yasuyoshi (J. Log. Algebraic Methods Program., 2022)