Information security and cryptology (Sec)

Key persons

P. Laud, A. Buldas, A. Jürgenson, S. Laur, H. Lipmaa, M. Niitsoo, D. Unruh, J. Willemson, B. Zhang

Security and crypto research group of UT, Estonian crypto (CybAS, UT)

Publications 2008

A. Buldas, M. Niitsoo. Can we construct unbounded time-stamping schemes from collision-free hash functions? In J. Baek, F. Bao, K. Chen, X. Lai, eds., Proc. of 2nd Int. Conf. on Provable Security, ProvSec 2008 (Shanghai, Oct./Nov. 2008), v. 5324 of Lect. Notes in Comput. Sci., pp. 254-267. Springer, 2008. doi: 10.1007/978-3-540-88733-1_18 (WOS: 000261944500018)
D. Bogdanov, S. Laur, J. Willemson. Sharemind: a framework for fast privacy-preserving computations. In S. Jajodia, J. Lopez, eds., Proc. of 13th Europ. Symp. on Research in Computer Security, ESORICS 2008 (Málaga, Oct. 2008), v. 5283 of Lect. Notes in Comput. Sci., pp. 192-206. Springer, 2008. doi: 10.1007/978-3-540-88313-5_13 (WOS: 000262462900013)
Y. Desmedt, H. Lipmaa, D. H. Phan. Hybrid Damgård is CCA1-secure under the DDH assumption. In M. K. Franklin, L. C.-K. Hui, D. S. Wong, eds., Proc. of 7th Int. Conf. on Cryptology and Network Security, CANS 2008 (Hong Kong, Dec. 2008), v. 5339 of Lect. Notes in Comput. Sci., pp. 18-30. Springer, 2008. doi: 10.1007/978-3-540-89641-8_2 (WOS: 000264341800002)
G. Di Crescenzo, H. Lipmaa. Succinct NP proofs from an extractability assumption. In A. Beckmann, C. Dimitracopoulos, B. Löwe, eds., Proc. of 4th Conf. on Computability in Europe 2008, CiE 2008 (Athens, June 2008), v. 5028 of Lect. Notes in Comput. Sci., pp. 175-185. Springer, 2008. doi: 10.1007/978-3-540-69407-6_21 (WOS: 000256879500021)
G. Di Crescenzo, H. Lipmaa. 3-message NP arguments in the BPK model with optimal soundness and zero-knowledge. In S.-H. Hong, H. Nagamochi, T. Fukunaga, eds., Proc. of 19th Int. Symp. on Algorithms and Computation, ISAAC 2008 (Gold Coast, Dec. 2008), v. 5369 of Lect. Notes in Comput. Sci., pp. 615-627. Springer, 2008. doi: 10.1007/978-3-540-92182-0_55 (WOS: 000264205500052)
R. Gatautis, A. Mazeika, P. Laud, R. Satkauskas. Enhancing e-government services through digital time stamping: time stamping system specifications. Commun. of IBIMA, v. 5, n. 24, pp. 204-210, 2008.
R. Gatautis, A. Mazeika, P. Laud, R. Satkauskas. Enhancing e-government services through digital time stamping: time stamping system specifications. In K. S. Soliman, ed., Proc. of 10th IBIMA Conf. on Innovation and Knowledge Management in Business Globalization (Kuala Lumpur, June/July 2008), v. 1-2, pp. 1140-1146. IBIMA, 2008. (WOS: 000270977900153)
L. Haav, P. Laud. Typing computationally secure information flow in Jif. In H. Riis Nielson, C. Probst, eds., Proc. of 13th Nordic Wksh. on Secure IT-systems, NordSec 2008 (Oct. 2008), pp. 187-199. 2008.
A. Jürgenson, J. Willemson. Computing exact outcomes of multi-parameter attack trees. In R. Meersman, Z. Tari, eds., Proc. of OTM 2008 Confederated Int. Confs., CoopIS, DOA, GADA, IS and ODBASE 2008 (Monterrey, Nov. 2008), Part II, v. 5332 of Lect. Notes in Comput. Sci., pp. 1036-1051. Springer, 2008. doi: 10.1007/978-3-540-88873-4_8 (WOS: 000262465100007)
J. Kivimaa, A. Ojamaa, E. Tyugu. Graded security expert system. In Pre-Proc. of 3rd Int. Wksh. on Critical Information Infrastructures Security, CRITIS 2008 (Rome, Oct. 2008), pp. 333-339. AIIC, ENEA, 2008.
P. Laud. On the computational soundness of cryptographically masked flows. In Proc. of 35th Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL 2008 (San Francisco, CA, Jan. 2008), pp. 337-348. ACM Press, 2008. doi: 10.1145/1328438.1328479 (WOS: 000265876500029)
P. Laud. On the computational soundness of cryptographically masked flows. ACM SIGPLAN Notices, v. 43, n. 1, pp. 337-348, 2008. doi: 10.1145/1328897.1328479 (WOS: 000256500600032)
P. Laud, L. Ngo. Threshold homomorphic encryption in the universally composable cryptographic library. In J. Baek, F. Bao, K. Chen, X. Lai, eds., Proc. of 2nd Int. Conf. on Provable Security, ProvSec 2008 (Shanghai, Oct./Nov. 2008), v. 5324 of Lect. Notes in Comput. Sci., pp. 298-312. Springer, 2008. doi: 10.1007/978-3-540-88733-1_21 (WOS: 000261944500021)
S. Laur, S. Pasini. SAS-based group authentication and key agreement protocols. In R. Cramer, ed., Proc. of 11th Int. Wksh. on Practice and Theory in Public Key Cryptography, PKC 2008 (Barcelona, March 2008), v. 4934 of Lect. Notes in Comput. Sci., pp. 197-213. Springer, 2008. doi: 10.1007/978-3-540-78440-1_12 (WOS: 000253709500012)
H. Lipmaa. New communication-efficient oblivious transfer protocols based on pairings. In T.-C. Wu, C.-L. Lei, V. Rijmen, D.-T. Lee, eds., Proc. of 11th Inform. Security Conf., ISC 2008 (Taipei, Sept. 2008), v. 5222 of Lect. Notes in Comput. Sci., pp. 441-454. Springer, 2008. doi: 10.1007/978-3-540-85886-7_30 (WOS: 000259463000030)
R. Miškinis, B. Malyško, D. Smirnov, E. Urba, A. Burokas, P. Laud, M. Oit, F. Zuliani, M. Messineo, A. Fanelli, J. Nawrocky, P. Nogas, L. Bandzaityte, V. Simanavicius. BALTICTIME - the demonstration of open source technologies for legal and accountable digital time-stamping. In P. Cunningham, M. Cunningham, eds., Collaboration and the Knowledge Economy: Issues, Applications, Case Studies, v. 5 of Information and Communication Technologies and the Knowledge Economy, pp. ?-?. IOS Press, 2008.
M. Oit. Security from the practioner's point of view. In E. Kranakis, E. Haroutunian, E. Shahbazian, eds., Aspects of Network and Information Security, v. 17 of NATO Science for Peace and Security Series D: Information and Communication Security, pp. 110-118. IOS Press, 2008. article at IOS Press Books Online
A. Ojamaa, E. Tyugu, J. Kivimaa. Pareto-optimal situation analysis for selection of security measures. In Unclassified Proc. of 2008 IEEE Military Communications Conf., MILCOM 2008: Assuring Mission Success (San Diego, CA, Nov. 2008), pp. 3224-3230. IEEE, 2008. doi: 10.1109/milcom.2008.4753520 (WOS: 000266709302026)
J. Tamura, K. Kobara, R. Nojima, H. Imai, H. Lipmaa. A note on the error of optimized LFC private information retrieval scheme. In Proc. of 2008 Int. Symp. on Information Theory and Its Applications, ISITA 2008 (Auckland, Dec. 2008), 4 pp. IEEE CS Press, 2008. doi: 10.1109/isita.2008.4895556 (WOS: 000273504800184)
I. Tšahhirov, P. Laud. Application of dependency graphs to security protocol analysis. In G. Barthe, C. Fournet, eds., Revised Selected Papers from 3rd Conf. on Global Computing, TGC 2007 (Sophia Antipolis, Nov. 2007), v. 4912 of Lect. Notes in Comput. Sci., pp. 294-311. Springer, 2008. doi: 10.1007/978-3-540-78663-4_20 (WOS: 000254511800018)
J. Willemson, A. Ansper. A secure and scalable infrastructure for inter-organizational data exchange and egovernment application. In Proc. of 3rd Int. Conf. on Availability, Reliability and Security, ARES 2008 (Barcelona, March 2008), pp. 572-577. IEEE CS Press, 2008. doi: 10.1109/ares.2008.90 (WOS: 000256665200081)

