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