Mustafa A. Mustafa
Orcid: 0000-0002-8772-8023Affiliations:
- University of Manchester, UK
According to our database1,
Mustafa A. Mustafa
authored at least 68 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A survey of safety and trustworthiness of large language models through the lens of verification and validation.
Artif. Intell. Rev., July, 2024
IEEE Internet Things J., May, 2024
Efficient User-Centric Privacy-Friendly and Flexible Wearable Data Aggregation and Sharing.
IEEE Trans. Cloud Comput., 2024
Fully Privacy-preserving Billing Models for Peer-to-Peer Electricity Trading Markets.
IACR Cryptol. ePrint Arch., 2024
PP-LEM: Efficient and Privacy-Preserving Clearance Mechanism for Local Energy Markets.
CoRR, 2024
Efficient Privacy-Friendly and Flexible Wearable Data Processing With User-Centric Access Control.
IEEE Access, 2024
Use of Thermal Sensor Data for Personalised Mood Detection in Activities of Daily Living (ADLS).
Proceedings of the International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2024), 2024
Proactive Load-Shaping Strategies with Privacy-Cost Trade-offs in Residential Households based on Deep Reinforcement Learning.
Proceedings of the IEEE International Conference on Communications, 2024
Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments, 2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
2023
Big Data Soc., July, 2023
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.
Dataset, May, 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
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
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
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement.
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023
2022
IEEE Internet Things J., 2022
Privacy-Friendly Flexible IoT Health Data Processing with User-Centric Access Control.
CoRR, 2022
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
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
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
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
IACR Cryptol. ePrint Arch., 2020
IACR Cryptol. ePrint Arch., 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
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
Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019
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
A Secure and Privacy-preserving Protocol for Smart Metering Operational Data Collection.
IACR Cryptol. ePrint Arch., 2018
Frictionless Authentication Systems: Emerging Trends, Research Challenges and Opportunities.
CoRR, 2018
Frictionless Authentication System: Security & Privacy Analysis and Potential Solutions.
CoRR, 2018
CoRR, 2018
Proceedings of the 2018 Global Internet of Things Summit, 2018
2017
IACR Cryptol. ePrint Arch., 2017
Proceedings of the 2017 IEEE PES Innovative Smart Grid Technologies Conference Europe, 2017
Proceedings of the Computer Security - ESORICS 2017, 2017
2016
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
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference Europe, 2016
Proceedings of the IEEE International Smart Cities Conference, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
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
IEEE Syst. J., 2014
Proceedings of the 2014 IEEE International Conference on Smart Grid Communications, 2014
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2014
2013
Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2013