2007

2007

• A. Buldas, A. Jürgenson. Does secure time-stamping imply collision-free hash functions? In W. Susilo, J. K. Liu, Y. Mu, eds., Proc. of 1st Int. Conf. on Provable Security, ProvSec 2007 (Wollongong, Oct/Nov.  2007), v. 4784 of Lect. Notes in Comput. Sci., pp.  138-150. Springer, 2007.
• A. Buldas, S. Laur. Knowledge-binding commitments with applications in time-stamping. In T. Okamoto, X. Wang, eds., Proc. of 10th Int. Conf. on Practice and Theory in Public-Key Cryptography, PKC 2007 (Beijing, Apr. 2007), v. 4450 of Lect. Notes in Comput. Sci., pp. 150-165. Springer, 2007.
• A. Buldas, T. Mägi. Practical analysis of e-voting systems. In A. Miyaji, H. Kikuchi, K. Rannenberg, eds., Proc. of 2nd Int. Wksh. on Security, IWSEC 2007 (Nara, Oct. 2007), v.  4752 of Lect. Notes in Comput. Sci., pp. 320-335. Springer, 2007.
• A. Jürgenson, J. Willemson. Processing multi-parameter attacktrees with estimated parameter values. In A. Miyaji, H. Kikuchi, K. Rannenberg, eds., Proc. of 2nd Int. Wksh. on Security, IWSEC 2007 (Nara, Oct. 2007), v. 4752 of Lect. Notes in Comput. Sci., pp.  308-319. Springer, 2007.
• I. Tshahhirov, P. Laud. Application of dependency graphs to security protocol analysis. In G. Barthe, C. Fournet, eds., Proc. of 3rd Symp. on Trustworthy Global Computing, TGC 2007 (Sophia Antipolis, Nov.  2007).
• P. Dumas, H. Lipmaa, J. Wallén. Asymptotic behaviour of a non-commutative rational series with a nonnegative linear representation. Discr. Math. and Theor. Comput. Sci., v. 9, n. 1, pp. 247-274, 2007.
• S. Laur, H. Lipmaa. A new protocol for conditional disclosure of secrets and its applications. In J. Katz, M. Yung, eds., Proc. of 5th Int. Conf. on Applied Cryptography and Network Security, ACNS 2007 (Zhuhai, June 2007), v. 4521 of Lect. Notes in Comput. Sci., pp. 207-225. Springer, 2007.
• S. Karus, M. Dumas. Enforcing policies and guidelines in web portals: a case study. In M. Weske, M.-S. Hacid, C. Godart, eds., Proc.  of Web Information Systems Engineering, WISE 2007, Int.\ Wkshs.  (Nancy, Dec. 2007), v. 4832 of Lect. Notes in Comput.  Sci., pp. 154-165.  Springer, 2007.
• R. Prank, M. Issakova, D. Lepp, E. Tõnisson, V. Vaiksaar. Integrating rule-based and input-based approaches for better error diagnosis in expression manipulation tasks. In S. Li, D. Wang, J.-Z. Zhang, eds., Symbolic Computation and Education, pp. 174-191. World Scientific, 2007.
• A. Reinart, K. Valdmets. Variability of optical water types in Lake Peipsi. Proceedings of the Estonian Academy of Sciences. Biology, Ecology, 56(1), 33 - 46.
• A. Reinart, H. Ohvril, K. Alikas, P. Ibrus, H. Teral, K. Valdmets, O. Okulov. MERIS products over large european lakes - comparison with measured data about aerosol and water quality. In: Procceedings of Envisat Symposium 2007, July 2007, 6 pp.
• M. Kannel, H. Ohvril, H. Teral, V. Russak, A. Kallis. A simple broadband parameterisation of columnar aerosol optical thickness. Eesti Teaduste Akadeemia Toimetised. Ökoloogia, 56(1), 57 - 68.
• K. Kukli, J. Niinistö, A. Tamm, J. Lu, M. Ritala, M. Leskelä, M. Putkonen, L. Niinistö, F. Song, P. Williams, P.N. Heys. Atomic layer deposition of ZrO2 and HfO2 on deep trenched and planar silicon. Microelectronic Engineering, 84(9-10), pp. 2010 - 2013, 2007.