Abdelrahaman Aly
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Abdelrahaman Aly has a total of 26 co-authors. Here are the top co-authors by number of shared publications:
- Aysajan Abidin
COSIC, KU Leuven, Leuven, Belgium
3 shared publications - Victor Sucasas
Instituto de Telecomunicações, Aveiro, Portugal
3 shared publications - Mustafa Asan Mustafa
The University of Manchester
2 shared publications Sara Cleemput
Emweb bv
2 shared publications- Ajith Suresh
Technology Innovation Institute, Abu Dhabi, UAE
1 shared publication - Bert Lagaisse
Imec-DistriNet, KU Leuven, Leuven, Belgium
1 shared publication
Latest Publications
- Open Access
- 9 December 2024
- Published by Universitatsbibliothek der Ruhr-Universitat Bochum in IACR Transactions on Cryptographic Hardware and Embedded Systems
- Vol. 2025 (1) , 1-36
FANNG-MPC: Framework for Artificial Neural Networks and Generic MPC
In this work, we introduce FANNG-MPC, a versatile secure multi-party computation framework capable to offer active security for privacy-preserving machine learning as a service (MLaaS). Derived from the now deprecated SCALE-MAMBA, FANNG is a data-oriented fork, featuring novel set of libraries and instructions for realizing private neural networks, effectively reviving the popular framework. To the best of our knowledge, FANNG is the first MPC framework to offer actively secure MLaaS in the dishonest majority setting.FANNG goes beyond SCALE-MAMBA by decoupling offline and online phases and materializing the dealer model in software, enabling a separate set of entities to produce offline material. The framework incorporates database support, a new instruction set for pre-processed material, including garbled circuits and convolutional and matrix multiplication triples. FANNG also implements novel private comparison protocols and an optimized library supporting Neural Network functionality. All our theoretical claims are substantiated by an extensive evaluation using an open-sourced implementation, including the private inference of popular neural networks like LeNet and VGG16.
- 9 December 2024
- Published by Universitatsbibliothek der Ruhr-Universitat Bochum in IACR Transactions on Cryptographic Hardware and Embedded Systems
- Vol. 2025 (1) , 1-36
Open AccessFANNG-MPC: Framework for Artificial Neural Networks and Generic MPC
In this work, we introduce FANNG-MPC, a versatile secure multi-party computation framework capable to offer active security for privacy-preserving machine learning as a service (MLaaS). Derived from the now deprecated SCALE-MAMBA, FANNG is a data-oriented fork, featuring novel set of libraries and instructions for realizing private neural networks, effectively reviving the popular framework. To the best of our knowledge, FANNG is the first MPC framework to offer actively secure MLaaS in the dishonest majority setting.FANNG goes beyond SCALE-MAMBA by decoupling offline and online phases and materializing the dealer model in software, enabling a separate set of entities to produce offline material. The framework incorporates database support, a new instruction set for pre-processed material, including garbled circuits and convolutional and matrix multiplication triples. FANNG also implements novel private comparison protocols and an optimized library supporting Neural Network functionality. All our theoretical claims are substantiated by an extensive evaluation using an open-sourced implementation, including the private inference of popular neural networks like LeNet and VGG16.
- 12 July 2023
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Cloud Computing
- Vol. 11 (4) , 3555-3572
Secure Multi-Party Computation-Based Privacy-Preserving Authentication for Smart Cities
The increasing concern for identity confidentiality in the Smart City scenario has fostered research on privacy-preserving authentication based on pseudonymization. Pseudonym systems enable citizens to generate pseudo-identities and establish unlinkable anonymous accounts in cloud service providers. The citizen's identity is concealed, and his/her different anonymous accounts cannot be linked to each other. Unfortunately, current pseudonym systems require a trusted certification authority (CA) to issue the cryptographic components (e.g. credentials, secret keys, or pseudonyms) to citizens. This CA, generally a Smart City governmental entity, has the capability to grant or revoke privacy rights at will, hence posing a serious threat in case of corruption. Additionally, if the pseudonym system enables de-anonymization of misusers, a corrupted CA can jeopardize the citizens' privacy. This paper presents a novel approach to construct a pseudonym system without a trusted issuer. The CA is emulated by a set of Smart City service providers by means of secure multi-party computation (MPC), which circumvents the requirement of assuming an honest CA. The paper provides a full description of the system, which integrates an MPC protocol and a pseudonym-based signature scheme. The system has been implemented and tested.
- 12 July 2023
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Cloud Computing
- Vol. 11 (4) , 3555-3572
Secure Multi-Party Computation-Based Privacy-Preserving Authentication for Smart Cities
The increasing concern for identity confidentiality in the Smart City scenario has fostered research on privacy-preserving authentication based on pseudonymization. Pseudonym systems enable citizens to generate pseudo-identities and establish unlinkable anonymous accounts in cloud service providers. The citizen's identity is concealed, and his/her different anonymous accounts cannot be linked to each other. Unfortunately, current pseudonym systems require a trusted certification authority (CA) to issue the cryptographic components (e.g. credentials, secret keys, or pseudonyms) to citizens. This CA, generally a Smart City governmental entity, has the capability to grant or revoke privacy rights at will, hence posing a serious threat in case of corruption. Additionally, if the pseudonym system enables de-anonymization of misusers, a corrupted CA can jeopardize the citizens' privacy. This paper presents a novel approach to construct a pseudonym system without a trusted issuer. The CA is emulated by a set of Smart City service providers by means of secure multi-party computation (MPC), which circumvents the requirement of assuming an honest CA. The paper provides a full description of the system, which integrates an MPC protocol and a pseudonym-based signature scheme. The system has been implemented and tested.
- 10 November 2022
- Published by Springer Nature
- p. 44-67
Through the Looking-Glass: Benchmarking Secure Multi-party Computation Comparisons for ReLU ’s
- 10 November 2022
- Published by Springer Nature
- p. 44-67
Through the Looking-Glass: Benchmarking Secure Multi-party Computation Comparisons for ReLU ’s
- 24 September 2022
- Published by Springer Nature
- p. 749-755
A Fast, Practical and Simple Shortest Path Protocol for Multiparty Computation
- 24 September 2022
- Published by Springer Nature
- p. 749-755
A Fast, Practical and Simple Shortest Path Protocol for Multiparty Computation
- Open Access
- 9 December 2019
- Published by Association for Computing Machinery (ACM)
- p. 50-57
DataBlinder
Business application owners want to outsource data storage, including sensitive data, to the public cloud for economical reasons. This is often challenging since these businesses are and remain responsible for regulatory compliance and data protection, even though cloud providers may do their best to offer (data) protection. Meanwhile, data protection techniques evolve and get better because of continuous research and improvement of advanced encryption. Numerous cryptographic tactics have been proposed, e.g., searchable symmetric encryption (SSE) and homomorphic encryption (HE), that support search and aggregation functions on encrypted data. Each of these tactics has a trade-off between security, performance and functionality, but there is no one-size-fits-all solution. For the application developer, the underpinning concepts of these tactics are complex to comprehend, complex to integrate in a distributed application, and prone to implementation mistakes. In this paper we present DataBlinder, a distributed data access middleware that provides crypto agility by means of configurable fine-grained data protection at the application level. DataBlinder supports adaptive runtime selection of data protection tactics, and offers a plugin architecture for such tactics based on a key abstraction model for protection level, performance and supported query functionality. We have developed this middleware in close collaboration with businesses that face these challenges and offer cloud-based applications in e-finance, and e-health, by implementing and integrating state-of-the-art cryptographic schemes to Dat-aBlinder. This paper illustrates the case of medical data protection with FHIR-compliant [30] medical data. CCS Concepts • Security and privacy → Management and querying of encrypted data; • Information systems → Middleware for databases.
- 9 December 2019
- Published by Association for Computing Machinery (ACM)
- p. 50-57
Open AccessDataBlinder
Business application owners want to outsource data storage, including sensitive data, to the public cloud for economical reasons. This is often challenging since these businesses are and remain responsible for regulatory compliance and data protection, even though cloud providers may do their best to offer (data) protection. Meanwhile, data protection techniques evolve and get better because of continuous research and improvement of advanced encryption. Numerous cryptographic tactics have been proposed, e.g., searchable symmetric encryption (SSE) and homomorphic encryption (HE), that support search and aggregation functions on encrypted data. Each of these tactics has a trade-off between security, performance and functionality, but there is no one-size-fits-all solution. For the application developer, the underpinning concepts of these tactics are complex to comprehend, complex to integrate in a distributed application, and prone to implementation mistakes. In this paper we present DataBlinder, a distributed data access middleware that provides crypto agility by means of configurable fine-grained data protection at the application level. DataBlinder supports adaptive runtime selection of data protection tactics, and offers a plugin architecture for such tactics based on a key abstraction model for protection level, performance and supported query functionality. We have developed this middleware in close collaboration with businesses that face these challenges and offer cloud-based applications in e-finance, and e-health, by implementing and integrating state-of-the-art cryptographic schemes to Dat-aBlinder. This paper illustrates the case of medical data protection with FHIR-compliant [30] medical data. CCS Concepts • Security and privacy → Management and querying of encrypted data; • Information systems → Middleware for databases.
- 29 May 2019
- Published by Springer Nature
- p. 509-529
Benchmarking Privacy Preserving Scientific Operations
- 29 May 2019
- Published by Springer Nature
- p. 509-529
Benchmarking Privacy Preserving Scientific Operations
- 19 March 2019
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Smart Grid
- Vol. 10 (6) , 6481-6490
A Secure and Privacy-Preserving Protocol for Smart Metering Operational Data Collection
Smart grid allows fine-grained smart metering data collection which can improve the efficiency and reliability of the grid. Unfortunately, this vast collection of data also impose risks to users’ privacy. In this paper, we propose a novel protocol that allows suppliers and grid operators to collect users’ aggregate metering data in a secure and privacy-preserving manner. We use secure multiparty computation to ensure privacy protection. In addition, we propose three different data aggregation algorithms that offer different balances between privacy-protection and performance. Our protocol is designed for a realistic scenario in which the data need to be sent to different parties, such as grid operators and suppliers. Furthermore, it facilitates an accurate calculation of transmission, distribution and grid balancing fees in a privacy-preserving manner. We also present a security analysis and a performance evaluation of our protocol based on existing multiparty computation algorithms.
- 19 March 2019
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Smart Grid
- Vol. 10 (6) , 6481-6490
A Secure and Privacy-Preserving Protocol for Smart Metering Operational Data Collection
Smart grid allows fine-grained smart metering data collection which can improve the efficiency and reliability of the grid. Unfortunately, this vast collection of data also impose risks to users’ privacy. In this paper, we propose a novel protocol that allows suppliers and grid operators to collect users’ aggregate metering data in a secure and privacy-preserving manner. We use secure multiparty computation to ensure privacy protection. In addition, we propose three different data aggregation algorithms that offer different balances between privacy-protection and performance. Our protocol is designed for a realistic scenario in which the data need to be sent to different parties, such as grid operators and suppliers. Furthermore, it facilitates an accurate calculation of transmission, distribution and grid balancing fees in a privacy-preserving manner. We also present a security analysis and a performance evaluation of our protocol based on existing multiparty computation algorithms.
- 7 December 2018
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 291-309
Practically Efficient Secure Distributed Exponentiation Without Bit-Decomposition
- 7 December 2018
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 291-309
Practically Efficient Secure Distributed Exponentiation Without Bit-Decomposition
- 17 May 2017
- Published by Springer Nature
- p. 110-129
Practically Efficient Secure Single-Commodity Multi-market Auctions
- 17 May 2017
- Published by Springer Nature
- p. 110-129
Practically Efficient Secure Single-Commodity Multi-market Auctions
- 28 October 2016
- Published by Springer Nature
- p. 615-625
An MPC-Based Privacy-Preserving Protocol for a Local Electricity Trading Market
- 28 October 2016
- Published by Springer Nature
- p. 615-625
An MPC-Based Privacy-Preserving Protocol for a Local Electricity Trading Market