Ali Kassem
Ali Kassem
Verifierad e-postadress på polytechnique.edu
TitelCiteras avÅr
Efficient neural chaotic generator for image encryption
A Kassem, HAH Hassan, Y Harkouss, R Assaf
Digital Signal Processing 25, 266-274, 2014
232014
A framework for analyzing verifiability in traditional and electronic exams
J Dreier, R Giustolisi, A Kassem, P Lafourcade, G Lenzini
International Conference on Information Security Practice and Experience …, 2015
192015
Formal analysis of electronic exams
J Dreier, R Giustolisi, A Kassem, P Lafourcade, G Lenzini, PYA Ryan
2014 11th International Conference on Security and Cryptography (SECRYPT), 1-12, 2014
152014
Formal analysis of e-cash protocols
J Dreier, A Kassem, P Lafourcade
2015 12th International Joint Conference on e-Business and …, 2015
142015
Monitoring electronic exams
A Kassem, Y Falcone, P Lafourcade
Runtime Verification, 118-135, 2015
112015
On the verifiability of (electronic) exams
J Dreier, R Giustolisi, A Kassem, P Lafourcade, G Lenzini
Technical Report TR-2014-2, Verimag, 2014
82014
Decentralized voting platform based on ethereum blockchain
D Khoury, EF Kfoury, A Kassem, H Harb
2018 IEEE International Multidisciplinary Conference on Engineering …, 2018
72018
The pitfalls of hashing for privacy
L Demir, A Kumar, M Cunche, C Lauradoux
IEEE Communications Surveys & Tutorials 20 (1), 551-565, 2017
72017
Formal analysis and offline monitoring of electronic exams
A Kassem, Y Falcone, P Lafourcade
Formal Methods in System Design 51 (1), 117-153, 2017
52017
New chaotic image encryption technique
HAH Hassan, A Kassem, Y Harkouss, R Assaf, S El Assad
2012 Symposium on Broadband Networks and Fast Internet (RELABIRA), 103-108, 2012
42012
Automated verification of e-cash protocols
J Dreier, A Kassem, P Lafourcade
International Conference on E-Business and Telecommunications, 223-244, 2015
22015
Formal verification of e-reputation protocols
A Kassem, P Lafourcade, Y Lakhnech
International Symposium on Foundations and Practice of Security, 247-261, 2014
22014
Formal security analysis of traditional and electronic exams
J Dreier, R Giustolisi, A Kassem, P Lafourcade, G Lenzini, PYA Ryan
International Conference on E-Business and Telecommunications, 294-318, 2014
12014
A more realistic model for verifying route validity in ad-hoc networks
A Kassem, P Lafourcade, Y Lakhnech
International Symposium on Foundations and Practice of Security, 306-322, 2013
12013
Multiple independent lazy intruders
A Kassem, P Lafourcade, Y Lakhnech, S Mödersheim
1st Workshop on Hot Issues in Security Principles and Trust (HotSpot 2013), 2013
12013
Detecting Fault Injection Attacks with Runtime Verification
A Kassem, Y Falcone
arXiv preprint arXiv:1907.03309, 2019
2019
Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets
A Kassem, G Acs, C Castelluccia, C Palamidessi
2019 IEEE Security and Privacy Workshops (SPW), 72-79, 2019
2019
Differential Inference Testing A Practical Approach to Evaluate Anonymized Data
A Kassem, G Acs, C Castelluccia, C Palamidessi
2018
Trading Optimality for Performance in Location Privacy
K Chatzikokolakis, S Haddad, A Kassem, C Palamidessi
arXiv preprint arXiv:1710.05524, 2017
2017
Automated Verification of Exam, Cash, aa Reputation, and Routing Protocols
A Kassem
Grenoble Alpes, 2015
2015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20