1. On the Malicious Potential of Xilinx’ Internal Configuration Access Port (ICAP);ACM Transactions on Reconfigurable Technology and Systems;2023-11-17
2. Reachability Analysis of Self Modifying Code;International Journal of Foundations of Computer Science;2023-01-30
3. Parallel computational tree logic model‐checking on pushdown systems;Concurrency and Computation: Practice and Experience;2022-07-13
4. LTL model checking of self modifying code;Formal Methods in System Design;2022-04
5. CTL Model Checking of Self Modifying Code;2020 25th International Conference on Engineering of Complex Computer Systems (ICECCS);2020-10