papers
Publications (4)
cs.PL2018
Verifying and Synthesizing Constant-Resource Implementations with Types
Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson +1
cs.CR2015
Revisiting Differentially Private Regression: Lessons From Learning Theory and their Consequences
Xi Wu, Matthew Fredrikson, Wentao Wu +2
cs.LG2018
Supervising Feature Influence
Shayak Sen, Piotr Mardziel, Anupam Datta +1
cs.CR2017
Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs
Anupam Datta, Matthew Fredrikson, Gihyuk Ko +2