Publications by Matt Fredrikson

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 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 • Iclr 2021 9th International Conference on Learning Representations
Fromherz A, Leino K, Fredrikson M, Parno B, Pašăreanu C

2021
Leino K, Wang Z, Fredrikson M

2021 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139 • 139:
Leino K, Wang Z, Fredrikson M

2021 • PROCEEDINGS OF THE 2021 ACM CONFERENCE ON FAIRNESS, ACCOUNTABILITY, AND TRANSPARENCY, FACCT 2021 • 285-295
Black E, Fredrikson M

2021 • Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining • 4035-4036
Datta A, Fredrikson M, Leino K, Lu K, Sen S, Wang Z

2021 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 12597:486-508
Zhang H, Zhang C, de Amorim AA, Agarwal Y, Fredrikson M, Jia L

2021
Leino K, Fredrikson M

2021 • Advances in Neural Information Processing Systems • 34:
Leino K, Fredrikson M

2021
Wang Z, Fredrikson M, Datta A

2021
Black E, Leino K, Fredrikson M

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

2021
Hong JI, Agarwal Y, Fredrikson M, Czapik M, Hanna S, Sahoo S, Chun J, Chung W-W, Iyer A, Liu A, Lu S, Roychoudhury R, Wang Q, Wang S, Wang S, Zhang V, Zhao J, Jiang Y, Jin H, Kim S, Kuo E, Li T, Liu J, Liu Y, Zhang R

2020 432-444
Bichhawat A, Fredrikson M, Yang J, Trehan A

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

2020 • FAT* '20: PROCEEDINGS OF THE 2020 CONFERENCE ON FAIRNESS, ACCOUNTABILITY, AND TRANSPARENCY • 111-121
Black E, Yeom S, Fredrikson M

2020 • IJCAI International Joint Conference on Artificial Intelligence • 437-443
Yeom S, Fredrikson M

2020 • Proceedings of the conference. Association for Computational Linguistics. Meeting • 4748-4757
Lu K, Mardziel P, Leino K, Fredrikson M, Datta A