Riad S. Wahby

From MaRDI portal
Person:2226605



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs
Formal Methods in System Design
2025-11-07Paper
Unlocking the lookup singularity with \textsf{Lasso}2024-11-13Paper
Bounded verification for finite-field-blasting. In a compiler for zero knowledge proofs2024-02-01Paper
An airdrop that preserves recipient privacy2021-02-08Paper


Research outcomes over time


This page was built for person: Riad S. Wahby