| Decentralized voting platform based on ethereum blockchain D Khoury, EF Kfoury, A Kassem, H Harb 2018 IEEE international multidisciplinary conference on engineering …, 2018 | 135 | 2018 |
| Efficient neural chaotic generator for image encryption A Kassem, HAH Hassan, Y Harkouss, R Assaf Digital Signal Processing 25, 266-274, 2014 | 46 | 2014 |
| Formal analysis of e-cash protocols J Dreier, A Kassem, P Lafourcade 2015 12th International Joint Conference on e-Business and …, 2015 | 31 | 2015 |
| 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 | 27 | 2014 |
| 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 | 25 | 2015 |
| Monitoring electronic exams A Kassem, Y Falcone, P Lafourcade Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 17 | 2015 |
| Efficient and expressive bytecode-level instrumentation for Java programs C Soueidi, M Monnier, Y Falcone International Journal on Software Tools for Technology Transfer 25 (4), 453-479, 2023 | 14 | 2023 |
| BISM: bytecode-level instrumentation for software monitoring C Soueidi, A Kassem, Y Falcone International Conference on Runtime Verification, 323-335, 2020 | 12 | 2020 |
| Detecting fault injection attacks with runtime verification A Kassem, Y Falcone Proceedings of the 3rd ACM Workshop on Software Protection, 65-76, 2019 | 11 | 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 | 11 | 2019 |
| Formal analysis and offline monitoring of electronic exams A Kassem, Y Falcone, P Lafourcade Formal Methods in System Design 51 (1), 117-153, 2017 | 11 | 2017 |
| Water attachment onto size-selected cationic pyrene clusters S Zamith, A Kassem, JM L’Hermite, C Joblin The Journal of Physical Chemistry A 126 (23), 3696-3707, 2022 | 8 | 2022 |
| On the verifiability of (electronic) exams J Dreier, R Giustolisi, A Kassem, P Lafourcade, G Lenzini VERIMAG UMR 5104, Université Grenoble Alpes, France, 2015 | 8 | 2015 |
| 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 | 6 | 2012 |
| Transferrable GaN-based Micro-LED heterostructures grown on h-BN for optogenetic applications TM Tran, A Kassem, V Ottapilakkal, P Vuong, R Gujrati, M Bourras, ... Journal of Crystal Growth 650, 127979, 2025 | 5 | 2025 |
| 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 | 5 | 2014 |
| Novel 2D/3D Heterojunction for UV Light‐Emitting Diodes Using Hexagonal Boron Nitride as Hole Injection Layer A Perepeliuc, R Gujrati, P Vuong, V Ottapilakkal, TM Tran, M Bouras, ... Advanced Photonics Research 6 (2), 2400092, 2025 | 4 | 2025 |
| Transfer of III-nitride epitaxial layers onto pre-patterned silicon substrates for the simple fabrication of free-standing MEMS R Gujrati, A Kassem, C Ayela, F Mathieu, L Nicu, S Sundaram, I Dufour, ... Applied Physics Letters 124 (10), 2024 | 4 | 2024 |
| Formal verification of e-reputation protocols A Kassem, P Lafourcade, Y Lakhnech International Symposium on Foundations and Practice of Security, 247-261, 2014 | 3 | 2014 |
| 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 | 3 | 2013 |
