| Encoding, fast and slow:{Low-Latency} video processing using thousands of tiny threads S Fouladi, RS Wahby, B Shacklett, KV Balasubramaniam, W Zeng, ... 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2017 | 399 | 2017 |
| Doubly-efficient zkSNARKs without trusted setup RS Wahby, I Tzialla, A Shelat, J Thaler, M Walfish 2018 IEEE Symposium on Security and Privacy (SP), 926-943, 2018 | 336 | 2018 |
| Pantheon: the training ground for Internet congestion-control research FY Yan, J Ma, GD Hill, D Raghavan, RS Wahby, P Levis, K Winstein 2018 USENIX Annual Technical Conference (USENIX ATC 18), 731-743, 2018 | 262 | 2018 |
| Efficient RAM and control flow in verifiable outsourced computation RS Wahby, S Setty, M Howald, Z Ren, AJ Blumberg, M Walfish Cryptology ePrint Archive, 2014 | 225 | 2014 |
| New architectures for radio-frequency DC–DC power conversion JM Rivas, RS Wahby, JS Shafran, DJ Perreault IEEE Transactions on Power Electronics 21 (2), 380-393, 2006 | 193 | 2006 |
| Salsify:{Low-Latency} network video through tighter integration between a video codec and a transport protocol S Fouladi, J Emmons, E Orbay, C Wu, RS Wahby, K Winstein 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2018 | 191 | 2018 |
| FaCT: a DSL for timing-sensitive computation S Cauligi, G Soeller, B Johannesmeyer, F Brown, RS Wahby, J Renner, ... Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 95 | 2019 |
| Full accounting for verifiable outsourcing RS Wahby, Y Ji, AJ Blumberg, A Shelat, J Thaler, M Walfish, T Wies Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 94 | 2017 |
| Scaling verifiable computation using efficient set accumulators A Ozdemir, R Wahby, B Whitehat, D Boneh 29th USENIX Security Symposium (USENIX Security 20), 2075-2092, 2020 | 84 | 2020 |
| Fast and simple constant-time hashing to the BLS12-381 elliptic curve RS Wahby, D Boneh Cryptology ePrint Archive, 2019 | 82 | 2019 |
| Verifiable asics RS Wahby, M Howald, S Garg, A Shelat, M Walfish 2016 IEEE Symposium on Security and Privacy (SP), 759-778, 2016 | 75 | 2016 |
| Finding and preventing bugs in javascript bindings F Brown, S Narayan, RS Wahby, D Engler, R Jhala, D Stefan 2017 IEEE Symposium on Security and Privacy (SP), 559-578, 2017 | 68 | 2017 |
| Pairing-friendly curves Y Sakemi, T Kobayashi, T Saito, RS Wahby Internet Engineering Task Force, 2020 | 66 | 2020 |
| Brakedown: Linear-time and post-quantum SNARKs for R1CS. A Golovnev, J Lee, STV Setty, J Thaler, RS Wahby IACR Cryptol. ePrint Arch. 2021, 1043, 2021 | 60 | 2021 |
| RFC 9380 Hashing to Elliptic Curves A Faz-Hernandez, S Scott, N Sullivan, RS Wahby, CA Wood Terminology 2, 1, 2023 | 56 | 2023 |
| Defending against malicious peripherals with Cinch S Angel, RS Wahby, M Howald, JB Leners, M Spilo, Z Sun, AJ Blumberg, ... 25th USENIX Security Symposium (USENIX Security 16), 397-414, 2016 | 54 | 2016 |
| Trust but verify: Auditing the secure Internet of things J Wilson, RS Wahby, H Corrigan-Gibbs, D Boneh, P Levis, K Winstein Proceedings of the 15th Annual International Conference on Mobile Systems …, 2017 | 53 | 2017 |
| Method and apparatus for switched-mode power conversion at radio frequencies D Perreault, J Rivas, R Wahby, J Shafran US Patent App. 11/109,498, 2005 | 41 | 2005 |
| CirC: Compiler infrastructure for proof systems, software verification, and more A Ozdemir, F Brown, RS Wahby 2022 IEEE Symposium on Security and Privacy (SP), 2248-2266, 2022 | 39 | 2022 |
| Unlocking the lookup singularity with Lasso S Setty, J Thaler, R Wahby Annual International Conference on the Theory and Applications of …, 2024 | 38 | 2024 |
