Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
ACM Conference on Computer and Communications Security (CCS), 2026
Accepted paper.
Research record
Publications
A curated selection of work on secure computation, private data access, verifiable computation, financial cryptography and cryptanalysis. Google Scholar and DBLP provide the complete bibliographic record.
2026
Oblivis: A Framework for Delegated and Efficient Oblivious Transfer
Proceedings on Privacy Enhancing Technologies (PETS), 2026
Delegated private querying and efficient OT for thin-client settings.
2025
Scalable Time-Lock Puzzle
ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2025
Delegated and verifiable time-lock computation at scale.
Privacy-Preserving Data Deduplication for Enhancing Federated Learning of Language Models
Network and Distributed System Security Symposium (NDSS), 2025
Private multi-party deduplication for distributed model training.
Starlit: Privacy-Preserving Federated Learning to Enhance Financial Fraud Detection
IEEE Conference on Federated Learning Technologies and Applications (FLTA), 2025
Joint first-place winner in the UK-US Privacy-Enhancing Technologies Prize Challenge.
Functional Oblivious Transfer with Applications in Privacy-Preserving Machine Learning
Cryptology ePrint Archive, 2025 (preprint)
Defines functional oblivious-transfer constructions and examines applications in privacy-preserving machine learning.
Scalable Post-Quantum Oblivious Transfers for Resource-Constrained Receivers
Cryptology ePrint Archive, 2025 (preprint)
Presents post-quantum oblivious-transfer protocols designed to reduce the receiver’s communication and computation.
ICT: Insured Cryptocurrency Transactions
Cryptology ePrint Archive, 2025 (preprint)
Defines insured cryptocurrency transactions and gives a smart-contract instantiation for exchange settings.
2024
Timed Secret Sharing
Advances in Cryptology – ASIACRYPT 2024
Time-controlled access within a secret-sharing setting.
Byzantine Discrepancy Attacks against Calendar, Set-intersection and Nations
Poster, ACM Conference on Computer and Communications Security (CCS), 2024
An analysis of discrepancy attacks in distributed settings.
2023
Recurring Contingent Service Payment
IEEE European Symposium on Security and Privacy (EuroS&P), 2023
Verifiable recurring exchange for digital services.
Payment with Dispute Resolution: A Protocol for Reimbursing Fraud Victims
ACM Asia Conference on Computer and Communications Security (AsiaCCS), 2023
A cryptographic payment design with an explicit fraud-dispute route.
Decentralised Repeated Modular Squaring Service Revisited: Attack and Mitigation
Cryptology ePrint Archive, 2023
Cryptanalysis of an outsourced repeated-squaring service and protocol mitigations.
2021
Polynomial Representation Is Tricky: Maliciously Secure Private Set Intersection Revisited
Computer Security – ESORICS 2021
Cryptanalysis of three private-set-intersection protocols, with an explanation of the proof failures and proposed mitigations.
Multi-instance Publicly Verifiable Time-Lock Puzzle and Its Applications
Financial Cryptography and Data Security (FC), 2021
A formal definition and publicly verifiable chained construction for multi-instance time-lock puzzles.
Selected videos
Recorded research presentations
Selected presentations of work on oblivious transfer, time-lock protocols and cryptanalysis.
PETS 2026 · Oblivious transfer
Oblivis: A Framework for Delegated and Efficient Oblivious Transfer
Watch on YouTubeResearch artefacts
Software and reproducibility
Maintained source code, protocol implementations and supporting materials are published through GitHub where available.
Reference implementation of a time-lock construction with verifiable homomorphic combination.
Implementation accompanying the work on functional oblivious transfer and its applications in privacy-preserving machine learning.