Smart electric vehicle charging: Security analysis. - Mustafa A. Mustafa; Ning Zhang 001; Georgios Kalogridis; Zhong Fan (ISGT, 2013)

DESA: A decentralized, efficient and selective aggregation scheme in AMI. - Mustafa A. Mustafa; Ning Zhang 001; Georgios Kalogridis; Zhong Fan (ISGT, 2014)

Roaming electric vehicle charging and billing: An anonymous multi-user protocol. - Mustafa A. Mustafa; Ning Zhang 001; Georgios Kalogridis; Zhong Fan (SmartGridComm, 2014)

Toward Unified Security and Privacy Protection for Smart Meter Networks. - Georgios Kalogridis; Mahesh Sooriyabandara; Zhong Fan; Mustafa A. Mustafa (IEEE Syst. J., 2014)

MUSP: Multi-service, User Self-controllable and Privacy-preserving system for smart metering. - Mustafa A. Mustafa; Ning Zhang 001; Georgios Kalogridis; Zhong Fan (ICC, 2015)

DEP2SA: A Decentralized Efficient Privacy-Preserving and Selective Aggregation Scheme in Advanced Metering Infrastructure. - Mustafa A. Mustafa; Ning Zhang 001; Georgios Kalogridis; Zhong Fan (IEEE Access, 2015)

A Privacy-Preserving Remote Healthcare System Offering End-to-End Security. - Eduard Marin; Mustafa A. Mustafa; Dave Singelée; Bart Preneel (ADHOC-NOW, 2016)

High Assurance Smart Metering. - Sara Cleemput; Mustafa A. Mustafa; Bart Preneel (HASE, 2016)

Keyless car sharing system: A security and privacy analysis. - Iraklis Symeonidis; Mustafa A. Mustafa; Bart Preneel (ISC2, 2016)

A local electricity trading market: Security analysis. - Mustafa A. Mustafa; Sara Cleemput; Aysajan Abidin (ISGT Europe, 2016)

An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. - Jan Tobias Mühlberg; Sara Cleemput; Mustafa A. Mustafa; Jo Van Bulck; Bart Preneel; Frank Piessens (WISTP, 2016)

An MPC-based Privacy-Preserving Protocol for a Local Electricity Trading Market. - Aysajan Abidin; Abdelrahaman Aly; Sara Cleemput; Mustafa A. Mustafa (IACR Cryptol. ePrint Arch., 2016)

SePCAR: A Secure and Privacy-Enhancing Protocol for Car Access Provision. - Iraklis Symeonidis; Abdelrahaman Aly; Mustafa A. Mustafa; Bart Mennink; Siemen Dhooghe; Bart Preneel (ESORICS (2), 2017)

An MPC-based protocol for secure and privacy-preserving smart metering. - Mustafa A. Mustafa; Sara Cleemput; Abdelrahaman Aly; Aysajan Abidin (ISGT Europe, 2017)

PePTCAP: A Privacy-enhancing Protocol for(Temporary) Car Access Provision. - Iraklis Symeonidis; Abdelrahaman Aly; Mustafa A. Mustafa; Bart Preneel (IACR Cryptol. ePrint Arch., 2017)

De-pseudonymization of Smart Metering Data: Analysis and Countermeasures. - Sara Cleemput; Mustafa A. Mustafa; Eduard Marin; Bart Preneel (GIoTS, 2018)

Secure and Privacy-Friendly Local Electricity Trading and Billing in Smart Grid. - Aysajan Abidin; Abdelrahaman Aly; Sara Cleemput; Mustafa A. Mustafa (CoRR, 2018)

Frictionless Authentication System: Security & Privacy Analysis and Potential Solutions. - Mustafa A. Mustafa; Aysajan Abidin; Enrique Argones-Rúa (CoRR, 2018)

