| 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 | 386 | 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 | 319 | 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 | 249 | 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 | 224 | 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 | 181 | 2018 |
| 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 | 93 | 2017 |
| 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 | 91 | 2019 |
| 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 | 81 | 2020 |
| Fast and simple constant-time hashing to the BLS12-381 elliptic curve RS Wahby, D Boneh Cryptology ePrint Archive, 2019 | 79 | 2019 |
| Verifiable asics RS Wahby, M Howald, S Garg, A Shelat, M Walfish 2016 IEEE Symposium on Security and Privacy (SP), 759-778, 2016 | 73 | 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 | 64 | 2017 |
| Pairing-friendly curves Y Sakemi, T Kobayashi, T Saito, RS Wahby Internet Engineering Task Force, 2020 | 63 | 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 | 59 | 2021 |
| RFC 9380 Hashing to Elliptic Curves A Faz-Hernandez, S Scott, N Sullivan, RS Wahby, CA Wood Terminology 2, 1, 2023 | 54 | 2023 |
| 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 |
| 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 | 52 | 2016 |
| 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 |
| Robust, low-cost, auditable random number generation for embedded system security B Lampert, RS Wahby, S Leonard, P Levis Proceedings of the 14th ACM conference on embedded network sensor systems CD …, 2016 | 36 | 2016 |
| 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 | 33 | 2022 |
