2005

2005

• Edith Elkind and Helger Lipmaa. Hybrid Voting Protocols and Hardness of Manipulation. In Xiaotie Deng and Dingzhu Du, editors, The 16th Annual International Symposium on Algorithms and Computation, ISAAC 2005, volume 3827 of Lecture Notes in Computer Science, pages 206-215, Sanya, Hainan, China, December 19-21, 2005. Springer-Verlag
• Sven Laur, Helger Lipmaa and Taneli Mielikäinen Private Itemset Support Counting. In Sihan Qing, Wenbo Mao, Javier Lopez and Guilin Wang, editors, Information and Communications Security: 7th International Conference, ICICS 2005, volume 3783 of Lecture Notes in Computer Science, pages 97-111, Beijing, China, December 10-13, 2005. Springer-Verlag.
• Helger Lipmaa. Secure Electronic Voting Protocols. Chapter in The Handbook of Information Security, Hossein Bidgoli, Editor-in-Chief. John Wiley & Sons, Inc., 2005.
• Yong Li, Helger Lipmaa and Dingyi Pei. On Delegatability of Four Designated Verifier Signatures. In Sihan Qing, Wenbo Mao, Javier Lopez and Guilin Wang, editors, Information and Communications Security: 7th International Conference, ICICS 2005, volume 3783 of Lecture Notes in Computer Science, pages 61-71, Beijing, China, December 10-13, 2005. Springer-Verlag.
• Peeter Laud. Secrecy Types for a Simulatable Cryptographic Library.  In Vijay Aluri, Catherine Meadows and Ari Juels, editors, proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, pages 26-35, Alexandria, VA, USA, November 7-11, 2005. ACM.
• Ilja Tšahhirov, Peeter Laud. Digital Signature in Automatic Analyses for Confidentiality against Active Adversaries. In Helger Lipmaa and Dieter Gollmann, editors, proceedings of Nordsec 2005, 10th Nordic Workshop on Secure IT Systems, pages 29-41, Tartu, Estonia, October 20-21, 2005.
• Ahto Buldas, Peeter Laud, Märt Saarepera, Jan Willemson. Universally Compisable Time-Stamping Schemes with Audit. In Jianying Zhou and Javier Lopez, editors, The 8th Information Security Conference (ISC'05), volume 3650 of Lecture Notes in Computer Science, pages 359-373, Singapore, September 20-23, 2005. Springer-Verlag.
• Helger Lipmaa. An Oblivious Transfer Protocol with Log-Squared Communication. In Jianying Zhou and Javier Lopez, editors, The 8th Information Security Conference (ISC'05), volume 3650 of Lecture Notes in Computer Science, pages 314-328, Singapore, September 20-23, 2005. Springer-Verlag.
• Peeter Laud, Tarmo Uustalu, Varmo Vene. Type Systems Equivalent to Data-Flow Analyses of Imperative Languages (Extended Abstract). In Martin Hofmann, editor, In proceedings of the Third Workshop on Applied Semantics (APPSEM05), Frauenchiemsee, Germany, Septermber 12-15, 2005.
• K.Heero, A.Aabloo, M.Kruusmaa. On the Utility of Exploration on Time-Critical Mobile Robot Missions. In Proc. of the 2nd European Conference on Mobile Robots (ECMR05), Sept. 7-10, 2005, Ancona, Italy, pp. 152-157.  
• Peeter Laud, Varmo Vene. A Type System for Computationally Secure Information Flow. In Maciej Liskiewicz, Rüdiger Reischuk, editors, Fundamentals of Computation Theory: 15th International Symposium, FCT 2005, volume 3623 of Lecture Notes in Computer Science, pages 365-377.
  Lübeck, Germany, August 17-20, 2005. Springer-Verlag 
• R.Prank, M.Issakova,D. Lepp, E.Tõnisson, V.Vaiksaar. T-algebra - Interactive Learning Environment For Expression Manipulation. Proceedings of the 7th International Conference on Technology in Mathematics Teaching, Bristol, UK, 26-29 July 2005. Volume 1, p. 219.
• D.Lepp, M.Issakova, V.Vaiksaar. Expression Editor Features That Simplify Student Work On Manipulating Expressions. Proceedings of the 7th International Conference on Technology in Mathematics Teaching, Bristol, UK, 26-29 July 2005. Volume 1, pp. 259-266.  
• Helger Lipmaa, Guilin Wang and Feng Bao. Designated Verifier Signature Schemes: Attacks, New Security Notions and A New Construction. In Moti Yung, editor, The 32nd International Colloquium on Automata, Languages and Programming, ICALP 2005, volume 3580 of Lecture Notes in Computer Science, pages 459--471, Lisboa, Portugal, July 11-15, 2005. Springer-Verlag. Accepted (Track C).
• Edith Elkind and Helger Lipmaa. Hybrid Voting Protocols and Hardness of Manipulation.In First Spain Italy Netherlands Meeting on Game Theory, Maastricht, The Netherlands, June 24-26, 2005. Workshop without publications.
• Helger Lipmaa. An Oblivious Transfer Protocol with Log-Squared Communication. In The Past, Present and Future of Oblivious Transfer, Satellite workshop of the Fifth Haifa Workshop on Interdisciplinary Applications of Graph theory, Combinatorics, and Algorithms, Haifa, Israel, May 17, 2005. Workshop without publications.
• Edith Elkind and Helger Lipmaa. Small Coalitions Cannot Manipulate Voting. In Andrew Patrick and Moti Yung, editors, Financial Cryptography and Data Security --- Ninth International Conference, volume 3570 of Lecture Notes in Computer Science, pages 285--297, Roseau, The Commonwealth Of Dominica, February 28-March 3, 2005. Springer-Verlag.
• J.Villemson. Computer Clobber Tournament at Tartu University, in IC Journal, Vol. 28, No. 1, pp 51-54.
• K.Heero, A.Aabloo, M.Kruusmaa. Learning Innovative Routes for Mobile Robots in Dynamic Partially Unknown Environments. Int. Journal of Robots and Autonomous Systems, pp. 209 - 222, Vol. 2, No.3, (2005).