Mustafa A. Mustafa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2016–2023
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CAV | Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. | Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2023 | ICSE | AIREPAIR: A Repair Platform for Neural Networks. | Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2023 | PERCOM | Analysis of Accelerometer Data for Personalised Mood Detection in Activities of Daily Living. | Yulith V. Altamirano-Flores, Alexandros Konios, Irvin Hussein Lpez-Nava, Matias Garcia-Constantino, Idongesit Ekerete, Mustafa A. Mustafa |
| 2023 | SEFM | QNNRepair: Quantized Neural Network Repair. | Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro |
| 2022 | AAAI | EnnCore: End-to-End Conceptual Guarding of Neural Architectures. | Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, Andr Freitas, Gavin Brown, Mikel Lujn, Xiaowei Huang, Lucas C. Cordeiro |
| 2021 | DCOSS | Fostering Energy Transition in Smart Cities: DLTs for Peer-to-Peer Electricity Trading. | Mehdi Montakhabi, Shenja van der Graaf, Akash Madhusudan, Roozbeh Sarenche, Mustafa A. Mustafa |
| 2020 | DCOSS | Sharing Beyond Peer-to-peer Trading: Collaborative (Open) Business Models as a Pathway to Smart Circular Economy in Electricity Markets. | Mehdi Montakhabi, Shenja van der Graaf, Pieter Ballon, Mustafa A. Mustafa |
| 2019 | DCOSS | Towards Systematic Specification of Non-Functional Requirements for Sharing Economy Systems. | Iraklis Symeonidis, Jessica Schroers, Mustafa A. Mustafa, Gergely Biczk |
| 2019 | ESORICS | Collaborative Authentication Using Threshold Cryptography. | Aysajan Abidin, Abdelrahaman Aly, Mustafa A. Mustafa |
| 2019 | ICISSP | SC2Share: Smart Contract for Secure Car Sharing. | Akash Madhusudan, Iraklis Symeonidis, Mustafa A. Mustafa, Ren Zhang, Bart Preneel |
| 2017 | ESORICS | SePCAR: A Secure and Privacy-Enhancing Protocol for Car Access Provision. | Iraklis Symeonidis, Abdelrahaman Aly, Mustafa A. Mustafa, Bart Mennink, Siemen Dhooghe, Bart Preneel |
| 2016 | CANS | An MPC-Based Privacy-Preserving Protocol for a Local Electricity Trading Market. | Aysajan Abidin, Abdelrahaman Aly, Sara Cleemput, Mustafa A. Mustafa |
| 2016 | WISTP | An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. | Jan Tobias Mhlberg, Sara Cleemput, Mustafa A. Mustafa, Jo Van Bulck, Bart Preneel, Frank Piessens |