Deanonymizing mobility traces: Using social networks as a side-channelMudhakar SrivatsaMike Hicks2012CCS 2012
Dynamic enforcement of knowledge-based security policiesPiotr MardzielStephen Magillet al.2010CSF 2010
Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretationPiotr MardzielMichael Hickset al.2013Journal of Computer Security