6 citations · 6 across the 1 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2019★ 6 cited
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…
cs.CR2017
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…