Ali Kassem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2014–2020
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | RV | BISM: Bytecode-Level Instrumentation for Software Monitoring. | Chukri Soueidi, Ali Kassem, Ylis Falcone |
| 2019 | CCS | Detecting Fault Injection Attacks with Runtime Verification. | Ali Kassem, Ylis Falcone |
| 2019 | SP | Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets. | Ali Kassem, Gergely cs, Claude Castelluccia, Catuscia Palamidessi |
| 2015 | ISPEC | A Framework for Analyzing Verifiability in Traditional and Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini |
| 2015 | RV | Monitoring Electronic Exams. | Ali Kassem, Ylis Falcone, Pascal Lafourcade |
| 2015 | SECRYPT | Formal Analysis of E-Cash Protocols. | Jannik Dreier, Ali Kassem, Pascal Lafourcade |
| 2014 | SECRYPT | Formal Analysis of Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan |