Conference Automating Audit with Policy Inference 2021 • Proceedings - IEEE Computer Security Foundations Symposium • 406-421 Bichhawat A, Fredrikson M, Yang J
Conference Capture: Centralized Library Management for Heterogeneous IoT Devices 2021 • PROCEEDINGS OF THE 30TH USENIX SECURITY SYMPOSIUM • 4187-4204 Zhang H, Anilkumar A, Fredrikson M, Agarwal Y
Preprint Enhancing the Insertion of NOP Instructions to Obfuscate Malware via Deep Reinforcement Learning 2021 Gibert D, Fredrikson M, Mateu C, Planes J, Le Q
Conference Exploring Conceptual Soundness with TruLens 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
Conference FAST GEOMETRIC PROJECTIONS FOR LOCAL ROBUSTNESS CERTIFICATION 2021 • Iclr 2021 9th International Conference on Learning Representations Fromherz A, Leino K, Fredrikson M, Parno B, Pašăreanu C
Conference Globally-Robust Neural Networks 2021 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139 • 139: Leino K, Wang Z, Fredrikson M
Conference Leave-one-out Unfairness 2021 • PROCEEDINGS OF THE 2021 ACM CONFERENCE ON FAIRNESS, ACCOUNTABILITY, AND TRANSPARENCY, FACCT 2021 • 285-295 Black E, Fredrikson M
Conference Machine Learning Explainability and Robustness: Connected at the Hip 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
Chapter Netter: Probabilistic, Stateful Network Models 2021 • Lecture Notes in Computer Science • 12597:486-508 Zhang H, Zhang C, de Amorim AA, Agarwal Y, Fredrikson M, Jia L
Conference Relaxing Local Robustness 2021 • Advances in Neural Information Processing Systems • 34: Leino K, Fredrikson M
Preprint Robust Models Are More Interpretable Because Attributions Look Normal 2021 Wang Z, Fredrikson M, Datta A
Preprint Self-Correcting Neural Networks For Safe Classification 2021 Leino K, Fromherz A, Mangal R, Fredrikson M, Parno B, Păsăreanu C
Preprint The Design of the User Interfaces for Privacy Enhancements for Android 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
Journal Article Contextual and Granular Policy Enforcement in Database-backed Applications 2020 432-444 Bichhawat A, Fredrikson M, Yang J, Trehan A
Preprint Fast Geometric Projections for Local Robustness Certification 2020 Fromherz A, Leino K, Fredrikson M, Parno B, Păsăreanu C
Conference FlipTest: Fairness Testing via Optimal Transport 2020 • FAT* '20: PROCEEDINGS OF THE 2020 CONFERENCE ON FAIRNESS, ACCOUNTABILITY, AND TRANSPARENCY • 111-121 Black E, Yeom S, Fredrikson M
Conference Individual Fairness Revisited: Transferring Techniques from Adversarial Robustness 2020 • IJCAI International Joint Conference on Artificial Intelligence • 437-443 Yeom S, Fredrikson M
Conference Influence Paths for Characterizing Subject-Verb Number Agreement in LSTM Language Models 2020 • Proceedings of the conference. Association for Computational Linguistics. Meeting • 4748-4757 Lu K, Mardziel P, Leino K, Fredrikson M, Datta A
Preprint Interpreting Interpretations: Organizing Attribution Methods by Criteria 2020 Wang Z, Mardziel P, Datta A, Fredrikson M
Conference Interpreting Interpretations: Organizing Attribution Methods by Criteria 2020 • Conference on Computer Vision and Pattern Recognition Workshops IEEE Computer Society Conference on Computer Vision and Pattern Recognition. Workshops • 48-55 Wang Z, Mardziel P, Datta A, Fredrikson M
Journal Article Learning Fair Representations for Kernel Models 2020 • INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 108 • 108: Tan Z, Yeom S, Fredrikson M, Talwalkar A
