A Novel Framework for Protocol Analysis. - Kristian Gjøsteen; George Petrides; Asgeir Steine (ProvSec, 2011)

Towards Privacy Preserving Mobile Internet Communications - How Close Can We Get? - Kristian Gjøsteen; George Petrides; Asgeir Steine (ACISP, 2013)