Ali Kassem

14 papers B 1C 3Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2019 — conf
Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets.
IEEE Symposium on Security and Privacy Workshops
Ali Kassem, Gergely Ács, Claude Castelluccia, Catuscia Palamidessi
2017 J jnl
Formal analysis and offline monitoring of electronic exams.
Formal Methods Syst. Des.
Ali Kassem, Yliès Falcone, Pascal Lafourcade
2017 — conf
Trading Optimality for Performance in Location Privacy.
VALUETOOLS
Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
2017 J jnl
Trading Optimality for Performance in Location Privacy.
CoRR
Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
2015 C conf
A Framework for Analyzing Verifiability in Traditional and Electronic Exams.
ISPEC
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini
2015 — conf
Automated Verification of e-Cash Protocols.
ICETE (Selected Papers)
Jannik Dreier, Ali Kassem, Pascal Lafourcade
2015 C conf
Formal Analysis of E-Cash Protocols.
SECRYPT
Jannik Dreier, Ali Kassem, Pascal Lafourcade
2015 B conf
Monitoring Electronic Exams.
RV
Ali Kassem, Yliès Falcone, Pascal Lafourcade
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
2014 J jnl
Efficient neural chaotic generator for image encryption.
Digit. Signal Process.
Ali Kassem, Hussein Al Haj Hassan, Youssef Harkouss, Rima Assaf
2014 C conf
Formal Analysis of Electronic Exams.
SECRYPT
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
2014 — conf
Formal Security Analysis of Traditional and Electronic Exams.
ICETE (Selected Papers)
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
2014 — conf
Formal Verification of e-Reputation Protocols.
FPS
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech
2013 — conf
A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks.
FPS
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech