Mustafa A. Mustafa

80 papers A 1B 5C 2Journal 44Unranked 28
YearRankTypeTitle / Venue / Authors
2026 J jnl
Privacy-Preserving Local Energy Trading Considering Network Fees.
CoRR
Eman Alqahtani, Mustafa A. Mustafa
2026 J jnl
Specification Vibing for Automated Program Repair.
CoRR
Taohong Zhu, Lucas C. Cordeiro, Mustafa A. Mustafa, Youcheng Sun
2025 J jnl
Defending the Edge: Representative-Attention for Mitigating Backdoor Attacks in Federated Learning.
CoRR
Chibueze Peace Obioma, Youcheng Sun, Mustafa A. Mustafa
2025 J jnl
EDGChain-E: A Decentralized Git-Based Framework for Versioning Encrypted Energy Data.
CoRR
Alper Alimoglu, Kamil Erdayandi, Mustafa A. Mustafa, Umit Cali
2024 J jnl
A survey of safety and trustworthiness of large language models through the lens of verification and validation.
Artif. Intell. Rev.
Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa
2024 J jnl
Efficient Privacy-Friendly and Flexible Wearable Data Processing With User-Centric Access Control.
IEEE Access
Khlood Jastaniah, Ning Zhang, Mustafa A. Mustafa
2024 J jnl
Efficient User-Centric Privacy-Friendly and Flexible Wearable Data Aggregation and Sharing.
IEEE Trans. Cloud Comput.
Khlood Jastaniah, Ning Zhang, Mustafa A. Mustafa
2024 J jnl
Fully Privacy-preserving Billing Models for Peer-to-Peer Electricity Trading Markets.
IACR Cryptol. ePrint Arch.
Akash Madhusudan, Mustafa A. Mustafa, Hilder V. L. Pereira, Erik Takke
2024 J jnl
Privacy-Preserving Billing for Local Energy Markets (Long Version).
CoRR
Eman Alqahtani, Mustafa A. Mustafa
2024 J jnl
Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting.
CoRR
Yi Dong, Yingjie Wang, Mariana Gama, Mustafa A. Mustafa, Geert Deconinck, Xiaowei Huang
2024 J jnl
Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting.
IEEE Internet Things J.
Yi Dong, Yingjie Wang, Mariana Gama, Mustafa A. Mustafa, Geert Deconinck, Xiaowei Huang
2024 — conf
Privacy-Preserving Load-Shaping Strategies for Smart Meters using Deep Reinforcement Learning.
ISGT EUROPE
Ruichang Zhang, Kaiyue Wu, Youcheng Sun, Mustafa A. Mustafa
2024 — conf
Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning.
SmartGridComm
Ruichang Zhang, Youcheng Sun, Mustafa A. Mustafa
2024 J jnl
Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning.
CoRR
Ruichang Zhang, Youcheng Sun, Mustafa A. Mustafa
2024 A conf
Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents.
AAMAS
Mengwei Xu, Louise A. Dennis, Mustafa A. Mustafa
2024 J jnl
Synthetic Data Aided Federated Learning Using Foundation Models.
CoRR
Fatima Abacha, Sin G. Teo, Lucas C. Cordeiro, Mustafa A. Mustafa
2024 — conf
Use of Thermal Sensor Data for Personalised Mood Detection in Activities of Daily Living (ADLS).
UCAmI
Alexandros Konios, Matias Garcia-Constantino, Idongesit Ekerete, Mustafa A. Mustafa, Irvin Hussein López-Nava, Yulith V. Altamirano-Flores
2024 — conf
Using Thermal and Contact Sensors for Mood Detection in Smart Living Environments.
PETRA
Matias Garcia-Constantino, Alexandros Konios, Idongesit Ekerete, Mustafa A. Mustafa, Irvin Hussein López-Nava, Yulith V. Altamirano-Flores
2023 J jnl
A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets.
CoRR
Kamil Erdayandi, Lucas C. Cordeiro, Mustafa A. Mustafa
2023 J jnl
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation.
CoRR
Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa
2023 — conf
AIREPAIR: A Repair Platform for Neural Networks.
ICSE Companion
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 — conf
Analysis of Accelerometer Data for Personalised Mood Detection in Activities of Daily Living.
PerCom Workshops
Yulith V. Altamirano-Flores, Alexandros Konios, Irvin Hussein López-Nava, Matias Garcia-Constantino, Idongesit Ekerete, Mustafa A. Mustafa
2023 — conf
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.
FoMLAS@CAV
Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 J jnl
Leveraging blockchain for energy transition in urban contexts.
Big Data Soc.
Mehdi Montakhabi, Akash Madhusudan, Mustafa A. Mustafa, Wim Vanhaverbeke, Esteve Almirall, Shenja van der Graaf
2023 J jnl
Privacy Preserving Billing in Local Energy Markets with Imperfect Bid-Offer Fulfillment (Long Version).
CoRR
Andrei Hutu, Mustafa A. Mustafa
2023 — conf
Privacy Preserving Billing in Local Energy Markets with Imperfect Bid-Offer Fulfillment.
SmartGridComm
Andrei Hutu, Mustafa A. Mustafa
2023 B conf
QNNRepair: Quantized Neural Network Repair.
SEFM
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 J jnl
QNNRepair: Quantized Neural Network Repair.
CoRR
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2023 J jnl
Zone-Based Privacy-Preserving Billing for Local Energy Market Based on Multiparty Computation.
CoRR
Eman Alqahtani, Mustafa A. Mustafa
2023 — conf
Zone-based Privacy-preserving Billing for Local Energy Market based on Multiparty Computation.
SmartGridComm
Eman Alqahtani, Mustafa A. Mustafa
2022 J jnl
AIREPAIR: A Repair Platform for Neural Networks.
CoRR
Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 — conf
Analysis of Accelerometer Data for Personalised Abnormal Behaviour Detection in Activities of Daily Living.
UCAmI
Matias Garcia-Constantino, Alexandros Konios, Irvin Hussein López-Nava, Pierre Pouliet, Idongesit Ekerete, Mustafa A. Mustafa, Chris D. Nugent, Gareth Morrison
2022 — conf
Billing Models for Peer-to-Peer Electricity Trading Markets with Imperfect Bid-Offer Fulfillment.
ISC2
Akash Madhusudan, Fairouz Zobiri, Mustafa A. Mustafa
2022 J jnl
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
IEEE Access
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 J jnl
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
CoRR
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 — conf
Effect of Clustering in Federated Learning on Non-IID Electricity Consumption Prediction.
ISGT-Europe
James S. Nightingale, Yingjie Wang, Fairouz Zobiri, Mustafa A. Mustafa
2022 — conf
EnnCore: End-to-End Conceptual Guarding of Neural Architectures.
SafeAI@AAAI
Edoardo Manino, Danilo S. Carvalho, Yi Dong, Julia Rozanova, Xidan Song, Mustafa A. Mustafa, André Freitas, Gavin Brown, Mikel Luján, Xiaowei Huang, Lucas C. Cordeiro
2022 J jnl
HERMES: Scalable, Secure, and Privacy-Enhancing Vehicular Sharing-Access System.
IEEE Internet Things J.
Iraklis Symeonidis, Dragos Rotaru, Mustafa A. Mustafa, Bart Mennink, Bart Preneel, Panos Papadimitratos
2022 J jnl
PIVOT: Private and Effective Contact Tracing.
IEEE Internet Things J.
Giuseppe Garofalo, Tim Van hamme, Davy Preuveneers, Wouter Joosen, Aysajan Abidin, Mustafa A. Mustafa
2022 — conf
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.
SecDev
Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
2022 — conf
Privacy-Enhancing Settlements Protocol in Peer-to-Peer Energy Trading Markets.
ISGT
Robbie Thandi, Mustafa A. Mustafa
2022 J jnl
Privacy-Friendly Flexible IoT Health Data Processing with User-Centric Access Control.
CoRR
Khlood Jastaniah, Ning Zhang, Mustafa A. Mustafa
2022 J jnl
Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach.
CoRR
Kamil Erdayandi, Amrit Paudel, Lucas C. Cordeiro, Mustafa A. Mustafa
2021 J jnl
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.
CoRR
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes
2021 B conf
Fostering Energy Transition in Smart Cities: DLTs for Peer-to-Peer Electricity Trading.
DCOSS
Mehdi Montakhabi, Shenja van der Graaf, Akash Madhusudan, Roozbeh Sarenche, Mustafa A. Mustafa
2021 J jnl
HERMES: Scalable, Secure, and Privacy-Enhancing Vehicle Access System.
CoRR
Iraklis Symeonidis, Dragos Rotaru, Mustafa A. Mustafa, Bart Mennink, Panos Papadimitratos
2021 J jnl
Impact of Local Energy Markets on the Distribution Systems: A Comprehensive Review.
CoRR
Viktorija Dudjak, Diana Neves, Tarek AlSkaif, Shafi Khadem, Alejandro Pena-Bello, Pietro Saggese, Benjamin Bowler, Merlinda Andoni, Marina Bertolini, Yue Zhou, Blanche Lormeteau, Mustafa A. Mustafa, Yingjie Wang, Christina Francis, Fairouz Zobiri, David Parra, Antonios Papaemmanouil
2021 J jnl
IoT-Based Activities of Daily Living for Abnormal Behavior Detection: Privacy Issues and Potential Countermeasures.
IEEE Internet Things Mag.
Mustafa A. Mustafa, Alexandros Konios, Matias Garcia-Constantino
2020 J jnl
HERMES: Scalable, Secure, and Privacy-Enhancing Vehicle Access System.
IACR Cryptol. ePrint Arch.
Iraklis Symeonidis, Dragos Rotaru, Mustafa A. Mustafa, Bart Mennink, Panos Papadimitratos
2020 B conf
Sharing Beyond Peer-to-peer Trading: Collaborative (Open) Business Models as a Pathway to Smart Circular Economy in Electricity Markets.
DCOSS
Mehdi Montakhabi, Shenja van der Graaf, Pieter Ballon, Mustafa A. Mustafa
2020 J jnl
Striking the Balance: Effective yet Privacy Friendly Contact Tracing.
IACR Cryptol. ePrint Arch.
Giuseppe Garofalo, Tim Van hamme, Davy Preuveneers, Wouter Joosen, Aysajan Abidin, Mustafa A. Mustafa
2020 J jnl
Verifying Software Vulnerabilities in IoT Cryptographic Protocols.
CoRR
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa
2019 J jnl
A Secure and Privacy-Preserving Protocol for Smart Metering Operational Data Collection.
IEEE Trans. Smart Grid
Mustafa A. Mustafa, Sara Cleemput, Abdelrahaman Aly, Aysajan Abidin
2019 — conf
Collaborative Authentication Using Threshold Cryptography.
ETAA@ESORICS
Aysajan Abidin, Abdelrahaman Aly, Mustafa A. Mustafa
2019 — conf
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification.
SIoT
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
2019 J jnl
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification.
CoRR
Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro
2019 C conf
SC2Share: Smart Contract for Secure Car Sharing.
ICISSP
Akash Madhusudan, Iraklis Symeonidis, Mustafa A. Mustafa, Ren Zhang, Bart Preneel
2019 B conf
Towards Systematic Specification of Non-Functional Requirements for Sharing Economy Systems.
DCOSS
Iraklis Symeonidis, Jessica Schroers, Mustafa A. Mustafa, Gergely Biczók
2018 J jnl
A Secure and Privacy-preserving Protocol for Smart Metering Operational Data Collection.
CoRR
Mustafa A. Mustafa, Sara Cleemput, Abdelrahaman Aly, Aysajan Abidin
2018 J jnl
A Secure and Privacy-preserving Protocol for Smart Metering Operational Data Collection.
IACR Cryptol. ePrint Arch.
Mustafa A. Mustafa, Sara Cleemput, Abdelrahaman Aly, Aysajan Abidin
2018 — conf
De-pseudonymization of Smart Metering Data: Analysis and Countermeasures.
GIoTS
Sara Cleemput, Mustafa A. Mustafa, Eduard Marin, Bart Preneel
2018 J jnl
Frictionless Authentication System: Security & Privacy Analysis and Potential Solutions.
CoRR
Mustafa A. Mustafa, Aysajan Abidin, Enrique Argones-Rúa
2018 J jnl
Frictionless Authentication Systems: Emerging Trends, Research Challenges and Opportunities.
CoRR
Tim Van hamme, Vera Rimmer, Davy Preuveneers, Wouter Joosen, Mustafa A. Mustafa, Aysajan Abidin, Enrique Argones-Rúa
2018 J jnl
Secure and Privacy-Friendly Local Electricity Trading and Billing in Smart Grid.
CoRR
Aysajan Abidin, Abdelrahaman Aly, Sara Cleemput, Mustafa A. Mustafa
2017 — conf
An MPC-based protocol for secure and privacy-preserving smart metering.
ISGT Europe
Mustafa A. Mustafa, Sara Cleemput, Abdelrahaman Aly, Aysajan Abidin
2017 J jnl
PePTCAP: A Privacy-enhancing Protocol for(Temporary) Car Access Provision.
IACR Cryptol. ePrint Arch.
Iraklis Symeonidis, Abdelrahaman Aly, Mustafa A. Mustafa, Bart Preneel
2017 — conf
SePCAR: A Secure and Privacy-Enhancing Protocol for Car Access Provision.
ESORICS (2)
Iraklis Symeonidis, Abdelrahaman Aly, Mustafa A. Mustafa, Bart Mennink, Siemen Dhooghe, Bart Preneel
2016 — conf
A Privacy-Preserving Remote Healthcare System Offering End-to-End Security.
ADHOC-NOW
Eduard Marin, Mustafa A. Mustafa, Dave Singelée, Bart Preneel
2016 — conf
A local electricity trading market: Security analysis.
ISGT Europe
Mustafa A. Mustafa, Sara Cleemput, Aysajan Abidin
2016 C conf
An Implementation of a High Assurance Smart Meter Using Protected Module Architectures.
WISTP
Jan Tobias Mühlberg, Sara Cleemput, Mustafa A. Mustafa, Jo Van Bulck, Bart Preneel, Frank Piessens
2016 B conf
An MPC-Based Privacy-Preserving Protocol for a Local Electricity Trading Market.
CANS
Aysajan Abidin, Abdelrahaman Aly, Sara Cleemput, Mustafa A. Mustafa
2016 J jnl
An MPC-based Privacy-Preserving Protocol for a Local Electricity Trading Market.
IACR Cryptol. ePrint Arch.
Aysajan Abidin, Abdelrahaman Aly, Sara Cleemput, Mustafa A. Mustafa
2016 — conf
High Assurance Smart Metering.
HASE
Sara Cleemput, Mustafa A. Mustafa, Bart Preneel
2016 — conf
Keyless car sharing system: A security and privacy analysis.
ISC2
Iraklis Symeonidis, Mustafa A. Mustafa, Bart Preneel
2015 J jnl
DEP2SA: A Decentralized Efficient Privacy-Preserving and Selective Aggregation Scheme in Advanced Metering Infrastructure.
IEEE Access
Mustafa A. Mustafa, Ning Zhang, Georgios Kalogridis, Zhong Fan
2015 — conf
MUSP: Multi-service, User Self-controllable and Privacy-preserving system for smart metering.
ICC
Mustafa A. Mustafa, Ning Zhang, Georgios Kalogridis, Zhong Fan
2014 — conf
DESA: A decentralized, efficient and selective aggregation scheme in AMI.
ISGT
Mustafa A. Mustafa, Ning Zhang, Georgios Kalogridis, Zhong Fan
2014 — conf
Roaming electric vehicle charging and billing: An anonymous multi-user protocol.
SmartGridComm
Mustafa A. Mustafa, Ning Zhang, Georgios Kalogridis, Zhong Fan
2014 J jnl
Toward Unified Security and Privacy Protection for Smart Meter Networks.
IEEE Syst. J.
Georgios Kalogridis, Mahesh Sooriyabandara, Zhong Fan, Mustafa A. Mustafa
2013 — conf
Smart electric vehicle charging: Security analysis.
ISGT
Mustafa A. Mustafa, Ning Zhang, Georgios Kalogridis, Zhong Fan