Fredrikson, Matthew
17  results:
Search for persons X
?
1

Why Are They Collecting My Data? : Inferring the Purpose..:

Jin, Haojian ; Liu, Minyi ; Dodhia, Kevan...
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies.  2 (2018)  4 - p. 1-27 , 2018
 
?
2

Why Are They Collecting My Data?: Inferring the Purposes of..:

Jin, Haojian ; Liu, Minyi ; Dodhia, Kevan...
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies.  2 (2018)  4 - p. 1-27 , 2018
 
?
3

Verifying and Synthesizing Constant-Resource Implementation..:

, In: 2017 IEEE Symposium on Security and Privacy (SP),
 
?
4

Use Privacy in Data-Driven Systems : Theory and Experime..:

, In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security,
Datta, Anupam ; Fredrikson, Matthew ; Ko, Gihyuk.. - p. 1193-1210 , 2017
 
?
5

PrivacyStreams: Enabling Transparency in Personal Data Proc..:

Li, Yuanchun ; Chen, Fanglin ; Li, Toby Jia-Jun...
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies.  1 (2017)  3 - p. 1-26 , 2017
 
?
6

PrivacyStreams : Enabling Transparency in Personal Data ..:

Li, Yuanchun ; Chen, Fanglin ; Li, Toby Jia-Jun...
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies.  1 (2017)  3 - p. 1-26 , 2017
 
?
7

Satisfiability modulo counting : a new approach for anal..:

, In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Fredrikson, Matthew ; Jha, Somesh - p. 1-10 , 2014
 
?
 
?
 
1-15