Ali Kassem

According to our database, Ali Kassem authored at least 13 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets.

Ali Kassem, Gergely Ács, Claude Castelluccia, Catuscia Palamidessi

Proceedings of the 2019 IEEE Security and Privacy Workshops, 2019

2017

Formal analysis and offline monitoring of electronic exams.

Ali Kassem, Yliès Falcone, Pascal Lafourcade

Formal Methods Syst. Des., 2017

Trading Optimality for Performance in Location Privacy.

Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

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

PhD thesis, 2015

Formal Analysis of E-Cash Protocols.

Jannik Dreier, Ali Kassem, Pascal Lafourcade

Proceedings of the SECRYPT 2015, 2015

Monitoring Electronic Exams.

Ali Kassem, Yliès Falcone, Pascal Lafourcade

Proceedings of the Runtime Verification - 6th International Conference, 2015

A Framework for Analyzing Verifiability in Traditional and Electronic Exams.

Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini

Proceedings of the Information Security Practice and Experience, 2015

Automated Verification of e-Cash Protocols.

Jannik Dreier, Ali Kassem, Pascal Lafourcade

Proceedings of the E-Business and Telecommunications - 12th International Joint Conference, 2015

2014

Efficient neural chaotic generator for image encryption.

Ali Kassem, Hussein Al Haj Hassan, Youssef Harkouss, Rima Assaf

Digit. Signal Process., 2014

Formal Analysis of Electronic Exams.

Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan

Proceedings of the SECRYPT 2014, 2014

Formal Security Analysis of Traditional and Electronic Exams.

Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan

Proceedings of the E-Business and Telecommunications - 11th International Joint Conference, 2014

Formal Verification of e-Reputation Protocols.

Ali Kassem, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the Foundations and Practice of Security - 7th International Symposium, 2014

2013

A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks.

Ali Kassem, Pascal Lafourcade, Yassine Lakhnech

Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013