| 2026 |
J |
jnl |
CoRR
Mateusz Dziemian, Maxwell Lin, Xiaohan Fu, Micha Nowak, Nick Winter, Eliot Krzysztof Jones, Andy Zou, Lama Ahmad, Kamalika Chaudhuri, Sahana Chennabasappa, Xander Davies, Lauren Deason, Benjamin L. Edelman, Tanner Emek, Ivan Evtimov, Jim Gust, Maia Hamin, Kat He, Klaudia Krawiecka, Riccardo Patana, Neil Perry, Troy Peterson, Xiangyu Qi, Javier Rando, Zifan Wang, Zihan Wang, Spencer Whitman, Eric Winsor, Arman Zharmagambetov, Matt Fredrikson, Zico Kolter
|
| 2026 |
J |
jnl |
CoRR
Kai Hu, Abhinav Aggarwal, Mehran Khodabandeh, David Zhang, Eric Hsin, Li Chen, Ankit Jain, Matt Fredrikson, Akash Bharadwaj
|
| 2026 |
J |
jnl |
CoRR
Kai Hu, Haoqi Hu, Matt Fredrikson
|
| 2026 |
J |
jnl |
CoRR
Weichen Yu, Ravi Mangal, Yinyi Luo, Kai Hu, Jingxuan He, Corina S. Pasareanu, Matt Fredrikson
|
| 2026 |
โ |
conf |
ICISSP (2)
Saranya Vijayakumar, Norman Sadeh, Matt Fredrikson
|
| 2026 |
J |
jnl |
CoRR
Xiaoze Liu, Weichen Yu, Matt Fredrikson, Xiaoqian Wang, Jing Gao
|
| 2026 |
J |
jnl |
CoRR
Xiaoze Liu, Ruowang Zhang, Weichen Yu, Siheng Xiong, Liu He, Feijie Wu, Hoin Jung, Matt Fredrikson, Xiaoqian Wang, Jing Gao
|
| 2025 |
J |
jnl |
CoRR
Weichen Yu, Ravi Mangal, Terry Yue Zhuo, Matt Fredrikson, Corina S. Pasareanu
|
| 2025 |
J |
jnl |
CoRR
Eliot Krzysztof Jones, Alexander Robey, Andy Zou, Zachary Ravichandran, George J. Pappas, Hamed Hassani, Matt Fredrikson, J. Zico Kolter
|
| 2025 |
A* |
conf |
ICLR
Maksym Andriushchenko, Alexandra Souly, Mateusz Dziemian, Derek Duenas, Maxwell Lin, Justin Wang, Dan Hendrycks, Andy Zou, J. Zico Kolter, Matt Fredrikson, Yarin Gal, Xander Davies
|
| 2025 |
A* |
conf |
ICLR
Priyanshu Kumar, Elaine Lau, Saranya Vijayakumar, Tu Trinh, Elaine T. Chang, Vaughn Robinson, Shuyan Zhou, Matt Fredrikson, Sean M. Hendryx, Summer Yue, Zifan Wang
|
| 2025 |
J |
jnl |
CoRR
Justin W. Lin, Eliot Krzysztof Jones, Donovan Julian Jasper, Ethan Jun-shen Ho, Anna Wu, Arnold Tianyi Yang, Neil Perry, Andy Zou, Matt Fredrikson, J. Zico Kolter, Percy Liang, Dan Boneh, Daniel E. Ho
|
| 2025 |
J |
jnl |
CoRR
Satyapriya Krishna, Andy Zou, Rahul Gupta, Eliot Krzysztof Jones, Nick Winter, Dan Hendrycks, J. Zico Kolter, Matt Fredrikson, Spyros Matsoukas
|
| 2025 |
J |
jnl |
CoRR
Dylan Sam, Alexander Robey, Andy Zou, Matt Fredrikson, J. Zico Kolter
|
| 2025 |
A* |
conf |
CHI
Weiran Lin, Anna Gerchanovsky, Omer Akgul, Lujo Bauer, Matt Fredrikson, Zifan Wang
|
| 2025 |
J |
jnl |
CoRR
Zheng Liu, Chen Gong, Terry Yue Zhuo, Kecen Li, Weichen Yu, Matt Fredrikson, Tianhao Wang
|
| 2025 |
B |
conf |
TrustCom
Saranya Vijayakumar, Christos Faloutsos, Matt Fredrikson
|
| 2025 |
J |
jnl |
CoRR
Andy Zou, Maxwell Lin, Eliot Krzysztof Jones, Micha Nowak, Mateusz Dziemian, Nick Winter, Alexander Grattan, Valent Nathanael, Ayla Croft, Xander Davies, Jai Patel, Robert Kirk, Nate Burnikell, Yarin Gal, Dan Hendrycks, J. Zico Kolter, Matt Fredrikson
|
| 2025 |
J |
jnl |
CoRR
Kai Hu, Weichen Yu, Li Zhang, Alexander Robey, Andy Zou, Chengming Xu, Haoqi Hu, Matt Fredrikson
|
| 2024 |
A* |
conf |
ICLR
Kai Hu, Klas Leino, Zifan Wang, Matt Fredrikson
|
| 2024 |
J |
jnl |
CoRR
Maksym Andriushchenko, Alexandra Souly, Mateusz Dziemian, Derek Duenas, Maxwell Lin, Justin Wang, Dan Hendrycks, Andy Zou, Zico Kolter, Matt Fredrikson, Eric Winsor, Jerome Wynne, Yarin Gal, Xander Davies
|
| 2024 |
A* |
conf |
ASE
Chi Zhang, Zifan Wang, Ruoshi Zhao, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu
|
| 2024 |
A* |
conf |
NeurIPS
Kai Hu, Weichen Yu, Yining Li, Tianjun Yao, Xiang Li, Wenhe Liu, Lijun Yu, Zhiqiang Shen, Kai Chen, Matt Fredrikson
|
| 2024 |
J |
jnl |
CoRR
Kai Hu, Weichen Yu, Tianjun Yao, Xiang Li, Wenhe Liu, Lijun Yu, Yining Li, Kai Chen, Zhiqiang Shen, Matt Fredrikson
|
| 2024 |
A* |
conf |
NeurIPS
Andy Zou, Long Phan, Justin Wang, Derek Duenas, Maxwell Lin, Maksym Andriushchenko, J. Zico Kolter, Matt Fredrikson, Dan Hendrycks
|
| 2024 |
J |
jnl |
CoRR
Andy Zou, Long Phan, Justin Wang, Derek Duenas, Maxwell Lin, Maksym Andriushchenko, Rowan Wang, Zico Kolter, Matt Fredrikson, Dan Hendrycks
|
| 2024 |
J |
jnl |
CoRR
Weichen Yu, Ziyan Yang, Shanchuan Lin, Qi Zhao, Jianyi Wang, Liangke Gui, Matt Fredrikson, Lu Jiang
|
| 2024 |
J |
jnl |
CoRR
Priyanshu Kumar, Elaine Lau, Saranya Vijayakumar, Tu Trinh, Scale Red Team, Elaine T. Chang, Vaughn Robinson, Sean Hendryx, Shuyan Zhou, Matt Fredrikson, Summer Yue, Zifan Wang
|
| 2024 |
J |
jnl |
CoRR
Weiran Lin, Anna Gerchanovsky, Omer Akgul, Lujo Bauer, Matt Fredrikson, Zifan Wang
|
| 2024 |
J |
jnl |
CoRR
Han Zhang, Zifan Wang, Mihir Dhamankar, Matt Fredrikson, Yuvraj Agarwal
|
| 2023 |
J |
jnl |
CoRR
Kai Hu, Klas Leino, Zifan Wang, Matt Fredrikson
|
| 2023 |
A* |
conf |
NeurIPS
Zifan Wang, Saranya Vijayakumar, Kaiji Lu, Vijay Ganesh, Somesh Jha, Matt Fredrikson
|
| 2023 |
J |
jnl |
CoRR
Ravi Mangal, Klas Leino, Zifan Wang, Kai Hu, Weicheng Yu, Corina S. Pasareanu, Anupam Datta, Matt Fredrikson
|
| 2023 |
J |
jnl |
CoRR
Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar, Somesh Jha, Vijay Ganesh, Zifan Wang
|
| 2023 |
A* |
conf |
ICLR
Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson
|
| 2023 |
J |
jnl |
CoRR
Andy Zou, Long Phan, Sarah Li Chen, James Campbell, Phillip Guo, Richard Ren, Alexander Pan, Xuwang Yin, Mantas Mazeika, Ann-Kathrin Dombrowski, Shashwat Goel, Nathaniel Li, Michael J. Byun, Zifan Wang, Alex Mallen, Steven Basart, Sanmi Koyejo, Dawn Song, Matt Fredrikson, J. Zico Kolter, Dan Hendrycks
|
| 2023 |
J |
jnl |
CoRR
Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson
|
| 2023 |
J |
jnl |
CoRR
Chi Zhang, Zifan Wang, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu
|
| 2023 |
J |
jnl |
CoRR
Andy Zou, Zifan Wang, J. Zico Kolter, Matt Fredrikson
|
| 2023 |
A* |
conf |
NeurIPS
Kai Hu, Andy Zou, Zifan Wang, Klas Leino, Matt Fredrikson
|
| 2022 |
J |
jnl |
CoRR
Marc Juarez, Samuel Yeom, Matt Fredrikson
|
| 2022 |
A* |
conf |
ICLR
Emily Black, Zifan Wang, Matt Fredrikson
|
| 2022 |
J |
jnl |
Trans. Mach. Learn. Res.
Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
|
| 2022 |
J |
jnl |
Comput. Secur.
Daniel Gibert, Matt Fredrikson, Carles Mateu, Jordi Planes, Quan Le
|
| 2022 |
J |
jnl |
CoRR
Zifan Wang, Yuhang Yao, Chaoran Zhang, Han Zhang, Youjie Kang, Carlee Joe-Wong, Matt Fredrikson, Anupam Datta
|
| 2022 |
J |
jnl |
CoRR
Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson
|
| 2022 |
J |
jnl |
IEEE Access
Helena Montenegro, Wilson Silva, Alex Gaudio, Matt Fredrikson, Asim Smailagic, Jaime S. Cardoso
|
| 2022 |
A |
conf |
MobiSys
Han Zhang, Yuvraj Agarwal, Matt Fredrikson
|
| 2022 |
A* |
conf |
ICML
Zifan Wang, Matt Fredrikson, Anupam Datta
|
| 2022 |
A* |
conf |
ICLR
Emily Black, Klas Leino, Matt Fredrikson
|
| 2022 |
โ |
conf |
NSV/FoMLAS@CAV
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
|
| 2022 |
A |
conf |
MobiSys
Han Zhang, Yuvraj Agarwal, Matt Fredrikson
|
| 2021 |
A |
conf |
CSF
Abhishek Bichhawat, Matt Fredrikson, Jean Yang
|
| 2021 |
J |
jnl |
CoRR
Zifan Wang, Matt Fredrikson, Anupam Datta
|
| 2021 |
A* |
conf |
USENIX Security Symposium
Han Zhang, Abhijith Anilkumar, Matt Fredrikson, Yuvraj Agarwal
|
| 2021 |
J |
jnl |
CoRR
Emily Black, Zifan Wang, Matt Fredrikson, Anupam Datta
|
| 2021 |
J |
jnl |
CoRR
Daniel Gibert, Matt Fredrikson, Carles Mateu, Jordi Planes, Quan Le
|
| 2021 |
โ |
conf |
NeurIPS (Competition and Demos)
Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Ricardo Shih, Zifan Wang
|
| 2021 |
A* |
conf |
ICLR
Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
|
| 2021 |
A* |
conf |
ICML
Klas Leino, Zifan Wang, Matt Fredrikson
|
| 2021 |
J |
jnl |
CoRR
Klas Leino, Zifan Wang, Matt Fredrikson
|
| 2021 |
โ |
conf |
FAccT
Emily Black, Matt Fredrikson
|
| 2021 |
J |
jnl |
CoRR
Emily Black, Matt Fredrikson
|
| 2021 |
A* |
conf |
KDD
Anupam Datta, Matt Fredrikson, Klas Leino, Kaiji Lu, Shayak Sen, Zifan Wang
|
| 2021 |
B |
conf |
VMCAI
Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrikson, Limin Jia
|
| 2021 |
A* |
conf |
NeurIPS
Klas Leino, Matt Fredrikson
|
| 2021 |
J |
jnl |
CoRR
Klas Leino, Matt Fredrikson
|
| 2021 |
J |
jnl |
CoRR
Emily Black, Klas Leino, Matt Fredrikson
|
| 2021 |
J |
jnl |
CoRR
Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
|
| 2021 |
J |
jnl |
CoRR
Jason I. Hong, Yuvraj Agarwal, Matt Fredrikson, Mike Czapik, Shawn Hanna, Swarup Sahoo, Judy Chun, Won-Woo Chung, Aniruddh Iyer, Ally Liu, Shen Lu, Rituparna Roychoudhury, Qian Wang, Shan Wang, Siqi Wang, Vida Zhang, Jessica Zhao, Yuan Jiang, Haojian Jin, Sam Kim, Evelyn Kuo, Tianshi Li, Jinping Liu, Yile Liu, Robert Zhang
|
| 2020 |
A |
conf |
AsiaCCS
Abhishek Bichhawat, Matt Fredrikson, Jean Yang, Akash Trehan
|
| 2020 |
J |
jnl |
CoRR
Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
|
| 2020 |
โ |
conf |
FAT*
Emily Black, Samuel Yeom, Matt Fredrikson
|
| 2020 |
A* |
conf |
IJCAI
Samuel Yeom, Matt Fredrikson
|
| 2020 |
J |
jnl |
CoRR
Samuel Yeom, Matt Fredrikson
|
| 2020 |
A* |
conf |
ACL
Kaiji Lu, Piotr Mardziel, Klas Leino, Matt Fredrikson, Anupam Datta
|
| 2020 |
J |
jnl |
CoRR
Kaiji Lu, Piotr Mardziel, Klas Leino, Matt Fredrikson, Anupam Datta
|
| 2020 |
โ |
conf |
CVPR Workshops
Zifan Wang, Piotr Mardziel, Anupam Datta, Matt Fredrikson
|
| 2020 |
J |
jnl |
CoRR
Zifan Wang, Piotr Mardziel, Anupam Datta, Matt Fredrikson
|
| 2020 |
A |
conf |
AISTATS
Zilong Tan, Samuel Yeom, Matt Fredrikson, Ameet Talwalkar
|
| 2020 |
J |
jnl |
J. Comput. Secur.
Samuel Yeom, Irene Giacomelli, Alan Menaged, Matt Fredrikson, Somesh Jha
|
| 2020 |
A* |
conf |
LICS
Arthur Azevedo de Amorim, Matt Fredrikson, Limin Jia
|
| 2020 |
A* |
conf |
NeurIPS
Zifan Wang, Haofan Wang, Shakul Ramkumar, Piotr Mardziel, Matt Fredrikson, Anupam Datta
|
| 2020 |
J |
jnl |
CoRR
Zifan Wang, Haofan Wang, Shakul Ramkumar, Matt Fredrikson, Piotr Mardziel, Anupam Datta
|
| 2020 |
A* |
conf |
USENIX Security Symposium
Klas Leino, Matt Fredrikson
|
| 2019 |
โ |
conf |
ICLR (Poster)
Klas Leino, Emily Black, Matt Fredrikson, Shayak Sen, Anupam Datta
|
| 2019 |
J |
jnl |
CoRR
Emily Black, Samuel Yeom, Matt Fredrikson
|
| 2019 |
J |
jnl |
CoRR
Zilong Tan, Samuel Yeom, Matt Fredrikson, Ameet Talwalkar
|
| 2019 |
J |
jnl |
CoRR
Klas Leino, Matt Fredrikson
|
| 2018 |
J |
jnl |
CoRR
Abhishek Bichhawat, Akash Trehan, Jean Yang, Matt Fredrikson
|
| 2018 |
J |
jnl |
CoRR
Klas Leino, Matt Fredrikson, Emily Black, Shayak Sen, Anupam Datta
|
| 2018 |
A* |
conf |
NeurIPS
Samuel Yeom, Anupam Datta, Matt Fredrikson
|
| 2018 |
J |
jnl |
CoRR
Samuel Yeom, Anupam Datta, Matt Fredrikson
|
| 2018 |
A |
conf |
ITC
Klas Leino, Shayak Sen, Anupam Datta, Matt Fredrikson, Linyi Li
|
| 2018 |
J |
jnl |
CoRR
Klas Leino, Linyi Li, Shayak Sen, Anupam Datta, Matt Fredrikson
|
| 2018 |
A |
conf |
CSF
Samuel Yeom, Irene Giacomelli, Matt Fredrikson, Somesh Jha
|
| 2018 |
โ |
conf |
HotSoS
Ryan Wagner, David Garlan, Matt Fredrikson
|
| 2017 |
J |
jnl |
CoRR
Gaurav Srivastava, Saksham Chitkara, Kevin Ku, Swarup Kumar Sahoo, Matt Fredrikson, Jason I. Hong, Yuvraj Agarwal
|
| 2017 |
J |
jnl |
CoRR
Anupam Datta, Matt Fredrikson, Gihyuk Ko, Piotr Mardziel, Shayak Sen
|
| 2017 |
J |
jnl |
CoRR
Samuel Yeom, Matt Fredrikson, Somesh Jha
|
| 2016 |
A |
conf |
EuroS&P
Nicolas Papernot, Patrick D. McDaniel, Somesh Jha, Matt Fredrikson, Z. Berkay Celik, Ananthram Swami
|
| 2015 |
A* |
conf |
CCS
Matt Fredrikson, Somesh Jha, Thomas Ristenpart
|
| 2015 |
J |
jnl |
CoRR
Nicolas Papernot, Patrick D. McDaniel, Somesh Jha, Matt Fredrikson, Z. Berkay Celik, Ananthram Swami
|
| 2014 |
A |
conf |
ACSAC
Drew Davidson, Matt Fredrikson, Benjamin Livshits
|
| 2010 |
โ |
ch. |
Cyber Situational Awareness
Matt Fredrikson, Mihai Christodorescu, Jonathon T. Giffin, Somesh Jha
|
| 2010 |
A* |
conf |
USENIX Security Symposium
Roberto Paleari, Lorenzo Martignoni, Emanuele Passerini, Drew Davidson, Matt Fredrikson, Jonathon T. Giffin, Somesh Jha
|
| 2010 |
โ |
ch. |
Cyber Situational Awareness
Paul Barford, Marc Dacier, Thomas G. Dietterich, Matt Fredrikson, Jonathon T. Giffin, Sushil Jajodia, Somesh Jha, Jason H. Li, Peng Liu, Peng Ning, Xinming Ou, Dawn Song, Laura Strater, Vipin Swarup, George P. Tadda, C. Wang, John Yen
|
| 2010 |
โ |
ch. |
Link Mining
Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han
|
| 2010 |
A* |
conf |
IEEE Symposium on Security and Privacy
Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan
|
| 2009 |
J |
jnl |
Proc. VLDB Endow.
Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han
|
| 2008 |
A |
conf |
RAID
Lorenzo Martignoni, Elizabeth Stinson, Matt Fredrikson, Somesh Jha, John C. Mitchell
|