Publications by Matt Fredrikson

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

How to run POSIX apps in a minimal picoprocess

2019 • Proceedings of the 2013 USENIX Annual Technical Conference, USENIX ATC 2013 • 321-332
Howell J, Parno B, Douceur JR
Displaying 26 - 50 of 107