Publications

3 results for Piotr Mardziel

Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation
- - Piotr Mardziel
  - Michael Hicks
  - et al.
- 2013
- Journal of Computer Security
Knowledge-oriented secure multiparty computation
- - Piotr Mardziel
  - Michael Hicks
  - et al.
- 2012
- PLAS 2012
Dynamic enforcement of knowledge-based security policies
- - Piotr Mardziel
  - Stephen Magill
  - et al.
- 2010
- CSF 2010