EDBT 2026 Demo / reviewers in the wild / expert
Ismail Afia
dblp:333/9464
· DBLP profile ↗
4ranked-venue papers
4as first author
4since 2021 · last 2024
0000-0002-7669-8762ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 4 · 4 first-author · 4 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Extended Policy-Based Sanitizable Signatures
Ismail Afia, Riham AlTawy |
Inscrypt (2) | 1 |
| 2023 | Traceable Policy-Based Signatures with Delegation
Ismail Afia, Riham AlTawy |
CANS | 1 |
| 2023 | Unlinkable Policy-Based Sanitizable Signatures
Ismail Afia, Riham AlTawy |
CT-RSA | 1 |
| 2023 | vPass: Publicly Verifiable Fair Exchange Protocol for Vehicle PassportsabstractIn second-hand vehicle markets, blockchains are being proposed as means to provide verification of vehicle history, a.k.a. vehicle passport (VP). However, given that confidentiality of VPs often contradicts public verification, blockchains are not used to their full potential in the proposed frameworks. Specifically, although blockchain smart contracts offer a decentralized mechanism for untrusted parties to fairly exchange digital assets without the need for a trusted third party, VP exchange is always carried off-chain. In this work, we investigate the problem of “fair exchange” of confidential VPs over public blockchains where its plain information must be verified against its publicly committed value. We propose a zero-knowledge proof, called Consistent Commitment Encryption (CCE), that enables the public verification of the consistency between ElGamal encryption of a given VP and its Pedersen commitment. We employ our CCE to build vPass, a decentralized vehicle passport framework that enables second-hand vehicle buyers to purchase vehicle history information from designated service providers and get it verified and delivered on-chain while preserving its confidentiality. The security of CCE relies on the intractability of the discrete logarithm problem in elliptic curve groups and it has no trusted setup. We formally prove that CCE is sound, complete, and witness indistinguishable proof of knowledge, and report on comparisons with other generic proof systems. Moreover, we show that vPass provides fair exchange and confidentiality of the vehicle history, and compare it to existing VP systems. Finally, we provide a proof of concept implementation on Ethereum and report the system performance metrics. Ismail Afia, Hisham S. Galal, Riham AlTawy, Amr M. Youssef |
ICBC | 1 |