Mustafa A. Mustafa

Orcid: 0000-0002-8772-8023

Affiliations:
  • University of Manchester, UK


According to our database1, Mustafa A. Mustafa authored at least 57 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting.
CoRR, 2024

Efficient Privacy-Friendly and Flexible Wearable Data Processing With User-Centric Access Control.
IEEE Access, 2024

2023
Leveraging blockchain for energy transition in urban contexts.
Big Data Soc., July, 2023

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

A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets.
CoRR, 2023

A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation.
CoRR, 2023

Privacy Preserving Billing in Local Energy Markets with Imperfect Bid-Offer Fulfillment.
Proceedings of the IEEE International Conference on Communications, 2023

Zone-based Privacy-preserving Billing for Local Energy Market based on Multiparty Computation.
Proceedings of the IEEE International Conference on Communications, 2023

QNNRepair: Quantized Neural Network Repair.
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Analysis of Accelerometer Data for Personalised Mood Detection in Activities of Daily Living.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

AIREPAIR: A Repair Platform for Neural Networks.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022
HERMES: Scalable, Secure, and Privacy-Enhancing Vehicular Sharing-Access System.
IEEE Internet Things J., 2022

PIVOT: Private and Effective Contact Tracing.
IEEE Internet Things J., 2022

Privacy-Friendly Flexible IoT Health Data Processing with User-Centric Access Control.
CoRR, 2022

Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach.
CoRR, 2022

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
IEEE Access, 2022

Analysis of Accelerometer Data for Personalised Abnormal Behaviour Detection in Activities of Daily Living.
Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence, 2022

Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.
Proceedings of the IEEE Secure Development Conference, 2022

Effect of Clustering in Federated Learning on Non-IID Electricity Consumption Prediction.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference Europe, 2022

Privacy-Enhancing Settlements Protocol in Peer-to-Peer Energy Trading Markets.
Proceedings of the 2022 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2022

Billing Models for Peer-to-Peer Electricity Trading Markets with Imperfect Bid-Offer Fulfillment.
Proceedings of the IEEE International Smart Cities Conference, 2022

EnnCore: End-to-End Conceptual Guarding of Neural Architectures.
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021
IoT-Based Activities of Daily Living for Abnormal Behavior Detection: Privacy Issues and Potential Countermeasures.
IEEE Internet Things Mag., 2021

Impact of Local Energy Markets on the Distribution Systems: A Comprehensive Review.
CoRR, 2021

EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.
CoRR, 2021

Fostering Energy Transition in Smart Cities: DLTs for Peer-to-Peer Electricity Trading.
Proceedings of the 17th International Conference on Distributed Computing in Sensor Systems, 2021

2020
HERMES: Scalable, Secure, and Privacy-Enhancing Vehicle Access System.
IACR Cryptol. ePrint Arch., 2020

Striking the Balance: Effective yet Privacy Friendly Contact Tracing.
IACR Cryptol. ePrint Arch., 2020

Verifying Software Vulnerabilities in IoT Cryptographic Protocols.
CoRR, 2020

Ambient and Wearable Sensor Fusion for Abnormal Behaviour Detection in Activities of Daily Living.
Proceedings of the 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, 2020

Data Mining and Fusion of Unobtrusive Sensing Solutions for Indoor Activity Recognition.
Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2020

Sharing Beyond Peer-to-peer Trading: Collaborative (Open) Business Models as a Pathway to Smart Circular Economy in Electricity Markets.
Proceedings of the 16th International Conference on Distributed Computing in Sensor Systems, 2020

2019
A Secure and Privacy-Preserving Protocol for Smart Metering Operational Data Collection.
IEEE Trans. Smart Grid, 2019

Probabilistic Analysis of Temporal and Sequential Aspects of Activities of Daily Living for Abnormal Behaviour Detection.
Proceedings of the 2019 IEEE SmartWorld, 2019

Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification.
Proceedings of the 2019 International Workshop on Secure Internet of Things, 2019

SC2Share: Smart Contract for Secure Car Sharing.
Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

Collaborative Authentication Using Threshold Cryptography.
Proceedings of the Emerging Technologies for Authorization and Authentication, 2019

Towards Systematic Specification of Non-Functional Requirements for Sharing Economy Systems.
Proceedings of the 15th International Conference on Distributed Computing in Sensor Systems, 2019

2018
Frictionless Authentication Systems: Emerging Trends, Research Challenges and Opportunities.
CoRR, 2018

Frictionless Authentication System: Security & Privacy Analysis and Potential Solutions.
CoRR, 2018

Secure and Privacy-Friendly Local Electricity Trading and Billing in Smart Grid.
CoRR, 2018

De-pseudonymization of Smart Metering Data: Analysis and Countermeasures.
Proceedings of the 2018 Global Internet of Things Summit, 2018

2017
PePTCAP: A Privacy-enhancing Protocol for(Temporary) Car Access Provision.
IACR Cryptol. ePrint Arch., 2017

An MPC-based protocol for secure and privacy-preserving smart metering.
Proceedings of the 2017 IEEE PES Innovative Smart Grid Technologies Conference Europe, 2017

SePCAR: A Secure and Privacy-Enhancing Protocol for Car Access Provision.
Proceedings of the Computer Security - ESORICS 2017, 2017

2016
An MPC-based Privacy-Preserving Protocol for a Local Electricity Trading Market.
IACR Cryptol. ePrint Arch., 2016

An Implementation of a High Assurance Smart Meter Using Protected Module Architectures.
Proceedings of the Information Security Theory and Practice, 2016

A local electricity trading market: Security analysis.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference Europe, 2016

Keyless car sharing system: A security and privacy analysis.
Proceedings of the IEEE International Smart Cities Conference, 2016

High Assurance Smart Metering.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

A Privacy-Preserving Remote Healthcare System Offering End-to-End Security.
Proceedings of the Ad-hoc, Mobile, and Wireless Networks - 15th International Conference, 2016

2015
DEP2SA: A Decentralized Efficient Privacy-Preserving and Selective Aggregation Scheme in Advanced Metering Infrastructure.
IEEE Access, 2015

MUSP: Multi-service, User Self-controllable and Privacy-preserving system for smart metering.
Proceedings of the 2015 IEEE International Conference on Communications, 2015

2014
Toward Unified Security and Privacy Protection for Smart Meter Networks.
IEEE Syst. J., 2014

Roaming electric vehicle charging and billing: An anonymous multi-user protocol.
Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014

DESA: A decentralized, efficient and selective aggregation scheme in AMI.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2014

2013
Smart electric vehicle charging: Security analysis.
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2013


  Loading...