Mustafa A. Mustafa

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 65

Top Topics

Cryptographic Protocols

Countermeasures

Privacy Preserving

Abnormal Behavior

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Internet Things J.

Publications

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