Publications 2009

A. Ansper, S. Heiberg, H. Lipmaa, T. A. Øverland, F. van Laenen. Security and trust for the Norwegian e-voting pilot project E-valg 2011. In A. Jøsang, T. Maseng, S. J. Knapskog, eds., Proc. of 14th Nordic Conf. on Secure IT Systems, NordSec 2009 (Oslo, Oct. 2009), v. 5838 of Lect. Notes in Comput. Sci., pp. 207-222. Springer, 2009. doi: 10.1007/978-3-642-04766-4_15 (WOS: 000273517300015)
D. Bogdanov, M. V. Crispino, V. Cyras, K. Glass, K. Lapin, M. Panebarco, G. M. Todesco, F. Zuliani. VirtualLife virtual world platform: peer-to-peer, security and rule of law. In Proc. of 2009 NEM Summit (St Malo, Sept. 2009), pp. 124-129. Eurescom, 2009.
A. Buldas, A. Jürgenson, M. Niitsoo. Efficiency bounds for adversary constructions in black-box reductions. In C. Boyd, J. González Nieto, eds., Proc. of 14th Australasian Conf. on Information Security and Privacy, ACISP 2009 (Brisbane, July 2009), v. 5594 of Lect. Notes in Comput. Sci., pp. 264-275. Springer, 2009. doi: 10.1007/978-3-642-02620-1_19 (WOS: 000268100500019)
A. Buldas, S. Laur, M. Niitsoo. Oracle separation in the non-uniform model. In J. P. Pieprzyk, F. Zhang, eds., Proc. of 3rd Int. Conf. on Provable Security, ProvSec 2009 (Guangzhou, Nov. 2009), v. 5848 of Lect. Notes in Comput. Sci., pp. 230-244. Springer, 2009. doi: 10.1007/978-3-642-04642-1_19 (WOS: 000279343700017)
J. Kivimaa, A. Ojamaa, E. Tyugu. Graded security expert system. In R. Setola, S. Geretshuber, eds., Revised Papers from 3rd Int. Wksh. on Critical Information Infrastructures Security, CRITIS 2008 (Rome, Oct. 2008), v. 5508 of Lect. Notes in Comput. Sci., pp. 279-286. Springer, 2009. doi: 10.1007/978-3-642-03552-4_25 (WOS: 000273604000025)
J. Kivimaa, A. Ojamaa, E. Tyugu. Managing evolving security situations. In Unclassified Proc. of 2009 IEEE Military Communications Conf., MILCOM 2009 (Boston, MA, Oct. 2009), 7 pp. IEEE, 2009. doi: 10.1109/milcom.2009.5380110 (WOS: 000280509900090)
P. Laud, M. Roos. Formal analysis of the Estonian Mobile-ID protocol. In A. Jøsang, T. Maseng, S. J. Knapskog, eds., Proc. of 14th Nordic Conf. on Secure IT Systems, NordSec 2009 (Oslo, Oct. 2009), v. 5838 of Lect. Notes in Comput. Sci., pp. 271-286. Springer, 2009. doi: 10.1007/978-3-642-04766-4_19 (WOS: 000273517300019)
P. Laud, I. Tšahhirov. A user interface for a game-based protocol verification tool. In P. Degano, J. Guttman, eds., Pre-Proc. of 6th Int. Wksh. on Formal Aspects in Security and Trust, FAST 2009 (Eindhoven, Nov. 2009), to appear.
S. Laur, S. Pasini. User-aided data authentication. Int. J. of Security and Networks, v. 4, n. 1-2, pp. 69-86, 2009. doi: 10.1504/ijsn.2009.023427
R. Miškinis, D. Smirnov, E. Urba, A. Burokas, B. Malyško, P. Laud, F. Zuliani. Digital time stamping system based on open source technologies. In Proc. of 2009 IEEE Int. Frequency Control Symp., joint with 22nd Europ. Frequency and Time Forum (Besançon, Apr. 2009), pp. 700-705. IEEE, 2009. doi: 10.1109/freq.2009.5168274 (WOS: 000274814900144)
J. Nakahara Jr., P. Sepehrdad, B. Zhang, M. Wang. Linear (hull) and algebraic cryptanalysis of the block cipher PRESENT. In J. A. Garay, A. Miyaji, A. Otsuka, eds., Proc. of 8th Int. Conf. on Cryptology and Network Security, CANS 2009 (Kanazawa, Dec. 2009), v. 5888 of Lect. Notes in Comput. Sci., pp. 58-78. Springer, 2009. doi: 10.1007/978-3-642-10433-6_5 (WOS: 000280395000005)

