BibTeX records: Riad S. Wahby

download as .bib file

@article{DBLP:journals/fmsd/OzdemirWBB25,
  author       = {Alex Ozdemir and
                  Riad S. Wahby and
                  Fraser Brown and
                  Clark W. Barrett},
  title        = {Bounded verification for finite-field-blasting in a compiler for zero
                  knowledge proofs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {67},
  number       = {2},
  pages        = {161--188},
  year         = {2025},
  url          = {https://doi.org/10.1007/s10703-025-00476-3},
  doi          = {10.1007/S10703-025-00476-3},
  timestamp    = {Sat, 15 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/OzdemirWBB25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/KleinsteinWG25,
  author       = {Maya Kleinstein and
                  Riad S. Wahby and
                  Yossi Gilad},
  title        = {Sybil-Resistant Parallel Mixing},
  journal      = {Proc. Priv. Enhancing Technol.},
  volume       = {2025},
  number       = {4},
  pages        = {639--652},
  year         = {2025},
  url          = {https://doi.org/10.56553/popets-2025-0149},
  doi          = {10.56553/POPETS-2025-0149},
  timestamp    = {Mon, 10 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/popets/KleinsteinWG25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/JiangBW25,
  author       = {Kunming Jiang and
                  Fraser Brown and
                  Riad S. Wahby},
  editor       = {Marina Blanton and
                  William Enck and
                  Cristina Nita{-}Rotaru},
  title        = {CoBBL: Dynamic Constraint Generation for SNARKs},
  booktitle    = {{IEEE} Symposium on Security and Privacy, {SP} 2025, San Francisco,
                  CA, USA, May 12-15, 2025},
  pages        = {3347--3363},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/SP61157.2025.00200},
  doi          = {10.1109/SP61157.2025.00200},
  timestamp    = {Fri, 04 Jul 2025 15:34:07 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/JiangBW25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/KimKCWG25,
  author       = {Jiwon Kim and
                  Abhiram Kothapalli and
                  Orestis Chardouvelis and
                  Riad S. Wahby and
                  Paul Grubbs},
  editor       = {Marina Blanton and
                  William Enck and
                  Cristina Nita{-}Rotaru},
  title        = {{ALPACA:} Anonymous Blocklisting with Constant-Sized Updatable Proofs},
  booktitle    = {{IEEE} Symposium on Security and Privacy, {SP} 2025, San Francisco,
                  CA, USA, May 12-15, 2025},
  pages        = {3364--3382},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/SP61157.2025.00201},
  doi          = {10.1109/SP61157.2025.00201},
  timestamp    = {Mon, 23 Jun 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/KimKCWG25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/KimKCWG25,
  author       = {Jiwon Kim and
                  Abhiram Kothapalli and
                  Orestis Chardouvelis and
                  Riad S. Wahby and
                  Paul Grubbs},
  title        = {{ALPACA:} Anonymous Blocklisting with Constant-Sized Updatable Proofs},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {767},
  year         = {2025},
  url          = {https://eprint.iacr.org/2025/767},
  timestamp    = {Tue, 27 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/KimKCWG25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/JiangBW25,
  author       = {Kunming Jiang and
                  Fraser Brown and
                  Riad S. Wahby},
  title        = {CoBBl: Dynamic constraint generation for SNARKs},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1849},
  year         = {2025},
  url          = {https://eprint.iacr.org/2025/1849},
  timestamp    = {Tue, 28 Oct 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/JiangBW25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/WangCWB24,
  author       = {Faxing Wang and
                  Shaanan Cohney and
                  Riad S. Wahby and
                  Joseph Bonneau},
  title        = {{NOTRY:} Deniable messaging with retroactive avowal},
  journal      = {Proc. Priv. Enhancing Technol.},
  volume       = {2024},
  number       = {2},
  pages        = {391--411},
  year         = {2024},
  url          = {https://doi.org/10.56553/popets-2024-0056},
  doi          = {10.56553/POPETS-2024-0056},
  timestamp    = {Thu, 20 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/popets/WangCWB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PatrignaniKWC24,
  author       = {Marco Patrignani and
                  Robert K{\"{u}}nnemann and
                  Riad S. Wahby and
                  Ethan Cecchetti},
  title        = {Universal Composability Is Robust Compilation},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {46},
  number       = {4},
  pages        = {13:1--13:64},
  year         = {2024},
  url          = {https://doi.org/10.1145/3698234},
  doi          = {10.1145/3698234},
  timestamp    = {Sun, 02 Nov 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/PatrignaniKWC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocrypt/SettyTW24,
  author       = {Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  editor       = {Marc Joye and
                  Gregor Leander},
  title        = {Unlocking the Lookup Singularity with Lasso},
  booktitle    = {Advances in Cryptology - {EUROCRYPT} 2024 - 43rd Annual International
                  Conference on the Theory and Applications of Cryptographic Techniques,
                  Zurich, Switzerland, May 26-30, 2024, Proceedings, Part {VI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14656},
  pages        = {180--209},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-58751-1\_7},
  doi          = {10.1007/978-3-031-58751-1\_7},
  timestamp    = {Thu, 09 May 2024 11:09:43 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocrypt/SettyTW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/WangPWB24,
  author       = {Ping{-}Lun Wang and
                  Riccardo Paccagnella and
                  Riad S. Wahby and
                  Fraser Brown},
  editor       = {Davide Balzarotti and
                  Wenyuan Xu},
  title        = {Bending microarchitectural weird machines towards practicality},
  booktitle    = {33rd {USENIX} Security Symposium, {USENIX} Security 2024, Philadelphia,
                  PA, USA, August 14-16, 2024},
  publisher    = {{USENIX} Association},
  year         = {2024},
  url          = {https://www.usenix.org/conference/usenixsecurity24/presentation/wang-ping-lun},
  timestamp    = {Mon, 22 Jul 2024 17:10:49 +0200},
  biburl       = {https://dblp.org/rec/conf/uss/WangPWB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/OzdemirWBB23,
  author       = {Alex Ozdemir and
                  Riad S. Wahby and
                  Fraser Brown and
                  Clark W. Barrett},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Bounded Verification for Finite-Field-Blasting - In a Compiler for
                  Zero Knowledge Proofs},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {154--175},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_8},
  doi          = {10.1007/978-3-031-37709-9\_8},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/OzdemirWBB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/TyagiAFWBM23,
  author       = {Nirvan Tyagi and
                  Arasu Arun and
                  Cody Freitag and
                  Riad S. Wahby and
                  Joseph Bonneau and
                  David Mazi{\`{e}}res},
  editor       = {Weizhi Meng and
                  Christian Damsgaard Jensen and
                  Cas Cremers and
                  Engin Kirda},
  title        = {Riggs: Decentralized Sealed-Bid Auctions},
  booktitle    = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2023, Copenhagen, Denmark, November
                  26-30, 2023},
  pages        = {1227--1241},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3576915.3623182},
  doi          = {10.1145/3576915.3623182},
  timestamp    = {Thu, 20 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/TyagiAFWBM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crypto/GolovnevLSTW23,
  author       = {Alexander Golovnev and
                  Jonathan Lee and
                  Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  editor       = {Helena Handschuh and
                  Anna Lysyanskaya},
  title        = {Brakedown: Linear-Time and Field-Agnostic SNARKs for {R1CS}},
  booktitle    = {Advances in Cryptology - {CRYPTO} 2023 - 43rd Annual International
                  Cryptology Conference, {CRYPTO} 2023, Santa Barbara, CA, USA, August
                  20-24, 2023, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14082},
  pages        = {193--226},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-38545-2\_7},
  doi          = {10.1007/978-3-031-38545-2\_7},
  timestamp    = {Mon, 14 Aug 2023 16:16:25 +0200},
  biburl       = {https://dblp.org/rec/conf/crypto/GolovnevLSTW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/WangBW23,
  author       = {Ping{-}Lun Wang and
                  Fraser Brown and
                  Riad S. Wahby},
  title        = {The ghost is the machine: Weird machines in transient execution},
  booktitle    = {2023 {IEEE} Security and Privacy Workshops (SPW), San Francisco, CA,
                  USA, May 25, 2023},
  pages        = {264--272},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SPW59333.2023.00029},
  doi          = {10.1109/SPW59333.2023.00029},
  timestamp    = {Thu, 21 Sep 2023 16:11:09 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/WangBW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/ChenZOWBZ23,
  author       = {Edward Chen and
                  Jinhao Zhu and
                  Alex Ozdemir and
                  Riad S. Wahby and
                  Fraser Brown and
                  Wenting Zheng},
  title        = {Silph: {A} Framework for Scalable and Accurate Generation of Hybrid
                  {MPC} Protocols},
  booktitle    = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
                  CA, USA, May 21-25, 2023},
  pages        = {848--863},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SP46215.2023.10179397},
  doi          = {10.1109/SP46215.2023.10179397},
  timestamp    = {Sat, 06 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/ChenZOWBZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/KwongW0BGRSWY23,
  author       = {Andrew Kwong and
                  Walter Wang and
                  Jason Kim and
                  Jonathan Berger and
                  Daniel Genkin and
                  Eyal Ronen and
                  Hovav Shacham and
                  Riad S. Wahby and
                  Yuval Yarom},
  editor       = {Joseph A. Calandrino and
                  Carmela Troncoso},
  title        = {Checking Passwords on Leaky Computers: {A} Side Channel Analysis of
                  Chrome's Password Leak Detect Protocol},
  booktitle    = {32nd {USENIX} Security Symposium, {USENIX} Security 2023, Anaheim,
                  CA, USA, August 9-11, 2023},
  pages        = {7107--7124},
  publisher    = {{USENIX} Association},
  year         = {2023},
  url          = {https://www.usenix.org/conference/usenixsecurity23/presentation/kwong},
  timestamp    = {Wed, 18 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uss/KwongW0BGRSWY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/ChenZOWBZ23,
  author       = {Edward Chen and
                  Jinhao Zhu and
                  Alex Ozdemir and
                  Riad S. Wahby and
                  Fraser Brown and
                  Wenting Zheng},
  title        = {Silph: {A} Framework for Scalable and Accurate Generation of Hybrid
                  {MPC} Protocols},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {60},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/060},
  timestamp    = {Mon, 30 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/ChenZOWBZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/YoussefW23,
  author       = {Tarak Ben Youssef and
                  Riad S. Wahby},
  title        = {Specialized Proof of Confidential Knowledge (SPoCK)},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {82},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/082},
  timestamp    = {Tue, 28 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/YoussefW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/SettyTW23,
  author       = {Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  title        = {Customizable constraint systems for succinct arguments},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {552},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/552},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/SettyTW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/OzdemirWBB23,
  author       = {Alex Ozdemir and
                  Riad S. Wahby and
                  Fraser Brown and
                  Clark W. Barrett},
  title        = {Bounded Verification for Finite-Field-Blasting (In a Compiler for
                  Zero Knowledge Proofs)},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {778},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/778},
  timestamp    = {Mon, 05 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/OzdemirWBB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/SettyTW23a,
  author       = {Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  title        = {Unlocking the lookup singularity with Lasso},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1216},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1216},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/SettyTW23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TyagiAFWBM23,
  author       = {Nirvan Tyagi and
                  Arasu Arun and
                  Cody Freitag and
                  Riad S. Wahby and
                  Joseph Bonneau and
                  David Mazi{\`{e}}res},
  title        = {Riggs: Decentralized Sealed-Bid Auctions},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1336},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1336},
  timestamp    = {Thu, 20 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/TyagiAFWBM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WangCWB23,
  author       = {Faxing Wang and
                  Shaanan Cohney and
                  Riad S. Wahby and
                  Joseph Bonneau},
  title        = {{NOTRY:} deniable messaging with retroactive avowal},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1926},
  year         = {2023},
  url          = {https://eprint.iacr.org/2023/1926},
  timestamp    = {Thu, 20 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/WangCWB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc9380,
  author       = {Armando Faz{-}Hern{\'{a}}ndez and
                  Sam Scott and
                  Nick Sullivan and
                  Riad S. Wahby and
                  Christopher A. Wood},
  title        = {Hashing to Elliptic Curves},
  journal      = {{RFC}},
  volume       = {9380},
  pages        = {1--145},
  year         = {2023},
  url          = {https://doi.org/10.17487/RFC9380},
  doi          = {10.17487/RFC9380},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc9380.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/OzdemirBW22,
  author       = {Alex Ozdemir and
                  Fraser Brown and
                  Riad S. Wahby},
  title        = {CirC: Compiler infrastructure for proof systems, software verification,
                  and more},
  booktitle    = {43rd {IEEE} Symposium on Security and Privacy, {SP} 2022, San Francisco,
                  CA, USA, May 22-26, 2022},
  pages        = {2248--2266},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SP46214.2022.9833782},
  doi          = {10.1109/SP46214.2022.9833782},
  timestamp    = {Thu, 21 Sep 2023 15:57:27 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/OzdemirBW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Wahby21,
  author       = {Riad S. Wahby},
  title        = {Concretely efficient interactive proofs and their applications},
  school       = {Stanford University, {USA}},
  year         = {2021},
  url          = {https://searchworks.stanford.edu/view/13972839},
  timestamp    = {Fri, 02 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Wahby21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/MicaliRVWZ21,
  author       = {Silvio Micali and
                  Leonid Reyzin and
                  Georgios Vlachos and
                  Riad S. Wahby and
                  Nickolai Zeldovich},
  title        = {Compact Certificates of Collective Knowledge},
  booktitle    = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
                  CA, USA, 24-27 May 2021},
  pages        = {626--641},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SP40001.2021.00096},
  doi          = {10.1109/SP40001.2021.00096},
  timestamp    = {Thu, 21 Sep 2023 15:57:26 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/MicaliRVWZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LeeSTW21,
  author       = {Jonathan Lee and
                  Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  title        = {Linear-time zero-knowledge SNARKs for {R1CS}},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {30},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/030},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/LeeSTW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/Golovnev0STW21,
  author       = {Alexander Golovnev and
                  Jonathan Lee and
                  Srinath T. V. Setty and
                  Justin Thaler and
                  Riad S. Wahby},
  title        = {Brakedown: Linear-time and post-quantum SNARKs for {R1CS}},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1043},
  year         = {2021},
  url          = {https://eprint.iacr.org/2021/1043},
  timestamp    = {Mon, 06 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/Golovnev0STW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/WahbyBJP20,
  author       = {Riad S. Wahby and
                  Dan Boneh and
                  Christopher Jeffrey and
                  Joseph Poon},
  editor       = {Joseph Bonneau and
                  Nadia Heninger},
  title        = {An Airdrop that Preserves Recipient Privacy},
  booktitle    = {Financial Cryptography and Data Security - 24th International Conference,
                  {FC} 2020, Kota Kinabalu, Malaysia, February 10-14, 2020 Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12059},
  pages        = {444--463},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51280-4\_24},
  doi          = {10.1007/978-3-030-51280-4\_24},
  timestamp    = {Wed, 22 Jul 2020 12:13:31 +0200},
  biburl       = {https://dblp.org/rec/conf/fc/WahbyBJP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/OzdemirWWB20,
  author       = {Alex Ozdemir and
                  Riad S. Wahby and
                  Barry Whitehat and
                  Dan Boneh},
  editor       = {Srdjan Capkun and
                  Franziska Roesner},
  title        = {Scaling Verifiable Computation Using Efficient Set Accumulators},
  booktitle    = {29th {USENIX} Security Symposium, {USENIX} Security 2020, August 12-14,
                  2020},
  pages        = {2075--2092},
  publisher    = {{USENIX} Association},
  year         = {2020},
  url          = {https://www.usenix.org/conference/usenixsecurity20/presentation/ozdemir},
  timestamp    = {Fri, 29 Jan 2021 22:08:55 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/OzdemirWWB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WahbyBJP20,
  author       = {Riad S. Wahby and
                  Dan Boneh and
                  Christopher Jeffrey and
                  Joseph Poon},
  title        = {An airdrop that preserves recipient privacy},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {676},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/676},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/WahbyBJP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MicaliRVWZ20,
  author       = {Silvio Micali and
                  Leonid Reyzin and
                  Georgios Vlachos and
                  Riad S. Wahby and
                  Nickolai Zeldovich},
  title        = {Compact Certificates of Collective Knowledge},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1568},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/1568},
  timestamp    = {Mon, 04 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/MicaliRVWZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/OzdemirBW20,
  author       = {Alex Ozdemir and
                  Fraser Brown and
                  Riad S. Wahby},
  title        = {Unifying Compilers for SNARKs, SMT, and More},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1586},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/1586},
  timestamp    = {Mon, 04 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/OzdemirBW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tches/WahbyB19,
  author       = {Riad S. Wahby and
                  Dan Boneh},
  title        = {Fast and simple constant-time hashing to the {BLS12-381} elliptic
                  curve},
  journal      = {{IACR} Trans. Cryptogr. Hardw. Embed. Syst.},
  volume       = {2019},
  number       = {4},
  pages        = {154--179},
  year         = {2019},
  url          = {https://doi.org/10.13154/tches.v2019.i4.154-179},
  doi          = {10.13154/TCHES.V2019.I4.154-179},
  timestamp    = {Thu, 06 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tches/WahbyB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CauligiSJBWRGBJ19,
  author       = {Sunjay Cauligi and
                  Gary Soeller and
                  Brian Johannesmeyer and
                  Fraser Brown and
                  Riad S. Wahby and
                  John Renner and
                  Benjamin Gr{\'{e}}goire and
                  Gilles Barthe and
                  Ranjit Jhala and
                  Deian Stefan},
  editor       = {Kathryn S. McKinley and
                  Kathleen Fisher},
  title        = {FaCT: a {DSL} for timing-sensitive computation},
  booktitle    = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
                  June 22-26, 2019},
  pages        = {174--189},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3314221.3314605},
  doi          = {10.1145/3314221.3314605},
  timestamp    = {Sun, 07 Dec 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/CauligiSJBWRGBJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-08634,
  author       = {Marco Patrignani and
                  Riad S. Wahby and
                  Robert K{\"{u}}nnemann},
  title        = {Universal Composability is Secure Compilation},
  journal      = {CoRR},
  volume       = {abs/1910.08634},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.08634},
  eprinttype    = {arXiv},
  eprint       = {1910.08634},
  timestamp    = {Thu, 11 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-08634.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WahbyB19,
  author       = {Riad S. Wahby and
                  Dan Boneh},
  title        = {Fast and simple constant-time hashing to the {BLS12-381} elliptic
                  curve},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {403},
  year         = {2019},
  url          = {https://eprint.iacr.org/2019/403},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/WahbyB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/OzdemirWB19,
  author       = {Alex Ozdemir and
                  Riad S. Wahby and
                  Dan Boneh},
  title        = {Scaling Verifiable Computation Using Efficient Set Accumulators},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1494},
  year         = {2019},
  url          = {https://eprint.iacr.org/2019/1494},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/OzdemirWB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/FouladiEOWWW18,
  author       = {Sadjad Fouladi and
                  John Emmons and
                  Emre Orbay and
                  Catherine Wu and
                  Riad S. Wahby and
                  Keith Winstein},
  editor       = {Sujata Banerjee and
                  Srinivasan Seshan},
  title        = {Salsify: Low-Latency Network Video through Tighter Integration between
                  a Video Codec and a Transport Protocol},
  booktitle    = {15th {USENIX} Symposium on Networked Systems Design and Implementation,
                  {NSDI} 2018, Renton, WA, USA, April 9-11, 2018},
  pages        = {267--282},
  publisher    = {{USENIX} Association},
  year         = {2018},
  url          = {https://www.usenix.org/conference/nsdi18/presentation/fouladi},
  timestamp    = {Tue, 02 Feb 2021 08:05:49 +0100},
  biburl       = {https://dblp.org/rec/conf/nsdi/FouladiEOWWW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/WahbyTSTW18,
  author       = {Riad S. Wahby and
                  Ioanna Tzialla and
                  Abhi Shelat and
                  Justin Thaler and
                  Michael Walfish},
  title        = {Doubly-Efficient zkSNARKs Without Trusted Setup},
  booktitle    = {2018 {IEEE} Symposium on Security and Privacy, {SP} 2018, Proceedings,
                  21-23 May 2018, San Francisco, California, {USA}},
  pages        = {926--943},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/SP.2018.00060},
  doi          = {10.1109/SP.2018.00060},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/WahbyTSTW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/YanMHRWLW18,
  author       = {Francis Y. Yan and
                  Jestin Ma and
                  Greg D. Hill and
                  Deepti Raghavan and
                  Riad S. Wahby and
                  Philip Alexander Levis and
                  Keith Winstein},
  editor       = {Haryadi S. Gunawi and
                  Benjamin C. Reed},
  title        = {Pantheon: the training ground for Internet congestion-control research},
  booktitle    = {Proceedings of the 2018 {USENIX} Annual Technical Conference, {USENIX}
                  {ATC} 2018, Boston, MA, USA, July 11-13, 2018},
  pages        = {731--743},
  publisher    = {{USENIX} Association},
  year         = {2018},
  url          = {https://www.usenix.org/conference/atc18/presentation/yan-francis},
  timestamp    = {Tue, 16 Jul 2024 09:12:32 +0200},
  biburl       = {https://dblp.org/rec/conf/usenix/YanMHRWLW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/WahbyJBSTWW17,
  author       = {Riad S. Wahby and
                  Ye Ji and
                  Andrew J. Blumberg and
                  Abhi Shelat and
                  Justin Thaler and
                  Michael Walfish and
                  Thomas Wies},
  editor       = {Bhavani Thuraisingham and
                  David Evans and
                  Tal Malkin and
                  Dongyan Xu},
  title        = {Full Accounting for Verifiable Outsourcing},
  booktitle    = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
                  November 03, 2017},
  pages        = {2071--2086},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3133956.3133984},
  doi          = {10.1145/3133956.3133984},
  timestamp    = {Wed, 29 Jun 2022 15:37:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/WahbyJBSTWW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/WilsonWCBLW17,
  author       = {Judson Wilson and
                  Riad S. Wahby and
                  Henry Corrigan{-}Gibbs and
                  Dan Boneh and
                  Philip Alexander Levis and
                  Keith Winstein},
  editor       = {Tanzeem Choudhury and
                  Steven Y. Ko and
                  Andrew Campbell and
                  Deepak Ganesan},
  title        = {Trust but Verify: Auditing the Secure Internet of Things},
  booktitle    = {Proceedings of the 15th Annual International Conference on Mobile
                  Systems, Applications, and Services, MobiSys'17, Niagara Falls, NY,
                  USA, June 19-23, 2017},
  pages        = {464--474},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3081333.3081342},
  doi          = {10.1145/3081333.3081342},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mobisys/WilsonWCBLW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/FouladiWSBZBSPW17,
  author       = {Sadjad Fouladi and
                  Riad S. Wahby and
                  Brennan Shacklett and
                  Karthikeyan Balasubramaniam and
                  William Zeng and
                  Rahul Bhalerao and
                  Anirudh Sivaraman and
                  George Porter and
                  Keith Winstein},
  editor       = {Aditya Akella and
                  Jon Howell},
  title        = {Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands
                  of Tiny Threads},
  booktitle    = {14th {USENIX} Symposium on Networked Systems Design and Implementation,
                  {NSDI} 2017, Boston, MA, USA, March 27-29, 2017},
  pages        = {363--376},
  publisher    = {{USENIX} Association},
  year         = {2017},
  url          = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/fouladi},
  timestamp    = {Tue, 02 Feb 2021 08:05:04 +0100},
  biburl       = {https://dblp.org/rec/conf/nsdi/FouladiWSBZBSPW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BrownNWEJS17,
  author       = {Fraser Brown and
                  Shravan Narayan and
                  Riad S. Wahby and
                  Dawson R. Engler and
                  Ranjit Jhala and
                  Deian Stefan},
  title        = {Finding and Preventing Bugs in JavaScript Bindings},
  booktitle    = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
                  CA, USA, May 22-26, 2017},
  pages        = {559--578},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/SP.2017.68},
  doi          = {10.1109/SP.2017.68},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/BrownNWEJS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WahbyJBSTWW17,
  author       = {Riad S. Wahby and
                  Ye Ji and
                  Andrew J. Blumberg and
                  Abhi Shelat and
                  Justin Thaler and
                  Michael Walfish and
                  Thomas Wies},
  title        = {Full accounting for verifiable outsourcing},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {242},
  year         = {2017},
  url          = {http://eprint.iacr.org/2017/242},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/WahbyJBSTWW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WahbyTSTW17,
  author       = {Riad S. Wahby and
                  Ioanna Tzialla and
                  Abhi Shelat and
                  Justin Thaler and
                  Michael Walfish},
  title        = {Doubly-efficient zkSNARKs without trusted setup},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1132},
  year         = {2017},
  url          = {http://eprint.iacr.org/2017/1132},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/WahbyTSTW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/LampertWLL16,
  author       = {Ben Lampert and
                  Riad S. Wahby and
                  Shane Leonard and
                  Philip Alexander Levis},
  editor       = {Philip Alexander Levis and
                  Steve Eglash and
                  Lama Nachman and
                  Anthony Rowe},
  title        = {Robust, low-cost, auditable random number generation for embedded
                  system security},
  booktitle    = {Proceedings of the 14th {ACM} Conference on Embedded Network Sensor
                  Systems, SenSys 2016, Stanford, CA, USA, November 14-16, 2016},
  pages        = {16--27},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2994551.2994568},
  doi          = {10.1145/2994551.2994568},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sensys/LampertWLL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/WahbyHGSW16,
  author       = {Riad S. Wahby and
                  Max Howald and
                  Siddharth Garg and
                  Abhi Shelat and
                  Michael Walfish},
  title        = {Verifiable ASICs},
  booktitle    = {{IEEE} Symposium on Security and Privacy, {SP} 2016, San Jose, CA,
                  USA, May 22-26, 2016},
  pages        = {759--778},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SP.2016.51},
  doi          = {10.1109/SP.2016.51},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/WahbyHGSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/AngelWHLSSBW16,
  author       = {Sebastian Angel and
                  Riad S. Wahby and
                  Max Howald and
                  Joshua B. Leners and
                  Michael Spilo and
                  Zhen Sun and
                  Andrew J. Blumberg and
                  Michael Walfish},
  editor       = {Thorsten Holz and
                  Stefan Savage},
  title        = {Defending against Malicious Peripherals with Cinch},
  booktitle    = {25th {USENIX} Security Symposium, {USENIX} Security 16, Austin, TX,
                  USA, August 10-12, 2016},
  pages        = {397--414},
  publisher    = {{USENIX} Association},
  year         = {2016},
  url          = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/angel},
  timestamp    = {Mon, 01 Feb 2021 08:43:18 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/AngelWHLSSBW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LampertWLL16,
  author       = {Ben Lampert and
                  Riad S. Wahby and
                  Shane Leonard and
                  Philip Alexander Levis},
  title        = {Robust, low-cost, auditable random number generation for embedded
                  system security},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {884},
  year         = {2016},
  url          = {http://eprint.iacr.org/2016/884},
  timestamp    = {Mon, 30 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/LampertWLL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/WahbySRBW15,
  author       = {Riad S. Wahby and
                  Srinath T. V. Setty and
                  Zuocheng Ren and
                  Andrew J. Blumberg and
                  Michael Walfish},
  title        = {Efficient {RAM} and control flow in verifiable outsourced computation},
  booktitle    = {22nd Annual Network and Distributed System Security Symposium, {NDSS}
                  2015, San Diego, California, USA, February 8-11, 2015},
  publisher    = {The Internet Society},
  year         = {2015},
  url          = {https://www.ndss-symposium.org/ndss2015/efficient-ram-and-control-flow-verifiable-outsourced-computation},
  timestamp    = {Mon, 01 Feb 2021 08:42:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ndss/WahbySRBW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WahbyAHLBW15,
  author       = {Riad S. Wahby and
                  Sebastian Angel and
                  Max Howald and
                  Joshua B. Leners and
                  Andrew J. Blumberg and
                  Michael Walfish},
  title        = {Harmful devices considered harmless},
  journal      = {CoRR},
  volume       = {abs/1506.01449},
  year         = {2015},
  url          = {http://arxiv.org/abs/1506.01449},
  eprinttype    = {arXiv},
  eprint       = {1506.01449},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WahbyAHLBW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WahbyHGSW15,
  author       = {Riad S. Wahby and
                  Max Howald and
                  Siddharth Garg and
                  Abhi Shelat and
                  Michael Walfish},
  title        = {Verifiable ASICs},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {1243},
  year         = {2015},
  url          = {http://eprint.iacr.org/2015/1243},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/WahbyHGSW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/WahbySRBW14a,
  author       = {Riad S. Wahby and
                  Srinath T. V. Setty and
                  Zuocheng Ren and
                  Andrew J. Blumberg and
                  Michael Walfish},
  title        = {Efficient {RAM} and control flow in verifiable outsourced computation},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {674},
  year         = {2014},
  url          = {http://eprint.iacr.org/2014/674},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/WahbySRBW14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}