Privacy-Preserving Cryptographic Protocols
Has parts
Steine, Asgeir; Thuen, Øystein. Dynamic Group Signatures with Tokens. .Gjøsteen, Kristian; Steine, Asgeir; Petrides, George. Formal verification of reductions in cryptography. Proceedings of the Norwegian Information Security Conference 2010, 2010.
Gjøsteen, Kristian; Petrides, George; Steine, Asgeir. A Novel Framework for Protocol Analysis. JISIS. (ISSN 2182-2069 (printed) 2182-2077 (online)). 1(2/3): 89-106, 2011.
Gjøsteen, Kristian; Petrides, George; Steine, Asgeir. Towards Privacy Preserving Mobile Communications. .
Steine, Asgeir. Weak Blind Signatures and Mobile Payment. .