Tuomas Aura's Publications

2008

1.
Tuomas Aura, Janne Lindqvist, Michael Roe, Anish Mohammed, Chattering laptops, In proceedings of Privacy Enhancing Technologies Symposium (PETS 2008), LNCS ????, Leuven, Belgium, July 2008, Springer. [PS][PDF]

2007

2.
Tuomas Aura, Michael Roe, Steven J. Murdoch, Securing network location awareness with authenticated DHCP , In proceedings of IEEE SecureComm 2007, Nice, France, September 2007. [PS][PDF]

3.
Tuomas Aura, Moritz Becker, Michael Roe, Piotr Zielinski, Reconciling multiple IPsec and firewall policies , In proceedings of Security Protocols Workshop 2007, Brno, Chek Republic, April 2007. To appear in Springer LNCS. [PS][PDF]

2006

4.
Tuomas Aura and Michael Roe. Designing the Mobile IPv6 Security Protocol. Annales des télécommunications / Annals of telecommunications, special issue on Network and information systems security, volume 61 number 3-4, March-April 2006. Editors Frédéric Cuppens, Hervé Debar, and Elisa Bertino. Hermes Science Publications. Also appeared as Microsoft Research Technical Report MSR-TP-2006-42. [PS][PDF]

5.
Tuomas Aura, Thomas A. Kuhn and Michael Roe. Scanning electronic documents for Personally identifiable information. In proceedings of Workshop on Privacy in the Electronic Society (WPES 2006), Alexandria, VA, USA, October 2006. [PS][PDF]

2005

6.
Tuomas Aura and Michael Roe. Reducing Reauthentication Delay in Wireless Networks. In proceedings of IEEE SecureComm 2005, Athens, Greece, September 2005. [PS][PDF]

7.
Tuomas Aura, Aarthi Nagarajan, and Andrei Gurtov. Analysis of the HIP Base Exchange Protocol. In proceedings of 10th Australasian Conference on Information Security and Privacy (ACISP 2005), Brisbane, Australia, July 2005. [PS][PDF]

8.
Tuomas Aura, Michael Roe and Anish Mohammed. Experiences with Host-to-Host IPsec Security Protocols, 13th International Workshop, Cambridge, UK, April 2005. To appear. [PS][PDF]

9.
Tuomas Aura. Cryptographically Generated Addresses (CGA). RFC 3972, IETF, March 2005. [TXT]

2004

10.
Tuomas Aura and Alf Zugenmaier. Privacy, Control and Internet Mobility. Position paper in Security Protocols, 12th International Workshop, Cambridge, UK, April 2004. To appear. [PS][PDF]