Publications 2010

G. V. Bard, N. Courtois, J. Nakahara, P. Sepehrdad, B. Zhang. Algebraic, AIDA/Cube and side channel analysis of KATAN family of block ciphers. In G. Gong, K. C. Gupta, eds., Proc. of 11th Int. Conf. on Cryptology in India, INDOCRYPT 2010 (Hyderabad, Dec. 2010), v. 6498 of Lect. Notes in Comput. Sci., pp. 176-196. Springer, 2010. doi: 10.1007/978-3-642-17401-8_14 (WOS: 000293683800014)
D. Bogdanov, I. Livenson. VirtualLife: secure identity management in peer-to-peer systems. In P. Daras, O. Mayora Ibarra, eds., Proc. of 1st Int. ICST Conf. on User Centric Media, UCMedia 2009 (Venice, Dec. 2009), v. 40 of Lect. Notes of ICST, pp. 181-188. Springer, 2010. doi: 10.1007/978-3-642-12630-7_21
A. Buldas, M. Niitsoo. Optimally tight security proofs for hash-then-publish time-stamping. In R. Steinfeld, P. Hawkes, eds., Proc. of 15th Australasian Conf. on Information Security and Privacy, ACISP 2010 (Sydney, July 2010), v. 6168 of Lect. Notes in Comput. Sci., pp. 318-335. Springer, 2010. doi: 10.1007/978-3-642-14081-5_20 (WOS: 000284032000020)
R. Chaabouni, H. Lipmaa, A. Shelat. Additive combinatorics and discrete logarithm based range protocols. In R. Steinfeld, P. Hawkes, eds., Proc. of 15th Australasian Conf. on Information Security and Privacy, ACISP 2010 (Sydney, July 2010), v. 6168 of Lect. Notes in Comput. Sci., pp. 336-351. Springer, 2010. doi: 10.1007/978-3-642-14081-5_21 (WOS: 000284032000021)
M. González Muñiz, R. Steinwandt. Cryptanalysis of a message recognition protocol by Mashatan and Stinson. In D. Lee, S. Hong, eds., Revised Selected Papers from 12th Int. Conf. on Information Security and Cryptology, ICISC 2009 (Seoul, Dec. 2009), v. 5984 of Lect. Notes in Comput. Sci., pp. 362-373. Springer, 2010. doi: 10.1007/978-3-642-14423-3_24 (WOS: 000282835500024)
M. González Muñiz, R. Steinwandt. Security of signature schemes in the presence of key-dependent messages. Tatra Mountains Math. Publications, v. 47, pp. 15-29, 2010. doi: 10.2478/v10127-010-0029-2
J. Groth, A. Kiayias, H. Lipmaa. Multi-query computationally-private information retrieval with constant communication rate. In P. Q. Nguyen, D. Pointcheval, eds., Proc. of 13th Int. Conf. on Practice and Theory in Public Key Cryptography, PKC 2010 (Paris, May 2010), v. 6056 of Lect. Notes in Comput. Sci., pp. 107-123. Springer, 2010. doi: 10.1007/978-3-642-13013-7_7 (WOS: 000279498800007)
S. Heiberg. Internet voting - the Estonian experience. In V. Matyás, Z. Ríha, eds., Proc. of 11th Int. Conf. on Information Security, Information Security Summit, IS2 2010 (Praha, March 2010), pp. 133-138. Tate International s.r.o., Praha, 2010.
S. Heiberg, H. Lipmaa, F. van Laenen. On e-vote integrity in the case of malicious voter computers. In D. Gritzalis, B. Preneel, M. Theoharidou, eds., Proc. of 15th Europ. Symp. on Research in Computer Security, ESORICS 2010 (Athens, Sept. 2010), v. 6345 of Lect. Notes in Comput. Sci., pp. 373-388. Springer, 2010. doi: 10.1007/978-3-642-15497-3_23 (WOS: 000286151000023)
A. Jürgenson, J. Willemson, On fast and approximate attack tree computations. In J. Kwak, R. H. Deng, G. Wang, Y. Won, eds., Proc. of 6th Int. Conf. on Security, Practice and Experience Conf., ISPEC 2010 (Seoul, May 2010), v. 6047 of Lect. Notes in Comput. Sci., pp. 56-66. Springer, 2010. doi: 10.1007/978-3-642-12827-1_5 (WOS: 000279047800005)
A. Jürgenson, J. Willemson. Serial model for attack tree computations. In D. Lee, S. Hong, eds., Revised Selected Papers from 12th Int. Conf. on Information Security and Cryptology, ICISC 2009 (Seoul, Dec. 2009), v. 5984 of Lect. Notes in Comput. Sci., pp. 118-128. Springer, 201. doi: 10.1007/978-3-642-14423-3_9 (WOS: 000282835500009)
G. Klein, A. Ojamaa, P. Grigorenko, M. Jahnke, E. Tyugu. Enhancing response selection in impact estimation approaches. In M. Amanowicz, P. Antweiler, P. Lenk, A. Najgebauer, eds., Concepts and Implementations for Innovative Military Communications and Information Technologies, pp. 277-286. Military Univ. of Techn., Warsaw, 2010.
P. Laud, I. Tšahhirov. A user interface for a game-based protocol verification tool. In P. Degano, J. Guttman, eds., Revised Selected Papers from 6th Int. Wksh. on Formal Aspects in Security and Trust, FAST 2009 (Eindhoven, Nov. 2009), v. 5923 of Lect. Notes in Comput. Sci., pp. 263-278. Springer, 2010. doi: 10.1007/978-3-642-12459-4_19 (WOS: 000279740300019)
S. Laur, H. Lipmaa. On the feasibility of consistent computations. In P. Q. Nguyen, D. Pointcheval, eds., Proc. of 13th Int. Conf. on Practice and Theory in Public Key Cryptography, PKC 2010 (Paris, May 2010), v. 6056 of Lect. Notes in Comput. Sci., pp. 88-106. Springer, 2010. doi: 10.1007/978-3-642-13013-7_6 (WOS: 000279498800006)
H. Lipmaa. First CPIR protocol with data-dependent computation. In D. Lee, S. Hong., eds., Revised Selected Papers from 12th Int. Conf. on Information Security and Cryptology, ICISC 2009 (Seoul, Dec. 2009), v. 5984 of Lect. Notes in Comput. Sci., pp. 193-210. Springer, 2010. doi: 10.1007/978-3-642-14423-3_14 (WOS: 000282835500014)
H. Lipmaa, B. Zhang. Two new efficient PIR-writing protocols. In J. Zhou, M. Yung, eds., Proc. of 8th Int. Conf. on Applied Cryptography and Network Security, ACNS 2010 (Beijing, June 2010), v. 6123 of Lect. Notes in Comput. Sci., pp. 438-455. Springer, 2010. doi: 10.1007/978-3-642-13708-2_26 (WOS: 000280420300026)
R. Miškinis, D. Smirnov, E. Urba, A. Burokas, B. Malyško, P. Laud, F. Zuliani. Digital time stamping system based on open source technologies. In IEEE Trans. on Ultrasonics, Ferroelectrics and Frequency Control, v. 57, n. 3, pp. 721-727, 2010. doi: 10.1109/tuffc.2010.1470 (WOS: 000275322400031)
M. Niitsoo. Optimal adversary behavior for the serial model of financial attack trees. In I. Echizen, N. Kunihiro, R. Sasaki, eds., Proc. of 5th Int. Wksh. on Security, IWSEC 2010 (Kobe, Nov. 2010), v. 6434 of Lect. Notes in Comput. Sci., pp. 354-370. Springer, 2010. doi: 10.1007/978-3-642-16825-3_24 (WOS: 000290643900024)
J. Tepandi, S. Vassiljev, I. Tšahhirov. Wireless PKI security and mobile voting. Computer, v. 43, n. 6, pp. 54-60, 2010. doi: 10.1109/mc.2009.418 (WOS: 000278621000011)
J. Willemson. Extending the Gordon-Loeb model for information security investment. In Proc. of 5th Int. Conf. on Availability, Reliability and Security, ARES 2010 (Kraków, Feb. 2010), pp. 258-261. IEEE, 2010. doi: 10.1109/ares.2010.37 (WOS: 000278197800036)

