Publications by Matt Fredrikson

2023
Mangal R, Leino K, Wang Z, Hu K, Yu W, Pasareanu C, Datta A, Fredrikson M

2023 • 11th International Conference on Learning Representations Iclr 2023
Mangal R, Wang Z, Zhang C, Leino K, Păsăreanu C, Fredrikson M

2023
Zhang C, Wang Z, Mangal R, Fredrikson M, Jia L, Pasareanu C

2023
Zou A, Wang Z, Carlini N, Nasr M, Kolter JZ, Fredrikson M

2023
Hu K, Zou A, Wang Z, Leino K, Fredrikson M

2023 • Advances in Neural Information Processing Systems
Hu K, Zou A, Wang Z, Leino K, Fredrikson M

2022 • Iclr 2022 10th International Conference on Learning Representations
Black E, Wang Z, Datta A, Fredrikson M

2022 • Transactions on Machine Learning Research • 1(1):
Leino K, Zhang C, Mangal R, Fredrikson M, Parno B, Pasareanu C

2022 • Computers and Security • 113:
Gibert D, Fredrikson M, Mateu C, Planes J, Le Q

2022
Wang Z, Yao Y, Zhang C, Zhang H, Kang Y, Joe-Wong C, Fredrikson M, Datta A

2022
Mangal R, Wang Z, Zhang C, Leino K, Pasareanu C, Fredrikson M

2022 • IEEE Access • 10:28333-28347
Montenegro H, Silva W, Gaudio A, Fredrikson M, Smailagic A, Cardoso JS

2022 620-621
Zhang H, Agarwal Y, Fredrikson M

2022 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162
Wang Z, Fredrikson M, Datta A

2022 • Iclr 2022 10th International Conference on Learning Representations
Black E, Leino K, Fredrikson M

2022 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 13466:96-130
Leino K, Fromherz A, Mangal R, Fredrikson M, Parno B, Pasareanu C

2022
Leino K, Fromherz A, Mangal R, Fredrikson M, Parno B, Păsăreanu C

2022 302-315
Zhang H, Agarwal Y, Fredrikson M

2021 • Proceedings - IEEE Computer Security Foundations Symposium • 406-421
Bichhawat A, Fredrikson M, Yang J

2021 • PROCEEDINGS OF THE 30TH USENIX SECURITY SYMPOSIUM • 4187-4204
Zhang H, Anilkumar A, Fredrikson M, Agarwal Y

2021
Black E, Wang Z, Fredrikson M, Datta A

2021
Gibert D, Fredrikson M, Mateu C, Planes J, Le Q

2021 • NEURIPS 2021 COMPETITIONS AND DEMONSTRATIONS TRACK, VOL 176 • 176:302-307
Datta A, Fredrikson M, Leino K, Lu K, Wang Z, Shih R, Sen S

2021
Fromherz A, Leino K, Fredrikson M, Parno B, Păsăreanu C

2021 • Iclr 2021 9th International Conference on Learning Representations
Fromherz A, Leino K, Fredrikson M, Parno B, Pašăreanu C