Frictionless Authentication Systems: Emerging Trends, Research Challenges and Opportunities. - Tim Van hamme; Vera Rimmer; Davy Preuveneers; Wouter Joosen; Mustafa A. Mustafa; Aysajan Abidin; Enrique Argones-Rúa (CoRR, 2018)

A Secure and Privacy-preserving Protocol for Smart Metering Operational Data Collection. - Mustafa A. Mustafa; Sara Cleemput; Abdelrahaman Aly; Aysajan Abidin (IACR Cryptol. ePrint Arch., 2018)

Towards Systematic Specification of Non-Functional Requirements for Sharing Economy Systems. - Iraklis Symeonidis; Jessica Schroers; Mustafa A. Mustafa; Gergely Biczók (DCOSS, 2019)

Collaborative Authentication Using Threshold Cryptography. - Aysajan Abidin; Abdelrahaman Aly; Mustafa A. Mustafa (ETAA@ESORICS, 2019)

SC2Share: Smart Contract for Secure Car Sharing. - Akash Madhusudan; Iraklis Symeonidis; Mustafa A. Mustafa; Ren Zhang 003; Bart Preneel (ICISSP, 2019)

Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. - Omar M. Alhawi; Mustafa A. Mustafa; Lucas C. Cordeiro (SIoT, 2019)

Probabilistic Analysis of Temporal and Sequential Aspects of Activities of Daily Living for Abnormal Behaviour Detection. - Alexandros Konios; Matias Garcia-Constantino; Stavros-Richard G. Christopoulos; Mustafa Asan Mustafa; Idongesit Ekerete; Colin Shewell; Chris D. Nugent; Gareth Morrison (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2019)

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 (DCOSS, 2020)

Data Mining and Fusion of Unobtrusive Sensing Solutions for Indoor Activity Recognition. - Idongesit Ekerete; Matias Garcia-Constantino; Yohanca Diaz; Oonagh M. Giggins; Mustafa Asan Mustafa; Alexandros Konios; Pierre Pouliet; Chris D. Nugent; Jim McLaughlin 001 (EMBC, 2020)

Ambient and Wearable Sensor Fusion for Abnormal Behaviour Detection in Activities of Daily Living. - Matias Garcia-Constantino; Alexandros Konios; Mustafa Asan Mustafa; Christopher Nugent; G. Morrison (PerCom Workshops, 2020)

Verifying Software Vulnerabilities in IoT Cryptographic Protocols. - Fatimah Aljaafari; Lucas C. Cordeiro; Mustafa A. Mustafa (CoRR, 2020)

Striking the Balance: Effective yet Privacy Friendly Contact Tracing. - Giuseppe Garofalo; Tim Van hamme; Davy Preuveneers; Wouter Joosen; Aysajan Abidin; Mustafa A. Mustafa (IACR Cryptol. ePrint Arch., 2020)

HERMES: Scalable, Secure, and Privacy-Enhancing Vehicle Access System. - Iraklis Symeonidis; Dragos Rotaru; Mustafa A. Mustafa; Bart Mennink; Panos Papadimitratos (IACR Cryptol. ePrint Arch., 2020)

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 (DCOSS, 2021)

EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols. - Fatimah Aljaafari; Lucas C. Cordeiro; Mustafa A. Mustafa; Rafael Menezes (CoRR, 2021)

Impact of Local Energy Markets on the Distribution Systems: A Comprehensive Review. - 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; et al. (CoRR, 2021)

IoT-Based Activities of Daily Living for Abnormal Behavior Detection: Privacy Issues and Potential Countermeasures. - Mustafa A. Mustafa; Alexandros Konios; Matias Garcia-Constantino (IEEE Internet Things Mag., 2021)

EnnCore: End-to-End Conceptual Guarding of Neural Architectures. - Edoardo Manino; Danilo S. Carvalho; Yi Dong 002; Julia Rozanova; Xidan Song; Mustafa A. Mustafa; André Freitas; Gavin Brown 001; Mikel Luján; Xiaowei Huang 001; Lucas C. Cordeiro (SafeAI@AAAI, 2022)