Publications 2011

G. Alberghs, P. Grigorenko, J. Kivimaa. Quantitative system reliability approach for optimizing IT security costs in an AI environment. In J. Penjam, ed., Proc. of 12th Symp. on Programming Languages and Software Tools, SPLST 2011 (Tallinn, Oct. 2011), pp. 219-230. Inst. of Cybern., 2011.
C. Czosseck, E. Tyugu, T. Wingfield, eds. Proc. of 3rd Int. Conf. on Cyber Conflict, ICCC 2011 (Tallinn, June 2011), xvii+185 pp. CCD COE Publications, 2011. book at IEEE Xplore
S. Garg, V. Rao, A. Sahai, D. Schröder, D. Unruh. Round optimal blind signatures. In P. Rogaway, ed., Proc. of 31st Int. Cryptology Conf., CRYPTO 2011 (Santa Barbara, CA, Aug. 2011), v. 6841 of Lect. Notes in Comput. Sci., pp. 630-648. Springer, 2011. doi: 10.1007/978-3-642-22792-9_36
M. González Muñiz, P. Laud. On the (im)possibility of perennial message recognition protocols without public-key cryptography. In Proc. of 26th Ann. ACM Symp. on Applied Computing, SAC '11 (TaiChung, March 2011), pp. 1510-1515. ACM Press, 2011. doi: 10.1145/1982185.1982508
S. Heiberg, P. Laud, S. Másson, C. P. Larsen. Secure mobile access to homecare patients' data. In Proc. 5th Int. Conf. on Theory and Practice of Electronic Governance, ICEGOV 2011 (Tallinn, Sept. 2011), pp. 363-364. ACM Press, 2011.
P. Laud. Implementing cryptographic primitives in the symbolic model. In M. Bobaru, K. Havelund, G. J. Holzmann, R. Joshi, eds., Proc. of 3rd NASA Formal Methods Symp., NFM 2011 (Pasadena, CA, Apr. 2011), v. 6617 of Lect. Notes in Comput. Sci., pp. 267-281. Springer, 2011. doi: 10.1007/978-3-642-20398-5_20
S. Laur, J. Willemson, B. Zhang. Round-efficient oblivious database manipulation. In X. Lai, J. Zhou, H. Li, eds., Proc. of 14th Int. Information Security Conf., ISC 2011 (Xi'an, Oct. 2011), v. 7001 of Lect. Notes in Comput. Sci., Springer, 2011. doi: 10.1007/978-3-642-24861-0_18
H. Lipmaa. On the CCA1-security of Elgamal and Damgård's Elgamal. In X. Lai, M. Yung, eds., Revised Papers from 6th China Int. Conf. on Information Security and Cryptology, INSCRYPT 2010 (Shanghai, Oct. 2010), v. 6584 of Lect. Notes in Comput. Sci., pp. 18-35. Springer, 2011. doi: 10.1007/978-3-642-21518-6_2
H. Lipmaa, B. Zhang. Efficient generalized selective private function evaluation with applications in biometric authentication. In F. Bao, M. Yung, D. Lin, J. Jing, eds., Revised Selected Papers from 5th China Int. Conf. on Information Security and Cryptology, INSCRYPT 2009 (Beijing, Dec. 2009), v. 6151 Lect. Notes in Comput. Sci., pp. 154-163. Springer, 2011. doi: 10.1007/978-3-642-16342-5_12 (WOS: 000286442600012)
E. Tyugu. Artificial intelligence in cyber defense. In C. Czosseck, E. Tyugu, T. Wingfield, eds. Proc. of 3rd Int. Conf. on Cyber Conflict, ICCC 2011 (Tallinn, June 2011), pp. 95-105. CCD COE Publications, 2011. article at IEEE Xplore
D. Unruh. Concurrent composition in the bounded quantum storage model. In K. G. Paterson, ed., Proc. of 30th Ann. Int. Conf. on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2011 (Tallinn, May 2011), v. 6632 of Lect. Notes in Comput. Sci., pp. 467-486. Springer, 2011. doi: 10.1007/978-3-642-20465-4_26
D. Unruh. Termination-insensitive computational indistinguishability (and applications to computational soundness). In Proc. of 24th IEEE Computer Security Foundations Symp., CSF 2011 (Vaux de Cernay, June 2011), pp. 251-265. IEEE CS Press, 2011. doi: 10.1109/csf.2011.24
J. Willemson. Pseudonymization service for X-road e-government data exchange layer. In K. N. Andersen, E. Francesconi, Å. Grönlund, T. M. van Engers, eds., Proc. of 2nd Int. Conf. on Electronic Government and the Information Systems Perspective, EGOVIS 2011 (Toulouse, Aug./Sept. 2011), v. 6866 of Lect. Notes in Comput. Sci., pp. 135-145. Springer, 2011. doi: 10.1007/978-3-642-22961-9_11
B. Zhang. Generic constant-round oblivious sorting algorithm for MPC. In J. Groth, X. Boyen, X. Chen, eds., Proc. of 5th Int. Conf. on Provable Security, ProvSec 2011 (Xi'an, Oct. 2011), v. 6980 of Lect. Notes in Comput. Sci., pp. 240-256. Springer, 2011. doi: 10.1007/978-3-642-24316-5_17
B. Zhang. Simulatable adaptive oblivious transfer with statistical receiver's privacy. In J. Groth, X. Boyen, X. Chen, eds., Proc. of 5th Int. Conf. on Provable Security, ProvSec 2011 (Xi'an, Oct. 2011), v.6980 of Lect. Notes in Comput. Sci., pp. 52-67. Springer, 2011. doi: 10.1007/978-3-642-24316-5_6

Publications 2012

A. S. Ahmed, P. Laud. Formal security analysis of OpenID with GBA protocol. In A. Lioy, G. Russello, F. Luccio, eds., Proc. of 3rd Int. ICST Conf. on Security and Privacy in Mobile Information and Communication Systems, Mobisec 2011 (Aalborg, May 2011), Lect. Notes of ICST, Springer, to appear.

D. Bogdanov, R. Talviste, J. Willemson. Deploying secure multi-party computation for financial data analysis. In Proc. of 16th Int. Conf. on Financial Cryptography, FC 2012 (Bonaire, Feb./March 2012), Lect. Notes in Comput. Sci., Springer, to appear.

R. Chaabouni, H. Lipmaa, B. Zhang. A non-interactive range proof with constant communication. In Proc. of 16th Int. Conf. on Financial Cryptography, FC 2012 (Bonaire, Feb./March 2012), Lect. Notes in Comput. Sci., Springer, to appear.

M. González Muñiz, R. Steinwandt. Security of message authentication codes in the presence of key-dependent messages. Design, Codes and Cryptography, to appear. doi: 10.1007/s10623-011-9523-z

S. Heiberg, P. Laud, J. Willemson. The application of i-voting for Estonian parliamentary elections of 2011. In A. Kiayias, H. Lipmaa, eds., Revised Selected Papers from 3rd Int. Conf. on e-Voting and Identity, VoteID 2011 (Tallinn, Sept. 2011), Lect. Notes in Comput. Sci., Springer, to appear.

A. Kiayias, H. Lipmaa, eds. Revised Selected Papers from 3rd Int. Conf. on e-Voting and Identity, VoteID 2011 (Tallinn, Sept. 2011), Lect. Notes in Comput. Sci., Springer, to appear.

P. Laud, ed. Revised Selected Papers from 16th Nordic Conf. on Secure IT Systems, NordSec 2011 (Tallinn, Oct. 2011), Lect. Notes in Comput. Sci., Springer, to appear.

H. Lipmaa. Progression-free sets and sublinear pairing-based non-interactive zero-knowledge arguments. In R. Cramer, ed., Proc. of 9th Theory of Cryptography Conf., TCC 2012 (Taormina, March 2012), Lect. Notes in Comput. Sci., Springer, to appear.

M. Pettai, P. Laud. Securing the future - an information flow analysis of a distributed OO language. In M. Bieliková, G. Friedrich, G. Gottlob, S. Katzenbeisser, G. Turán, eds., Proc. of 38th Int. Conf. on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012 (Špindleruv Mlýn, Jan. 2012), v. 7147 of Lect. Notes in Comput. Sci., pp. 576-587. Springer, 2012. doi: 10.1007/978-3-642-27660-6_47

D. Unruh. Quantum proofs of knowledge. In Proc. of 31st Ann. Int. Conf. on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2012 (Cambridge, Apr. 2012), Lect. Notes in Comput. Sci., Springer, to appear.

PhD defenses 2008

S. Laur. Cryptographic Protocol Design, v. TKK-ICS-D2 of TKK Diss. in Inform. and Comput. Sci., xi+131 pp. + publs. Helsinki Univ. of Techn., 2008. thesis at HUT
Defense at Helsinki Univ. of Techn., 25 Apr. 2008. Supervisor K. Nyberg (Helsinki Univ. of Techn.), opponent S. Vaudenay (EPF Lausanne).
I. Tšahhirov. Security Protocols Analysis in the Computational Model - Dependency Flow Graphs-Based Approach, Thesis on Informatics and System Engineering C44, 204 pp. Tallinn Univ. of Techn., 2008. thesis at TUT digital library
Defense at Tallinn Univ. of Techn., 15 Dec. 2008. Supervisor J. Tepandi (TUT), consultant P. Laud (Cybernetica AS). Opponents C. Fournet (Microsoft Research, Cambridge), V. Vene (Univ. of Tartu).

PhD defenses 2010

A. Jürgenson. Efficient Semantics of Parallel and Serial Models of Attack Trees, Thesis on Informatics and System Engineering C54, 158 pp. Tallinn Univ. of Techn., 2010. thesis at TUT digital library
Defense at Tallinn Univ. of Techn., 21 June 2010. Supervisors A. Buldas (Tallinn Univ. of Techn.), J. Willemson (Cybernetica AS). Opponents S. Mauw (Univ. of Luxembourg), T. Tammet (Tallinn Univ. of Techn.).

PhD defenses 2011

M. Niitsoo. Black-box Oracle Separation Techniques with Applications in Time-Stamping, v. 67 of Diss. Math. Univ. Tartuensis, 174 pp. Univ. of Tartu, 2011. handle: 10062/17024
Defense at Univ. of Tartu, 20 May 2011. Supervisor A. Buldas (Tallinn Univ. of Techn.). Opponents B. Schoenmakers (Eindhoven Univ. of Technology), H. Lipmaa (Tallinn Univ.).
B. Zhang. Efficient Cryptographic Protocols for Secure and Private Remote Databases, v. 77 of Diss. Math. Univ. Tartuensis, 206 pp. Univ. of Tartu, 2011. handle: 10062/18481
Defense at Univ. of Tartu, 10 October 2011. Supervisors H. Lipmaa, P. Laud (Univ. of Tartu). Opponents J. Groth (Univ. College London), J. B. Nielsen (Univ. of Aarhus).

Last update 21 January 2011