default search action
Mustafa A. Mustafa
Mustafa Asan Mustafa
Person information
- affiliation: University of Manchester, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j11]Khlood Jastaniah
, Ning Zhang
Efficient Privacy-Friendly and Flexible Wearable Data Processing With User-Centric Access Control. IEEE Access 12: 37012-37029 (2024) - [j10]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
A survey of safety and trustworthiness of large language models through the lens of verification and validation. Artif. Intell. Rev. 57(7): 175 (2024) - [j9]Yi Dong
Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting. IEEE Internet Things J. 11(9): 16817-16828 (2024) - [c37]Mengwei Xu, Louise A. Dennis, Mustafa A. Mustafa:
Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents. AAMAS 2024: 1966-1974 - [c36]Matias Garcia-Constantino
Using Thermal and Contact Sensors for Mood Detection in Smart Living Environments. PETRA 2024 - [c35]Ruichang Zhang, Youcheng Sun, Mustafa A. Mustafa:
Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning. SmartGridComm 2024: 160-166 - [i28]Yi Dong, Yingjie Wang, Mariana Gama, Mustafa A. Mustafa, Geert Deconinck, Xiaowei Huang:
Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting. CoRR abs/2402.01546 (2024) - [i27]Eman Alqahtani, Mustafa A. Mustafa:
Privacy-Preserving Billing for Local Energy Markets (Long Version). CoRR abs/2404.15886 (2024) - [i26]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 abs/2405.18888 (2024) - [i25]Fatima Abacha, Sin G. Teo, Lucas C. Cordeiro, Mustafa A. Mustafa:
Synthetic Data Aided Federated Learning Using Foundation Models. CoRR abs/2407.05174 (2024) - [i24]Akash Madhusudan, Mustafa A. Mustafa, Hilder V. L. Pereira, Erik Takke:
Fully Privacy-preserving Billing Models for Peer-to-Peer Electricity Trading Markets. IACR Cryptol. ePrint Arch. 2024: 1562 (2024) - 2023
- [j8]Mehdi Montakhabi
Leveraging blockchain for energy transition in urban contexts. Big Data Soc. 10(2) (2023) - [c34]Edoardo Manino
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. FoMLAS@CAV 2023: 35-46 - [c33]Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
AIREPAIR: A Repair Platform for Neural Networks. ICSE Companion 2023: 98-101 - [c32]Yulith V. Altamirano-Flores
Analysis of Accelerometer Data for Personalised Mood Detection in Activities of Daily Living. PerCom Workshops 2023: 200-205 - [c31]Xidan Song
QNNRepair: Quantized Neural Network Repair. SEFM 2023: 320-339 - [c30]Eman Alqahtani
Zone-based Privacy-preserving Billing for Local Energy Market based on Multiparty Computation. SmartGridComm 2023: 1-7 - [c29]Andrei Hutu, Mustafa A. Mustafa
Privacy Preserving Billing in Local Energy Markets with Imperfect Bid-Offer Fulfillment. SmartGridComm 2023: 1-9 - [d1]Edoardo Manino
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. Zenodo, 2023 - [i23]Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation. CoRR abs/2305.11391 (2023) - [i22]Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
QNNRepair: Quantized Neural Network Repair. CoRR abs/2306.13793 (2023) - [i21]Kamil Erdayandi, Lucas C. Cordeiro
A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets. CoRR abs/2307.04501 (2023) - [i20]Eman Alqahtani, Mustafa A. Mustafa:
Zone-Based Privacy-Preserving Billing for Local Energy Market Based on Multiparty Computation. CoRR abs/2307.08778 (2023) - [i19]Andrei Hutu, Mustafa A. Mustafa:
Privacy Preserving Billing in Local Energy Markets with Imperfect Bid-Offer Fulfillment (Long Version). CoRR abs/2307.09618 (2023) - 2022
- [j7]Fatimah K. Aljaafari
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs. IEEE Access 10: 121365-121384 (2022) - [j6]Iraklis Symeonidis
HERMES: Scalable, Secure, and Privacy-Enhancing Vehicular Sharing-Access System. IEEE Internet Things J. 9(1): 129-151 (2022) - [j5]Giuseppe Garofalo
PIVOT: Private and Effective Contact Tracing. IEEE Internet Things J. 9(22): 22466-22489 (2022) - [c28]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:
EnnCore: End-to-End Conceptual Guarding of Neural Architectures. SafeAI@AAAI 2022 - [c27]Akash Madhusudan
Billing Models for Peer-to-Peer Electricity Trading Markets with Imperfect Bid-Offer Fulfillment. ISC2 2022: 1-7 - [c26]Robbie Thandi, Mustafa A. Mustafa:
Privacy-Enhancing Settlements Protocol in Peer-to-Peer Energy Trading Markets. ISGT 2022: 1-5 - [c25]James S. Nightingale, Yingjie Wang, Fairouz Zobiri
Effect of Clustering in Federated Learning on Non-IID Electricity Consumption Prediction. ISGT-Europe 2022: 1-5 - [c24]Kaled M. Alshmrany
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. SecDev 2022: 52-58 - [c23]Matias Garcia-Constantino
Analysis of Accelerometer Data for Personalised Abnormal Behaviour Detection in Activities of Daily Living. UCAmI 2022: 302-313 - [i18]Kamil Erdayandi, Amrit Paudel, Lucas C. Cordeiro, Mustafa A. Mustafa:
Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach. CoRR abs/2201.01810 (2022) - [i17]Khlood Jastaniah, Ning Zhang, Mustafa A. Mustafa:
Privacy-Friendly Flexible IoT Health Data Processing with User-Centric Access Control. CoRR abs/2203.00465 (2022) - [i16]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 abs/2206.06043 (2022) - [i15]Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
AIREPAIR: A Repair Platform for Neural Networks. CoRR abs/2211.15387 (2022) - 2021
- [j4]Mustafa A. Mustafa, Alexandros Konios
IoT-Based Activities of Daily Living for Abnormal Behavior Detection: Privacy Issues and Potential Countermeasures. IEEE Internet Things Mag. 4(3): 90-95 (2021) - [c22]Mehdi Montakhabi
Fostering Energy Transition in Smart Cities: DLTs for Peer-to-Peer Electricity Trading. DCOSS 2021: 466-472 - [i14]Iraklis Symeonidis, Dragos Rotaru, Mustafa A. Mustafa, Bart Mennink, Panos Papadimitratos:
HERMES: Scalable, Secure, and Privacy-Enhancing Vehicle Access System. CoRR abs/2101.01950 (2021) - [i13]Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes:
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols. CoRR abs/2103.11363 (2021) - [i12]Viktorija Dudjak, Diana Neves, Tarek AlSkaif, Shafi Khadem, Alejandro Pena-Bello, Pietro Saggese, Benjamin Bowler, Merlinda Andoni, Marina Bertolini, Yue Zhou, Blanche Lormeteau
Impact of Local Energy Markets on the Distribution Systems: A Comprehensive Review. CoRR abs/2103.16137 (2021) - 2020
- [c21]Mehdi Montakhabi
Sharing Beyond Peer-to-peer Trading: Collaborative (Open) Business Models as a Pathway to Smart Circular Economy in Electricity Markets. DCOSS 2020: 482-489 - [c20]Idongesit Ekerete
Data Mining and Fusion of Unobtrusive Sensing Solutions for Indoor Activity Recognition. EMBC 2020: 5357-5361 - [c19]Matias Garcia-Constantino, Alexandros Konios
Ambient and Wearable Sensor Fusion for Abnormal Behaviour Detection in Activities of Daily Living. PerCom Workshops 2020: 1-6 - [i11]Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa:
Verifying Software Vulnerabilities in IoT Cryptographic Protocols. CoRR abs/2001.09837 (2020) - [i10]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: 559 (2020) - [i9]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: 1583 (2020)
2010 – 2019
- 2019
- [j3]Mustafa A. Mustafa
A Secure and Privacy-Preserving Protocol for Smart Metering Operational Data Collection. IEEE Trans. Smart Grid 10(6): 6481-6490 (2019) - [c18]Iraklis Symeonidis, Jessica Schroers
Towards Systematic Specification of Non-Functional Requirements for Sharing Economy Systems. DCOSS 2019: 423-429 - [c17]Aysajan Abidin
Collaborative Authentication Using Threshold Cryptography. ETAA@ESORICS 2019: 122-137 - [c16]Akash Madhusudan
SC2Share: Smart Contract for Secure Car Sharing. ICISSP 2019: 163-171 - [c15]Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro:
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. SIoT 2019: 1-9 - [c14]Alexandros Konios
Probabilistic Analysis of Temporal and Sequential Aspects of Activities of Daily Living for Abnormal Behaviour Detection. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019: 723-730 - [i8]Omar M. Alhawi, Mustafa A. Mustafa, Lucas C. Cordeiro:
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification. CoRR abs/1906.11488 (2019) - 2018
- [c13]Sara Cleemput, Mustafa A. Mustafa
De-pseudonymization of Smart Metering Data: Analysis and Countermeasures. GIoTS 2018: 1-6 - [i7]Mustafa A. Mustafa
A Secure and Privacy-preserving Protocol for Smart Metering Operational Data Collection. CoRR abs/1801.08353 (2018) - [i6]Aysajan Abidin, Abdelrahaman Aly, Sara Cleemput, Mustafa A. Mustafa:
Secure and Privacy-Friendly Local Electricity Trading and Billing in Smart Grid. CoRR abs/1801.08354 (2018) - [i5]Mustafa A. Mustafa
Frictionless Authentication System: Security & Privacy Analysis and Potential Solutions. CoRR abs/1802.07231 (2018) - [i4]Tim Van hamme, Vera Rimmer, Davy Preuveneers, Wouter Joosen, Mustafa A. Mustafa
Frictionless Authentication Systems: Emerging Trends, Research Challenges and Opportunities. CoRR abs/1802.07233 (2018) - [i3]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: 101 (2018) - 2017
- [c12]Iraklis Symeonidis, Abdelrahaman Aly, Mustafa A. Mustafa
SePCAR: A Secure and Privacy-Enhancing Protocol for Car Access Provision. ESORICS (2) 2017: 475-493 - [c11]Mustafa A. Mustafa
An MPC-based protocol for secure and privacy-preserving smart metering. ISGT Europe 2017: 1-6 - [i2]Iraklis Symeonidis, Abdelrahaman Aly, Mustafa A. Mustafa, Bart Preneel:
PePTCAP: A Privacy-enhancing Protocol for(Temporary) Car Access Provision. IACR Cryptol. ePrint Arch. 2017: 39 (2017) - 2016
- [c10]Eduard Marin
A Privacy-Preserving Remote Healthcare System Offering End-to-End Security. ADHOC-NOW 2016: 237-250 - [c9]Aysajan Abidin
An MPC-Based Privacy-Preserving Protocol for a Local Electricity Trading Market. CANS 2016: 615-625 - [c8]Sara Cleemput, Mustafa A. Mustafa
High Assurance Smart Metering. HASE 2016: 294-297 - [c7]Iraklis Symeonidis, Mustafa A. Mustafa
Keyless car sharing system: A security and privacy analysis. ISC2 2016: 1-7 - [c6]Mustafa A. Mustafa
A local electricity trading market: Security analysis. ISGT Europe 2016: 1-6 - [c5]Jan Tobias Mühlberg
An Implementation of a High Assurance Smart Meter Using Protected Module Architectures. WISTP 2016: 53-69 - [i1]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: 797 (2016) - 2015
- [j2]Mustafa A. Mustafa
DEP2SA: A Decentralized Efficient Privacy-Preserving and Selective Aggregation Scheme in Advanced Metering Infrastructure. IEEE Access 3: 2828-2846 (2015) - [c4]Mustafa A. Mustafa
MUSP: Multi-service, User Self-controllable and Privacy-preserving system for smart metering. ICC 2015: 788-794 - 2014
- [j1]Georgios Kalogridis, Mahesh Sooriyabandara, Zhong Fan, Mustafa A. Mustafa
Toward Unified Security and Privacy Protection for Smart Meter Networks. IEEE Syst. J. 8(2): 641-654 (2014) - [c3]Mustafa A. Mustafa
DESA: A decentralized, efficient and selective aggregation scheme in AMI. ISGT 2014: 1-5 - [c2]Mustafa A. Mustafa
Roaming electric vehicle charging and billing: An anonymous multi-user protocol. SmartGridComm 2014: 939-945 - 2013
- [c1]Mustafa A. Mustafa
Smart electric vehicle charging: Security analysis. ISGT 2013: 1-6
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-21 20:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: