research
∙
07/17/2023
Zone-Based Privacy-Preserving Billing for Local Energy Market Based on Multiparty Computation
This paper proposes a zone-based privacy-preserving billing protocol for...
share
research
∙
07/13/2023
Privacy Preserving Billing in Local Energy Markets with Imperfect Bid-Offer Fulfillment (Long Version)
Smart grids are being increasingly deployed worldwide, as they constitut...
research
∙
07/10/2023
A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets
This paper proposes a privacy-preserving and accountable billing (PA-Bil...
research
∙
06/23/2023
QNNRepair: Quantized Neural Network Repair
We present QNNRepair, the first method in the literature for repairing q...
research
∙
11/24/2022
AIREPAIR: A Repair Platform for Neural Networks
We present AIREPAIR, a platform for repairing neural networks. It featur...
research
∙
06/13/2022
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Finding software vulnerabilities in concurrent programs is a challenging...
research
∙
03/01/2022
Privacy-Friendly Flexible IoT Health Data Processing with User-Centric Access Control
This paper proposes a novel Single and Multiple user(s) data Aggregation...
research
∙
01/05/2022
Privacy-Friendly Peer-to-Peer Energy Trading: A Game Theoretical Approach
In this paper, we propose a decentralized, privacy-friendly energy tradi...
research
∙
03/21/2021
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
Internet of Things (IoT) consists of a large number of smart devices con...
research
∙
01/06/2021
HERMES: Scalable, Secure, and Privacy-Enhancing Vehicle Access System
We propose HERMES, a scalable, secure, and privacy-enhancing system, whi...
research
∙
01/27/2020
Verifying Software Vulnerabilities in IoT Cryptographic Protocols
Internet of Things (IoT) is a system that consists of a large number of ...
research
∙
06/27/2019
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification
The proliferation of Unmanned Aerial Vehicles (UAVs) embedded with vulne...
research
∙
02/20/2018
Frictionless Authentication Systems: Emerging Trends, Research Challenges and Opportunities
Authentication and authorization are critical security layers to protect...
research
∙
02/20/2018
Frictionless Authentication System: Security & Privacy Analysis and Potential Solutions
This paper proposes a frictionless authentication system, provides a com...
research
∙
01/25/2018
Secure and Privacy-Friendly Local Electricity Trading and Billing in Smart Grid
This paper proposes two decentralised, secure and privacy-friendly proto...
research
∙
01/25/2018