Billing Models for Peer-to-Peer Electricity Trading Markets with Imperfect Bid-Offer Fulfillment. - Akash Madhusudan; Fairouz Zobiri; Mustafa A. Mustafa (ISC2, 2022)

Privacy-Enhancing Settlements Protocol in Peer-to-Peer Energy Trading Markets. - Robbie Thandi; Mustafa A. Mustafa (ISGT, 2022)

Effect of Clustering in Federated Learning on Non-IID Electricity Consumption Prediction. - James S. Nightingale; Yingjie Wang; Fairouz Zobiri; Mustafa A. Mustafa (ISGT-Europe, 2022)

Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. - Kaled M. Alshmrany; Ahmed Bhayat; Franz Brauße; Lucas C. Cordeiro; Konstantin Korovin; Tom Melham; Mustafa A. Mustafa; Pierre Olivier; Giles Reger; Fedor Shmarov (SecDev, 2022)

Analysis of Accelerometer Data for Personalised Abnormal Behaviour Detection in Activities of Daily Living. - Matias Garcia-Constantino; Alexandros Konios; Irvin Hussein López-Nava; Pierre Pouliet; Idongesit Ekerete; Mustafa A. Mustafa; Chris D. Nugent; Gareth Morrison (UCAmI, 2022)

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. - Fatimah K. Aljaafari; Rafael Menezes; Edoardo Manino; Fedor Shmarov; Mustafa A. Mustafa; Lucas C. Cordeiro (IEEE Access, 2022)

Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach. - Kamil Erdayandi; Amrit Paudel; Lucas C. Cordeiro; Mustafa A. Mustafa (CoRR, 2022)

Privacy-Friendly Flexible IoT Health Data Processing with User-Centric Access Control. - Khlood Jastaniah; Ning Zhang 001; Mustafa A. Mustafa (CoRR, 2022)

PIVOT: Private and Effective Contact Tracing. - Giuseppe Garofalo; Tim Van hamme; Davy Preuveneers; Wouter Joosen; Aysajan Abidin; Mustafa A. Mustafa (IEEE Internet Things J., 2022)

HERMES: Scalable, Secure, and Privacy-Enhancing Vehicular Sharing-Access System. - Iraklis Symeonidis; Dragos Rotaru; Mustafa A. Mustafa; Bart Mennink; Bart Preneel; Panos Papadimitratos (IEEE Internet Things J., 2022)

Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. - Edoardo Manino; Bernardo Magri; Mustafa A. Mustafa; Lucas C. Cordeiro (FoMLAS@CAV, 2023)

AIREPAIR: A Repair Platform for Neural Networks. - Xidan Song; Youcheng Sun; Mustafa A. Mustafa; Lucas C. Cordeiro (ICSE Companion, 2023)

Analysis of Accelerometer Data for Personalised Mood Detection in Activities of Daily Living. - Yulith V. Altamirano-Flores; Alexandros Konios; Irvin Hussein López-Nava; Matias Garcia-Constantino; Idongesit Ekerete; Mustafa A. Mustafa (PerCom Workshops, 2023)

QNNRepair: Quantized Neural Network Repair. - Xidan Song; Youcheng Sun; Mustafa A. Mustafa; Lucas C. Cordeiro (SEFM, 2023)

Zone-based Privacy-preserving Billing for Local Energy Market based on Multiparty Computation. - Eman Alqahtani; Mustafa A. Mustafa (SmartGridComm, 2023)

Privacy Preserving Billing in Local Energy Markets with Imperfect Bid-Offer Fulfillment. - Andrei Hutu; Mustafa A. Mustafa (SmartGridComm, 2023)

A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets. - Kamil Erdayandi; Lucas C. Cordeiro; Mustafa A. Mustafa (CoRR, 2023)