11.
Tuomas Aura, Pekka Nikander and Gonzalo Camarillo. Effects of Mobility and Multihoming on Transport-Protocol Security. In Proc. 2004 IEEE Symosium on Security and Privacy (SSP'04), Berkeley, CA USA, May 2004. IEEE Computer Society. [PS][PDF]

2003

12.
Tuomas Aura. Cryptographically Generated Addresses (CGA). In Proc. 6th Information Security Conference (ISC'03), volume 2851 of LNCS, pages 29-43, Bristol, UK, October 2003. Springer. [PS][PDF] (Presentatation [PPT][PDF])

13.
Tuomas Aura. Mobile IPv6 Security. In Proc. Security Protocols, 10th International Workshop, volume 2845 of LNCS, pages 215-228, Cambridge, UK, April 2002. Springer 2003. [PS][PDF]

14.
Pekka Nikander, Tuomas Aura, Jari Arkko and Gabriel Montenegro. Mobile IP version 6 (MIPv6) Route Optimization Security Design . In Proc. IEEE Vehicular Technology Conference Fall 2003, Orlando, FL USA, October 2003. IEEE Press. [PS][PDF]

2002

15.
Tuomas Aura, Michael Roe, and Jari Arkko. Security of internet location management . In Proc. 18th Annual Computer Security Applications Conference (ACSAC), pages 78-87, Las Vegas, NV USA, December 2002. IEEE Press. [PS][PDF] (Presentation [PPT][PDF])

16.
Jari Arkko, Tuomas Aura, James Kempf, Vesa-Matti Mäntylä, Pekka Nikander, and Michael Roe. Securing IPv6 neighbor discovery and router discovery . In Proc. 2002 ACM Workshop on Wireless Security (WiSe), pages 77-86, Atlanta, GA USA, September 2002. ACM Press. [PS][PDF]

2001

17.
Tuomas Aura and Dieter Gollmann. Communications security on the internet . Software Focus, 2(3):104-111, Autumn 2001.

18.
Tuomas Aura and Silja Mäki. Towards a survivable security architecture for ad-hoc networks . In Proc. Security Protocols, 9th International Workshop, volume 2467 of LNCS, pages 63-79, Cambridge, UK, April 2001. Springer. [PS][PDF]

2000

19.
Tuomas Aura. Authorization and Availability - Aspects of Open Network Security . Doctoral Thesis, appeared as HUT TCS Research Report A64, November 2000. [PS][PDF] (introduction only).

20.
Tuomas Aura, Johan Lilius. A causal semantics for time Petri nets . in Theoretical Computer Science, volume 243, issue 1-2, July 2000, pp. 409-447, Elsevier 2000.

21.
Silja Mäki, Tuomas Aura, Maarit Hietalahti. Group management protocol with digital personal appliances. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Project report, December 2000, Espoo, Finland.

22.
Silja Mäki, Maarit Hietalahti, Tuomas Aura. A Survey of Ad-hoc Network Security. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Interim project report, May-December 2000, Espoo, Finland,

23.
Silja Mäki, Tuomas Aura, Maarit Hietalahti. Robust Membership Management for Ad-hoc Groups . In Proc. 5th Nordic Workshop on Secure IT Systems (NORDSEC 2000). [PS][PDF].

24.
Tuomas Aura, Pekka Nikander, Jussipekka Leiwo. DOS-resistant authentication with client puzzles . Proc. Security Protocols Workshop 2000, Lecture Notes in Computer Science, volume 2133, pages 170-181, Cambridge, UK, April 2000, Springer 2001. [PS][PDF].

25.
Tuomas Aura, Carl Ellison. Privacy and Accountability in Certificate Systems. Research Report A61, Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, April 2000. [PS][PDF].

26.
Jussipekka Leiwo, Pekka Nikander, Tuomas Aura. Towards network denial of service resistant protocols. in Proc. Sixteenth Annual Working Conference on Information Security (SEC2000), IFIP Series, Vol. 175, Beijing, China, August 2000, Kluwer Academic Publishers. [PS][PDF]. (See the Protocols workshop paper above for actual solutions.)

27.
John R. Hughes, Tuomas Aura, Matt Bishop. Using conservation of flow as a security mechanism in network protocols . in Proc. 2000 IEEE Symposium on Security and Privacy, Oakland, CA USA, May 2000, pp.132-141, IEEE Computer Society Press 2000. [PS][PDF]

28.
Tuomas Aura, Matt Bishop, Dean Sniegowski. Analyzing single-server network inhibition. in Proc. 2000 IEEE Computer Security Foundations Workshop, Cambridge, UK, July 2000, pp. 108-117,IEEE Computer Society Press 2000. [PS][PDF][slides PS].

1999

29.
Tuomas Aura, Dieter Gollmann. Software license management with smart cards. in Proc. USENIX Workshop on Smartcard Technology, Chicago, May 1999, pp. 75-85, USENIX Association 1999. [PS][PDF]

30.
Tuomas Aura, Distributed access-rights management with delegation certificates , Secure Internet Programming: Security Issues for Distributed and Mobile Objects, J. Vitek and C. Jensen (Eds.), LNCS 1603, pp. 211-235, Springer 1999. [PS][PDF]. (Copyright 1999 Springer )

1998

31.
Tuomas Aura, Petteri Koponen, Juhana Räsänen, Delegation-based access control for intelligent network services , in proceedings of ECOOP Workshop on Distributed Object Security, Brussels, Belgium, July 1998. [PS][PDF].

32.
Tuomas Aura, Fast access control decisions from delegation certificate databases , in proceedings of 3rd Australasian Conference on Information Security and Privacy ACISP '98, Brisbane, Australia, July 1998, pp. 284-295, Lecture Notes in Computer Science 1438, Springer 1998. [PS][PDF].

33.
Tuomas Aura, On the structure of delegation networks, in proceedings of 11th IEEE Computer Security Foundations Workshop, Rockport, Massachusetts, June 1998, pp. 14-26, IEEE Computer Society Press 1998. [PS][PDF].

1997

34.
Tuomas Aura, On the structure of delegation networks, Licentiate's thesis, December 1997, appeared as HUT Digital Systems Laboratory Report A48, December 1997. [PS][PDF],. (See also the CSFW'98 paper above.)

35.
Antti Huima and Tuomas Aura. Using multimodal logic to express conflicting interests in security protocols . In Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, NJ USA, September 1997.

36.
Tuomas Aura, Pekka Nikander, Stateless connections, in proceedings of International Conference on Information and Communications Security ICICS'97, Beijing, November 1997, pp. 87-97, Lecture Notes in Computer Science 1334, Springer 1997. [PS][PDF].

37.
Tuomas Aura, Comparison of graph-search algorithms for authorization verification in delegation networks , in the proceedings of 2nd Nordic Workshop on Secure Computer Systems NORDSEC'97, Espoo, Finland, November 1997. [PS][PDF]. (See the ACISP'98 paper above.)

