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
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
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
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
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
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
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
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
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
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
APPARATUS AND METHOD FOR MANAGING CREDENTIALS
Noetzli, Andres Philipp, Renner, John Michael, Fraser Brown, Madeleine Lucy, Milicevic, Aleksandar, Wahby, Riad Samir, Stefan, Deian
Year of Publication 17.10.2024
Get full text
Year of Publication 17.10.2024
Patent
APPARATUS AND METHOD FOR MANAGING CREDENTIALS
NOETZLI, Andres Philipp, STEFAN, Deian, MILICEVIC, Aleksandar, FRASER BROWN, Madeleine Lucy, RENNER, John Michael, WAHBY, Riad Samir
Year of Publication 17.10.2024
Get full text
Year of Publication 17.10.2024
Patent
SYSTEM AND METHOD FOR AUTHENTICATION WITH OUT-OF-BAND USER INTERACTION
Blumberg, Andrew Justin, Howald, Max Ira, Wahby, Riad Samir, Walfish, Michael
Year of Publication 13.10.2022
Get full text
Year of Publication 13.10.2022
Patent
System and method for authentication with out-of-band user interaction
Blumberg, Andrew Justin, Howald, Max Ira, Wahby, Riad Samir, Walfish, Michael
Year of Publication 09.08.2022
Get full text
Year of Publication 09.08.2022
Patent