I am primarily interested in all aspects
of security in distributed systems. I have been working on applying
cryptographic techniques in building secure protocols to solve various
problems in distributed systems. Recently, I have also been
investigating the use of Trusted Computing technologies for securing
endnodes, and ways to make secure systems usable.
Recent talks
Usable Mobile Security
[slides (version of February 2012)]
The documents distributed from this page have been provided as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and
all rights therein are maintained by the authors or by other copyright
holders, notwithstanding that they have offered their works here
electronically. It is understood that all persons copying this
information will adhere to the terms and constraints invoked by each
author's copyright. These works may not be reposted without the
explicit permission of the copyright holder.
Authenticated encryption primitives for size-constrained
trusted computing (with Jan-Erik Ekberg and Alexandra Afanasyeva)
Security associations for wireless devices (with Kaisa
Nyberg)
In Stefanos Gritzalis, Tom Karygiannis, and Charalabos Skianis,
editors, Security and Privacy in Mobile and Wireless
Networking. Troubador Publishing Ltd, Leicester, UK,
2009. (pre-print
at Aalto publications site)
External Authenticated Non-Volatile Memory with Lifecycle Management for State Protection in Trusted Computing (with Jan-Erik Ekberg)
Security Associations in Personal Networks: A
Comparative Analysis (with Jani Suomalainen and Jukka
Valkonen)
In the Proceedings of the
Fourth European Workshop on Security and Privacy in Ad hoc and Sensor
Networks, Cambridge, UK, July 2007. Volume 4572 of
Lecture Notes in Computer Science,
Springer. (Springerlink)
In the Proceedings of the
Third European Workshop on Security and Privacy in Ad hoc and Sensor
Networks, Hamburg, Germany, September 2006. Volume 4357 of
Lecture Notes in Computer Science,
Springer. (available in Springerlink.)
Secure Device Pairing based on a Visual Channel (with Nitesh Saxena,
Jan-Erik Ekberg and Kari Kostiainen)
In Financial Cryptography 2002, Lecture Notes in Computer
Science, Volume 2357, pages 87-101, 2002. Springer-Verlag.
Authentication and key generation for mobile IP using
GSM authentication and roaming (with Henry Haverinen
and Tuomas Määttänen)
In Proceedings of the 2001 IEEE International Conference
on Communications (ICC 2001), Helsinki, Finland. Pages
2453-2457, vol. 8.
Available at IEEExplore
SEMPER - Secure Electronic Marketplace for Europe
(edited by Gerard Lacoste et al), Springer, Lecture Notes in
Computer Science 1854, 2000
Architecture -- Chapter 6 (with Birgit
Baum-Waidner et al)
The Payment Framework -- Chapter 11 (with
Michael Steiner)
More on Optimistic Fair Exchange (with Victor Shoup and
Michael Waidner)
A detailed report, Optimistic Fair Exchange of
Digital Signatures, describing the use of verifiable
encryption in fair exchange protocols is available as IBM Research Report RZ 2973, Nov. 1997.
An extended abstract with the same title appears in the proceedings of Eurocrypt '98. LNCS 1403, pp. 591-606.
A detailed report, Asynchronous Protocols for
Optimistic Fair Exchange, describing an improved fair
exchange protocol is available as IBM Research Report RZ 2976, Nov. 1997.
An extended
abstract with the same title appears in
the Proceedings of the 1998 IEEE Symposium on Security
and Privacy, pp. 86-99 (DOI Bookmark).
The jounal version appeared in
the IEEE Journal on Selected Areas in
Communications, 18(4):593-610, April 2000
(DOI Bookmark). The
pre-print version is here.
A Japanese translation appeared in Nikkei Computer,
pp. 195-201, issue of March 30, 1998.
An updated version appeared as a chapter in volume 53 of the series Advances in Computers published in 2000. (this is the final version submitted for publication.)
Proceedings of the Fourth European Symposium on
Research in Computer Security (ESORICS), LNCS 1146, pp.
131-143. Springer-Verlag,
Sep. 1996. (DOI Bookmark)
A slightly
extended version appeared in the Journal of Computer Security, 5(1), pp 91-108, 1997.
Proceedings
of the International Conference on Databases, Parallel
Architectures and Their Applications, PARBASE-90, pages
519-521, March
1990. (DOI Bookmark)
A Parallel Implementation of the Hough Transform Method. (with Ravi Shankar)
Term Paper for the Parallel Programming course, Fall 1988
(for Prof. E. E. Sibert).
Proceedings of the 32nd Midwest Symposium on Circuits
and Systems, Page(s): 321 -324 vol.1,
Urbana-Champaign, August
1989. (DOI Bookmark)