Peeter Laud

	2012
31		Peeter Laud: Information Security Technology for Applications - 16th Nordic Conference on Secure IT Systems, NordSec 2011, Tallinn, Estonia, October 26-28, 2011, Revised Selected Papers Springer 2012
30		Martin Pettai, Peeter Laud: Securing the Future - An Information Flow Analysis of a Distributed OO Language. SOFSEM 2012: 576-587
	2011
29		Sven Heiberg, Peeter Laud, Sigurðr Másson, Claus Popp Larsen: Secure mobile access to homecare patients' data. ICEGOV 2011: 363-364
28		Abu Shohel Ahmed, Peeter Laud: Formal Security Analysis of OpenID with GBA Protocol. MobiSec 2011: 113-124
27		Peeter Laud: Implementing Cryptographic Primitives in the Symbolic Model. NASA Formal Methods 2011: 267-281
26		Madeline González Muñiz, Peeter Laud: On the (im)possibility of perennial message recognition protocols without public-key cryptography. SAC 2011: 1510-1515
25		Madeline González Muñiz, Peeter Laud: Strong Forward Security in Identity-Based Signcryption. IACR Cryptology ePrint Archive 2011: 156 (2011)
	2009
24		Peeter Laud, Ilja Tsahhirov: A User Interface for a Game-Based Protocol Verification Tool. Formal Aspects in Security and Trust 2009: 263-278
23		Peeter Laud, Meelis Roos: Formal Analysis of the Estonian Mobile-ID Protocol. NordSec 2009: 271-286
	2008
22		Peeter Laud: On the computational soundness of cryptographically masked flows. POPL 2008: 337-348
21		Peeter Laud, Long Ngo: Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library. ProvSec 2008: 298-312
20		Peeter Laud, Long Ngo: {Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library. IACR Cryptology ePrint Archive 2008: 367 (2008)
	2007
19		Ilja Tsahhirov, Peeter Laud: Application of Dependency Graphs to Security Protocol Analysis. TGC 2007: 294-311
	2006
18		Michael Backes, Peeter Laud: Computationally sound secrecy proofs by mechanized flow analysis. ACM Conference on Computer and Communications Security 2006: 370-379
17		Ahto Buldas, Peeter Laud, Jaan Priisalu, Märt Saarepera, Jan Willemson: Rational Choice of Security Measures Via Multi-parameter Attack Trees. CRITIS 2006: 235-248
16		Michael Backes, Peeter Laud: Computationally Sound Secrecy Proofs by Mechanized Flow Analysis. IACR Cryptology ePrint Archive 2006: 266 (2006)
15		Peeter Laud, Tarmo Uustalu, Varmo Vene: Type systems equivalent to data-flow analyses for imperative languages. Theor. Comput. Sci. 364(3): 292-310 (2006)
	2005
14		Peeter Laud: Secrecy types for a simulatable cryptographic library. ACM Conference on Computer and Communications Security 2005: 26-35
13		Peeter Laud, Varmo Vene: A Type System for Computationally Secure Information Flow. FCT 2005: 365-377
12		Ahto Buldas, Peeter Laud, Märt Saarepera, Jan Willemson: Universally Composable Time-Stamping Schemes with Audit. ISC 2005: 359-373
11		Ahto Buldas, Peeter Laud, Märt Saarepera, Jan Willemson: Universally Composable Time-Stamping Schemes with Audit. IACR Cryptology ePrint Archive 2005: 198 (2005)
	2004
10		Peeter Laud: Symmetric Encryption in Automatic Analyses for Confidentiality against Active Adversaries. IEEE Symposium on Security and Privacy 2004: 71-85
9		Peeter Laud: Computationally secure information flow. Saarland University 2004: 1-192
	2003
8		Peeter Laud: Handling Encryption in an Analysis for Secure Information Flow. ESOP 2003: 159-173
7		Peeter Laud, Ricardo Corin: Sound Computational Interpretation of Formal Encryption with Composed Keys. ICISC 2003: 55-66
	2002
6		Ahto Buldas, Peeter Laud, Helger Lipmaa: Eliminating Counterevidence with Applications to Accountable Certificate Management. Journal of Computer Security 10(3): 273-296 (2002)
	2001
5		Peeter Laud: Semantics and Program Analysis of Computationally Secure Information Flow. ESOP 2001: 77-91
	2000
4		Ahto Buldas, Peeter Laud, Helger Lipmaa: Accountable certificate management using undeniable attestations. ACM Conference on Computer and Communications Security 2000: 9-17
3		Ahto Buldas, Peeter Laud, Helger Lipmaa: Accountable Certificate Management using Undeniable Attestations. IACR Cryptology ePrint Archive 2000: 27 (2000)
	1998
2		Ahto Buldas, Peeter Laud, Helger Lipmaa, Jan Willemson: Time-Stamping with Binary Linking Schemes. CRYPTO 1998: 486-501
1		Ahto Buldas, Peeter Laud: New linking schemes for digital time-stamping. ICISC 1998: 3-13

Coauthor Index

1	Abu Shohel Ahmed	[28]
2	Michael Backes	[16] [18]
3	Ahto Buldas	[1] [2] [3] [4] [6] [11] [12] [17]
4	Ricardo Corin	[7]
5	Sven Heiberg	[29]
6	Claus Popp Larsen	[29]
7	Helger Lipmaa	[2] [3] [4] [6]
8	Sigurðr Másson	[29]
9	Madeline González Muñiz	[25] [26]
10	Long Ngo	[20] [21]
11	Martin Pettai	[30]
12	Jaan Priisalu	[17]
13	Meelis Roos	[23]
14	Märt Saarepera	[11] [12] [17]
15	Ilja Tsahhirov	[19] [24]
16	Tarmo Uustalu	[15]
17	Varmo Vene	[13] [15]
18	Jan Willemson	[2] [11] [12] [17]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page