38.
Tuomas Aura, Johan Lilius, Time processes of time Petri nets, proceedings of 18th Int. Conf. on Application and Theory of Petri Nets (ATPN), Toulouse, June 1997, pp. 136-155, Lecture Notes in Computer Science 1248, Springer 1997. [PS][PDF].

39.
Tuomas Aura, Strategies against replay attacks, in proceedings of 10th IEEE Computer Security Foundations Workshop, Rockport MA, June 1997, pp. 59-68, IEEE Computer Society Press 1997. (Copyright 1997 IEEE) [PS][PDF].

40.
Tuomas Aura, Pekka Nikander Stateless connections, HUT Digital Systems Laboratory Report A46, May 1997. [PS][PDF],. (See also the more concise ICICS'97 paper above.)

1996

41.
Tuomas Aura, Practical invisibility in digital communication, in proceedings of the Workshop on Information Hiding, Cambridge, England, May 1996, pp. 265-278, volume 1174 of Lecture Notes in Computer Science, Springer 1996. [PS][PDF].

42.
Tuomas Aura, Time processes of time Petri nets, Master's thesis, February 1996, appeared as HUT Digital Systems Laboratory Report A38, August 1996. [PS][PDF]. (See also the more concise ATPN paper and the TCS article above.)

1995

43.
Tuomas Aura, Modelling the Needham-Schröder authentication protocol with high level Petri nets , Digital Systems Laboratory Report B14, September 1995. [PS][PDF],.

2008
1.	Tuomas Aura, Janne Lindqvist, Michael Roe, Anish Mohammed, Chattering laptops, In proceedings of Privacy Enhancing Technologies Symposium (PETS 2008), LNCS ????, Leuven, Belgium, July 2008, Springer. [PS][PDF]
2007
2.	Tuomas Aura, Michael Roe, Steven J. Murdoch, Securing network location awareness with authenticated DHCP , In proceedings of IEEE SecureComm 2007, Nice, France, September 2007. [PS][PDF]

3.	Tuomas Aura, Moritz Becker, Michael Roe, Piotr Zielinski, Reconciling multiple IPsec and firewall policies , In proceedings of Security Protocols Workshop 2007, Brno, Chek Republic, April 2007. To appear in Springer LNCS. [PS][PDF]
2006
4.	Tuomas Aura and Michael Roe. Designing the Mobile IPv6 Security Protocol. Annales des télécommunications / Annals of telecommunications, special issue on Network and information systems security, volume 61 number 3-4, March-April 2006. Editors Frédéric Cuppens, Hervé Debar, and Elisa Bertino. Hermes Science Publications. Also appeared as Microsoft Research Technical Report MSR-TP-2006-42. [PS][PDF]

5.	Tuomas Aura, Thomas A. Kuhn and Michael Roe. Scanning electronic documents for Personally identifiable information. In proceedings of Workshop on Privacy in the Electronic Society (WPES 2006), Alexandria, VA, USA, October 2006. [PS][PDF]
2005
6.	Tuomas Aura and Michael Roe. Reducing Reauthentication Delay in Wireless Networks. In proceedings of IEEE SecureComm 2005, Athens, Greece, September 2005. [PS][PDF]

7.	Tuomas Aura, Aarthi Nagarajan, and Andrei Gurtov. Analysis of the HIP Base Exchange Protocol. In proceedings of 10th Australasian Conference on Information Security and Privacy (ACISP 2005), Brisbane, Australia, July 2005. [PS][PDF]

8.	Tuomas Aura, Michael Roe and Anish Mohammed. Experiences with Host-to-Host IPsec Security Protocols, 13th International Workshop, Cambridge, UK, April 2005. To appear. [PS][PDF]

9.	Tuomas Aura. Cryptographically Generated Addresses (CGA). RFC 3972, IETF, March 2005. [TXT]
2004
10.	Tuomas Aura and Alf Zugenmaier. Privacy, Control and Internet Mobility. Position paper in Security Protocols, 12th International Workshop, Cambridge, UK, April 2004. To appear. [PS][PDF]

11.	Tuomas Aura, Pekka Nikander and Gonzalo Camarillo. Effects of Mobility and Multihoming on Transport-Protocol Security. In Proc. 2004 IEEE Symosium on Security and Privacy (SSP'04), Berkeley, CA USA, May 2004. IEEE Computer Society. [PS][PDF]
2003
12.	Tuomas Aura. Cryptographically Generated Addresses (CGA). In Proc. 6th Information Security Conference (ISC'03), volume 2851 of LNCS, pages 29-43, Bristol, UK, October 2003. Springer. [PS][PDF] (Presentatation [PPT][PDF])

13.	Tuomas Aura. Mobile IPv6 Security. In Proc. Security Protocols, 10th International Workshop, volume 2845 of LNCS, pages 215-228, Cambridge, UK, April 2002. Springer 2003. [PS][PDF]

14.	Pekka Nikander, Tuomas Aura, Jari Arkko and Gabriel Montenegro. Mobile IP version 6 (MIPv6) Route Optimization Security Design . In Proc. IEEE Vehicular Technology Conference Fall 2003, Orlando, FL USA, October 2003. IEEE Press. [PS][PDF]
2002
15.	Tuomas Aura, Michael Roe, and Jari Arkko. Security of internet location management . In Proc. 18th Annual Computer Security Applications Conference (ACSAC), pages 78-87, Las Vegas, NV USA, December 2002. IEEE Press. [PS][PDF] (Presentation [PPT][PDF])

16.	Jari Arkko, Tuomas Aura, James Kempf, Vesa-Matti Mäntylä, Pekka Nikander, and Michael Roe. Securing IPv6 neighbor discovery and router discovery . In Proc. 2002 ACM Workshop on Wireless Security (WiSe), pages 77-86, Atlanta, GA USA, September 2002. ACM Press. [PS][PDF]
2001
17.	Tuomas Aura and Dieter Gollmann. Communications security on the internet . Software Focus, 2(3):104-111, Autumn 2001.

18.	Tuomas Aura and Silja Mäki. Towards a survivable security architecture for ad-hoc networks . In Proc. Security Protocols, 9th International Workshop, volume 2467 of LNCS, pages 63-79, Cambridge, UK, April 2001. Springer. [PS][PDF]
2000
19.	Tuomas Aura. Authorization and Availability - Aspects of Open Network Security . Doctoral Thesis, appeared as HUT TCS Research Report A64, November 2000. [PS][PDF] (introduction only).

20.	Tuomas Aura, Johan Lilius. A causal semantics for time Petri nets . in Theoretical Computer Science, volume 243, issue 1-2, July 2000, pp. 409-447, Elsevier 2000.

21.	Silja Mäki, Tuomas Aura, Maarit Hietalahti. Group management protocol with digital personal appliances. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Project report, December 2000, Espoo, Finland.

22.	Silja Mäki, Maarit Hietalahti, Tuomas Aura. A Survey of Ad-hoc Network Security. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Interim project report, May-December 2000, Espoo, Finland,

23.	Silja Mäki, Tuomas Aura, Maarit Hietalahti. Robust Membership Management for Ad-hoc Groups . In Proc. 5th Nordic Workshop on Secure IT Systems (NORDSEC 2000). [PS][PDF].

24.	Tuomas Aura, Pekka Nikander, Jussipekka Leiwo. DOS-resistant authentication with client puzzles . Proc. Security Protocols Workshop 2000, Lecture Notes in Computer Science, volume 2133, pages 170-181, Cambridge, UK, April 2000, Springer 2001. [PS][PDF].

25.	Tuomas Aura, Carl Ellison. Privacy and Accountability in Certificate Systems. Research Report A61, Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, April 2000. [PS][PDF].

26.	Jussipekka Leiwo, Pekka Nikander, Tuomas Aura. Towards network denial of service resistant protocols. in Proc. Sixteenth Annual Working Conference on Information Security (SEC2000), IFIP Series, Vol. 175, Beijing, China, August 2000, Kluwer Academic Publishers. [PS][PDF]. (See the Protocols workshop paper above for actual solutions.)

27.	John R. Hughes, Tuomas Aura, Matt Bishop. Using conservation of flow as a security mechanism in network protocols . in Proc. 2000 IEEE Symposium on Security and Privacy, Oakland, CA USA, May 2000, pp.132-141, IEEE Computer Society Press 2000. [PS][PDF]

28.	Tuomas Aura, Matt Bishop, Dean Sniegowski. Analyzing single-server network inhibition. in Proc. 2000 IEEE Computer Security Foundations Workshop, Cambridge, UK, July 2000, pp. 108-117,IEEE Computer Society Press 2000. [PS][PDF][slides PS].
1999
29.	Tuomas Aura, Dieter Gollmann. Software license management with smart cards. in Proc. USENIX Workshop on Smartcard Technology, Chicago, May 1999, pp. 75-85, USENIX Association 1999. [PS][PDF]

30.	Tuomas Aura, Distributed access-rights management with delegation certificates , Secure Internet Programming: Security Issues for Distributed and Mobile Objects, J. Vitek and C. Jensen (Eds.), LNCS 1603, pp. 211-235, Springer 1999. [PS][PDF]. (Copyright 1999 Springer )
1998
31.	Tuomas Aura, Petteri Koponen, Juhana Räsänen, Delegation-based access control for intelligent network services , in proceedings of ECOOP Workshop on Distributed Object Security, Brussels, Belgium, July 1998. [PS][PDF].

32.	Tuomas Aura, Fast access control decisions from delegation certificate databases , in proceedings of 3rd Australasian Conference on Information Security and Privacy ACISP '98, Brisbane, Australia, July 1998, pp. 284-295, Lecture Notes in Computer Science 1438, Springer 1998. [PS][PDF].

33.	Tuomas Aura, On the structure of delegation networks, in proceedings of 11th IEEE Computer Security Foundations Workshop, Rockport, Massachusetts, June 1998, pp. 14-26, IEEE Computer Society Press 1998. [PS][PDF].
1997
34.	Tuomas Aura, On the structure of delegation networks, Licentiate's thesis, December 1997, appeared as HUT Digital Systems Laboratory Report A48, December 1997. [PS][PDF],. (See also the CSFW'98 paper above.)

35.	Antti Huima and Tuomas Aura. Using multimodal logic to express conflicting interests in security protocols . In Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, NJ USA, September 1997.

36.	Tuomas Aura, Pekka Nikander, Stateless connections, in proceedings of International Conference on Information and Communications Security ICICS'97, Beijing, November 1997, pp. 87-97, Lecture Notes in Computer Science 1334, Springer 1997. [PS][PDF].

37.	Tuomas Aura, Comparison of graph-search algorithms for authorization verification in delegation networks , in the proceedings of 2nd Nordic Workshop on Secure Computer Systems NORDSEC'97, Espoo, Finland, November 1997. [PS][PDF]. (See the ACISP'98 paper above.)

38.	Tuomas Aura, Johan Lilius, Time processes of time Petri nets, proceedings of 18th Int. Conf. on Application and Theory of Petri Nets (ATPN), Toulouse, June 1997, pp. 136-155, Lecture Notes in Computer Science 1248, Springer 1997. [PS][PDF].

39.	Tuomas Aura, Strategies against replay attacks, in proceedings of 10th IEEE Computer Security Foundations Workshop, Rockport MA, June 1997, pp. 59-68, IEEE Computer Society Press 1997. (Copyright 1997 IEEE) [PS][PDF].

40.	Tuomas Aura, Pekka Nikander Stateless connections, HUT Digital Systems Laboratory Report A46, May 1997. [PS][PDF],. (See also the more concise ICICS'97 paper above.)
1996
41.	Tuomas Aura, Practical invisibility in digital communication, in proceedings of the Workshop on Information Hiding, Cambridge, England, May 1996, pp. 265-278, volume 1174 of Lecture Notes in Computer Science, Springer 1996. [PS][PDF].

42.	Tuomas Aura, Time processes of time Petri nets, Master's thesis, February 1996, appeared as HUT Digital Systems Laboratory Report A38, August 1996. [PS][PDF]. (See also the more concise ATPN paper and the TCS article above.)
1995
43.	Tuomas Aura, Modelling the Needham-Schröder authentication protocol with high level Petri nets , Digital Systems Laboratory Report B14, September 1995. [PS][PDF],.