Doubly-Efficient zkSNARKs Without Trusted Setup
Wahby, Riad S., Tzialla, Ioanna, Shelat, Abhi, Thaler, Justin, Walfish, Michael
Published in 2018 IEEE Symposium on Security and Privacy (SP) (01.05.2018)
Published in 2018 IEEE Symposium on Security and Privacy (SP) (01.05.2018)
Get full text
Conference Proceeding
CirC: Compiler infrastructure for proof systems, software verification, and more
Ozdemir, Alex, Brown, Fraser, Wahby, Riad S.
Published in 2022 IEEE Symposium on Security and Privacy (SP) (01.05.2022)
Published in 2022 IEEE Symposium on Security and Privacy (SP) (01.05.2022)
Get full text
Conference Proceeding
Fast and simple constant-time hashing to the BLS12-381 elliptic curve
Riad S. Wahby, Dan Boneh
Published in IACR transactions on cryptographic hardware and embedded systems (01.08.2019)
Published in IACR transactions on cryptographic hardware and embedded systems (01.08.2019)
Get full text
Journal Article
Verifiable ASICs
Wahby, Riad S., Howald, Max, Garg, Siddharth, Shelat, Abhi, Walfish, Michael
Published in 2016 IEEE Symposium on Security and Privacy (SP) (01.05.2016)
Published in 2016 IEEE Symposium on Security and Privacy (SP) (01.05.2016)
Get full text
Conference Proceeding
Journal Article
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols
Chen, Edward, Zhu, Jinhao, Ozdemir, Alex, Wahby, Riad S., Brown, Fraser, Zheng, Wenting
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Published in 2023 IEEE Symposium on Security and Privacy (SP) (01.05.2023)
Get full text
Conference Proceeding
Fast and simple constant-time hashing to the BLS12-381 elliptic curve
Wahby, Riad S., Boneh, Dan
Published in IACR transactions on cryptographic hardware and embedded systems (09.08.2019)
Published in IACR transactions on cryptographic hardware and embedded systems (09.08.2019)
Get full text
Journal Article
Compact Certificates of Collective Knowledge
Micali, Silvio, Reyzin, Leonid, Vlachos, Georgios, Wahby, Riad S., Zeldovich, Nickolai
Published in 2021 IEEE Symposium on Security and Privacy (SP) (01.05.2021)
Published in 2021 IEEE Symposium on Security and Privacy (SP) (01.05.2021)
Get full text
Conference Proceeding
New Architectures for Radio-Frequency DC-DC Power Conversion
Rivas, J.M., Wahby, R.S., Shafran, J.S., Perreault, D.J.
Published in IEEE transactions on power electronics (01.03.2006)
Published in IEEE transactions on power electronics (01.03.2006)
Get full text
Journal Article
The ghost is the machine: Weird machines in transient execution
Wang, Ping-Lun, Brown, Fraser, Wahby, Riad S.
Published in 2023 IEEE Security and Privacy Workshops (SPW) (01.05.2023)
Published in 2023 IEEE Security and Privacy Workshops (SPW) (01.05.2023)
Get full text
Conference Proceeding
Finding and Preventing Bugs in JavaScript Bindings
Brown, Fraser, Narayan, Shravan, Wahby, Riad S., Engler, Dawson, Jhala, Ranjit, Stefan, Deian
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)
Published in 2017 IEEE Symposium on Security and Privacy (SP) (01.05.2017)
Get full text
Conference Proceeding
NOTRY: Deniable messaging with retroactive avowal
Wang, Faxing, Cohney, Shaanan, Wahby, Riad, Bonneau, Joseph
Published in Proceedings on Privacy Enhancing Technologies (01.04.2024)
Published in Proceedings on Privacy Enhancing Technologies (01.04.2024)
Get full text
Journal Article
Defending against malicious peripherals with Cinch
Angel, Sebastian, Wahby, Riad S, Howald, Max, Leners, Joshua B, Spilo, Michael, Sun, Zhen, Blumberg, Andrew J, Walfish, Michael
Year of Publication 03.06.2015
Year of Publication 03.06.2015
Get full text
Journal Article
Defending against malicious peripherals with Cinch
Angel, Sebastian, Wahby, Riad S, Howald, Max, Leners, Joshua B, Spilo, Michael, Sun, Zhen, Blumberg, Andrew J, Walfish, Michael
Published in arXiv.org (29.06.2016)
Get full text
Published in arXiv.org (29.06.2016)
Paper
SOFT-START FOR ISOLATED POWER CONVERTER
Mills Michael J, Smith Eric B, Wahby Riad S, Tesu Ion C, Karalar Tufan C, Alfano Donald E, Sonntag Jeffrey L
Year of Publication 16.03.2017
Get full text
Year of Publication 16.03.2017
Patent
Soft-start for isolated power converter
Mills Michael J, Smith Eric B, Wahby Riad S, Tesu Ion C, Karalar Tufan C, Alfano Donald E, Sonntag Jeffrey L
Year of Publication 27.12.2016
Get full text
Year of Publication 27.12.2016
Patent