Encoding, Fast and Slow: Low-Latency Video Processing Using Thousands of Tiny Threads. S Fouladi, RS Wahby, B Shacklett, K Balasubramaniam, W Zeng, ... NSDI 17, 363-376, 2017 | 285 | 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 | 213 | 2018 |
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 | 186 | 2006 |
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 | 176 | 2014 |
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 | 171 | 2018 |
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 …, 2018 | 115 | 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 | 76 | 2017 |
Verifiable asics RS Wahby, M Howald, S Garg, A Shelat, M Walfish 2016 IEEE Symposium on Security and Privacy (SP), 759-778, 2016 | 64 | 2016 |
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 | 53 | 2019 |
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 | 52 | 2017 |
Fast and simple constant-time hashing to the BLS12-381 elliptic curve RS Wahby, D Boneh Cryptology ePrint Archive, 2019 | 50 | 2019 |
Scaling verifiable computation using efficient set accumulators A Ozdemir, RS Wahby, B Whitehat, D Boneh Proceedings of the 29th USENIX Conference on Security Symposium, 2075-2092, 2020 | 48 | 2020 |
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 | 44 | 2017 |
Pairing-friendly curves Y Sakemi, T Kobayashi, T Saito, RS Wahby IETF Secretariat, 2020 | 43 | 2020 |
Defending against Malicious Peripherals with Cinch. S Angel, RS Wahby, M Howald, JB Leners, M Spilo, Z Sun, AJ Blumberg, ... USENIX Security Symposium, 397-414, 2016 | 41 | 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 | 36 | 2005 |
Hashing to elliptic curves A Faz-Hernandez, S Scott, N Sullivan, RS Wahby, CA Wood Internet Research Task Force, Informational, 2021 | 34 | 2021 |
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 | 32 | 2016 |
Brakedown: Linear-time and post-quantum SNARKs for R1CS A Golovnev, J Lee, S Setty, J Thaler, RS Wahby Cryptology ePrint Archive, 2021 | 22 | 2021 |
Linear-time and post-quantum zero-knowledge SNARKs for R1CS J Lee, S Setty, J Thaler, R Wahby Cryptology ePrint Archive, 2021 | 21 | 2021 |