Piotr Mardziel
Piotr Mardziel
Systems Scientist, Carnegie Mellon University
Verified email at cmu.edu - Homepage
TitleCited byYear
Dynamic enforcement of knowledge-based security policies
P Mardziel, S Magill, M Hicks, M Srivatsa
2011 IEEE 24th Computer Security Foundations Symposium, 114-128, 2011
432011
Quantifying information flow for dynamic secrets
P Mardziel, MS Alvim, M Hicks, MR Clarkson
2014 IEEE Symposium on Security and Privacy, 540-555, 2014
402014
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation
P Mardziel, S Magill, M Hicks, M Srivatsa
Journal of Computer Security 21 (4), 463-532, 2013
322013
Proxy non-discrimination in data-driven systems
A Datta, M Fredrikson, G Ko, P Mardziel, S Sen
arXiv preprint arXiv:1707.08120, 2017
262017
Build it, break it, fix it: Contesting secure development
A Ruef, M Hicks, J Parker, D Levin, ML Mazurek, P Mardziel
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
262016
Use privacy in data-driven systems: Theory and experiments with machine learnt programs
A Datta, M Fredrikson, G Ko, P Mardziel, S Sen
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
232017
Knowledge inference for optimizing secure multi-party computation
A Rastogi, P Mardziel, M Hicks, MA Hammer
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and …, 2013
202013
Knowledge-oriented secure multiparty computation
P Mardziel, M Hicks, J Katz, M Srivatsa
Proceedings of the 7th Workshop on Programming Languages and Analysis for …, 2012
172012
Gender bias in neural natural language processing
K Lu, P Mardziel, F Wu, P Amancharla, A Datta
arXiv preprint arXiv:1807.11714, 2018
132018
Picking vs. guessing secrets: A game-theoretic analysis
MHR Khouzani, P Mardziel, C Cid, M Srivatsa
2015 IEEE 28th Computer Security Foundations Symposium, 243-257, 2015
92015
Evaluating design tradeoffs in numeric static analysis for Java
S Wei, P Mardziel, A Ruef, JS Foster, M Hicks
European Symposium on Programming, 653-682, 2018
52018
Build it break it: Measuring and comparing development security
A Ruef, M Hicks, J Parker, D Levin, A Memon, J Plane, P Mardziel
8th Workshop on Cyber Security Experimentation and Test ({CSET} 15), 2015
52015
Adversary gain vs defender loss in quantified information flow
P Mardziel, MS Alvim, M Hicks
Workshop on Foundations of Computer Security (FCS), 2014
52014
Knowledge inference for optimizing and enforcing secure computations
P Mardziel, M Hicks, J Katz, M Hammer, A Rastogi, M Srivatsa
Proceedings of the Annual Meeting of the US/UK International Technology Alliance, 2013
32013
Use Privacy in Data-Driven Systems
A Datta, M Fredrikson, G Ko, P Mardziel, S Sen
Proceedings of the ACM Conference on Computer and Communications Security, 2017
22017
Secure sharing in distributed information management applications: problems and directions
P Mardziel, A Bender, M Hicks, D Levin, M Srivatsa, J Katz
Proceedings of the Annual Conference of the International Technology …, 2010
22010
Improved two-dimensional warping
P Mardziel
Worcester Polytechnic Institute, 2005
22005
Supervising Feature Influence
S Sen, P Mardziel, A Datta, M Fredrikson
arXiv preprint arXiv:1803.10815, 2018
12018
Evaluating design tradeoffs in numeric static analysis for java (extended version)
S Wei, P Mardziel, A Ruef, JS Foster, M Hicks
Technical report, 2018
12018
Latent Factor Interpretations for Collaborative Filtering
A Datta, S Kovaleva, P Mardziel, S Sen
arXiv preprint arXiv:1711.10816, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–20