A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks. - Ali Kassem 001; Pascal Lafourcade 001; Yassine Lakhnech (FPS, 2013)

Formal Verification of e-Reputation Protocols. - Ali Kassem 001; Pascal Lafourcade 001; Yassine Lakhnech (FPS, 2014)

Formal Security Analysis of Traditional and Electronic Exams. - Jannik Dreier; Rosario Giustolisi; Ali Kassem 001; Pascal Lafourcade 001; Gabriele Lenzini; Peter Y. A. Ryan (ICETE (Selected Papers), 2014)

Formal Analysis of Electronic Exams. - Jannik Dreier; Rosario Giustolisi; Ali Kassem 001; Pascal Lafourcade 001; Gabriele Lenzini; Peter Y. A. Ryan (SECRYPT, 2014)

Efficient neural chaotic generator for image encryption. - Ali Kassem 001; Hussein Al Haj Hassan; Youssef Harkouss; Rima Assaf (Digit. Signal Process., 2014)

Automated Verification of e-Cash Protocols. - Jannik Dreier; Ali Kassem 001; Pascal Lafourcade 001 (ICETE (Selected Papers), 2015)

A Framework for Analyzing Verifiability in Traditional and Electronic Exams. - Jannik Dreier; Rosario Giustolisi; Ali Kassem 001; Pascal Lafourcade 001; Gabriele Lenzini (ISPEC, 2015)

Monitoring Electronic Exams. - Ali Kassem 001; Yliès Falcone; Pascal Lafourcade 001 (RV, 2015)

Formal Analysis of E-Cash Protocols. - Jannik Dreier; Ali Kassem 001; Pascal Lafourcade 001 (SECRYPT, 2015)

Vérification automatique de protocoles d'examen, de monnaie, de réputation, et de routage. (Automated Verification of Exam, Cash, aa Reputation, and Routing Protocols). - Ali Kassem 001 (2015)

Trading Optimality for Performance in Location Privacy. - Konstantinos Chatzikokolakis 001; Serge Haddad; Ali Kassem 001; Catuscia Palamidessi (VALUETOOLS, 2017)

Formal analysis and offline monitoring of electronic exams. - Ali Kassem 001; Yliès Falcone; Pascal Lafourcade 001 (Formal Methods Syst. Des., 2017)

Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets. - Ali Kassem 001; Gergely Ács; Claude Castelluccia; Catuscia Palamidessi (IEEE Symposium on Security and Privacy Workshops, 2019)