6 citations · 6 across the 1 of their papers we have counts for
4 papers
Efficient and Expressive Bytecode-Level Instrumentation for Java Programs
Chukri Soueidi, Marius Monnier, Ali Kassem +1
We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode-level. BISM (Bytecode-Level Instrumentation for Software Monitoring) is a light…
BISM: Bytecode-Level Instrumentation for Software Monitoring
Chukri Soueidi, Ali Kassem, Yliès Falcone
BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentati…
Detecting Fault Injection Attacks with Runtime Verification
Ali Kassem, Yliès Falcone
Fault injections are increasingly used to attack/test secure applications. In this paper, we define formal models of runtime monitors that can detect fault injections that result i…
Trading Optimality for Performance in Location Privacy
Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem +1
Location-Based Services (LBSs) provide invaluable aid in the everyday activities of many individuals, however they also pose serious threats to the user' privacy. There is, therefo…