Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation
- Piotr Mardziel
- Michael Hicks
- et al.
- 2013
- Journal of Computer Security
Publications
4 results for Michael Hicks
Deanonymizing mobility traces: Using social networks as a side-channel
- Mudhakar Srivatsa
- Mike Hicks
- 2012
- CCS 2012
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