Privacy Preserving Billing in Local Energy Markets with Imperfect Bid-Offer Fulfillment (Long Version). - Andrei Hutu; Mustafa A. Mustafa (CoRR, 2023)

Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. - Edoardo Manino; Bernardo Magri; Mustafa A. Mustafa; Lucas C. Cordeiro (Zenodo, 2023)

Leveraging blockchain for energy transition in urban contexts. - Mehdi Montakhabi; Akash Madhusudan; Mustafa A. Mustafa; Wim Vanhaverbeke; Esteve Almirall; Shenja van der Graaf (Big Data Soc., 2023)

Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents. - Mengwei Xu; Louise A. Dennis; Mustafa A. Mustafa (AAMAS, 2024)

Privacy-Preserving Load-Shaping Strategies for Smart Meters using Deep Reinforcement Learning. - Ruichang Zhang; Kaiyue Wu; Youcheng Sun; Mustafa A. Mustafa (ISGT EUROPE, 2024)

Using Thermal and Contact Sensors for Mood Detection in Smart Living Environments. - Matias Garcia-Constantino; Alexandros Konios; Idongesit Ekerete; Mustafa A. Mustafa; Irvin Hussein López-Nava; Yulith V. Altamirano-Flores (PETRA, 2024)

Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning. - Ruichang Zhang; Youcheng Sun; Mustafa A. Mustafa (SmartGridComm, 2024)

Use of Thermal Sensor Data for Personalised Mood Detection in Activities of Daily Living (ADLS). - Alexandros Konios; Matias Garcia-Constantino; Idongesit Ekerete; Mustafa A. Mustafa; Irvin Hussein López-Nava; Yulith V. Altamirano-Flores (UCAmI, 2024)

Efficient Privacy-Friendly and Flexible Wearable Data Processing With User-Centric Access Control. - Khlood Jastaniah; Ning Zhang 001; Mustafa A. Mustafa (IEEE Access, 2024)

Privacy-Preserving Billing for Local Energy Markets (Long Version). - Eman Alqahtani; Mustafa A. Mustafa (CoRR, 2024)

Synthetic Data Aided Federated Learning Using Foundation Models. - Fatima Abacha; Sin G. Teo; Lucas C. Cordeiro; Mustafa A. Mustafa (CoRR, 2024)

PP-LEM: Efficient and Privacy-Preserving Clearance Mechanism for Local Energy Markets. - Kamil Erdayandi; Mustafa Asan Mustafa (CoRR, 2024)

Fully Privacy-preserving Billing Models for Peer-to-Peer Electricity Trading Markets. - Akash Madhusudan; Mustafa A. Mustafa; Hilder V. L. Pereira; Erik Takke (IACR Cryptol. ePrint Arch., 2024)

Efficient User-Centric Privacy-Friendly and Flexible Wearable Data Aggregation and Sharing. - Khlood Jastaniah; Ning Zhang 001; Mustafa A. Mustafa (IEEE Trans. Cloud Comput., 2024)

Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting. - Yi Dong 002; Yingjie Wang; Mariana Gama; Mustafa A. Mustafa; Geert Deconinck; Xiaowei Huang 001 (IEEE Internet Things J., 2024)

A survey of safety and trustworthiness of large language models through the lens of verification and validation. - Xiaowei Huang 001; Wenjie Ruan; Wei Huang 035; Gaojie Jin; Yi Dong 002; Changshun Wu; Saddek Bensalem; Ronghui Mu; Yi Qi; Xingyu Zhao 001; Kaiwen Cai; Yanghao Zhang; et al. (Artif. Intell. Rev., 2024)

Defending the Edge: Representative-Attention for Mitigating Backdoor Attacks in Federated Learning. - Chibueze Peace Obioma; Youcheng Sun; Mustafa A. Mustafa (CoRR, 2025)

EDGChain-E: A Decentralized Git-Based Framework for Versioning Encrypted Energy Data. - Alper Alimoglu; Kamil Erdayandi; Mustafa A. Mustafa; Umit Cali (CoRR, 2025)