Detecting Fault Injection Attacks with Runtime Verification. - Ali Kassem 004; Yliès Falcone (SPRO@CCS, 2019)

BISM: Bytecode-Level Instrumentation for Software Monitoring. - Chukri Soueidi; Ali Kassem 004; Yliès Falcone (RV, 2020)

Efficient and Expressive Bytecode-Level Instrumentation for Java Programs. - Chukri Soueidi; Marius Monnier; Ali Kassem 004; Yliès Falcone (CoRR, 2021)