Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Formal analysis and offline monitoring of electronic exams.

A. Kassem, Y. Falcone, und P. Lafourcade. Formal Methods in System Design, 51 (1): 117-153 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ali Salehi University of Stuttgart

Layal Ali University of Stuttgart

Dr. -Ing. Ali Jamshed University of Stuttgart

Ali Hangi University of Stuttgart

Ali Nakhaee University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Monitoring Electronic Exams.A. Kassem, Y. Falcone, und P. Lafourcade. RV, Volume 9333 von Lecture Notes in Computer Science, Seite 118-135. Springer, (2015)Formal Verification of e-Reputation Protocols.A. Kassem, P. Lafourcade, und Y. Lakhnech. FPS, Volume 8930 von Lecture Notes in Computer Science, Seite 247-261. Springer, (2014)Formal Analysis of E-Cash Protocols.J. Dreier, A. Kassem, und P. Lafourcade. SECRYPT, Seite 65-75. SciTePress, (2015)Efficient neural chaotic generator for image encryption.A. Kassem, H. Hassan, Y. Harkouss, und R. Assaf. Digital Signal Processing, (2014)Assessing testing techniques for resistive-open defects in nanometer CMOS adders.A. Fawaz, A. Jaber, A. Kassem, A. Chehab, und A. Kayssi. ICECS, Seite 165-168. IEEE, (2011)Approximate cycles count in undirected graphs.M. Safar, K. Mahdi, H. Farahat, S. Albehairy, A. Kassem, und K. Alenzi. Int. J. Comput. Intell. Syst., 7 (2): 305-311 (2014)Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets.A. Kassem, G. Ács, C. Castelluccia, und C. Palamidessi. IEEE Symposium on Security and Privacy Workshops, Seite 72-79. IEEE, (2019)Formal Security Analysis of Traditional and Electronic Exams.J. Dreier, R. Giustolisi, A. Kassem, P. Lafourcade, G. Lenzini, und P. Ryan. ICETE (Selected Papers), Volume 554 von Communications in Computer and Information Science, Seite 294-318. Springer, (2014)Trading Optimality for Performance in Location Privacy.K. Chatzikokolakis, S. Haddad, A. Kassem, und C. Palamidessi. VALUETOOLS, Seite 221-222. ACM, (2017)Detecting Fault Injection Attacks with Runtime Verification.A. Kassem, und Y. Falcone. SPRO@CCS, Seite 65-76. ACM, (2019)