×

zbMATH — the first resource for mathematics

Laud, Peeter

Compute Distance To:
Author ID: laud.peeter Recent zbMATH articles by "Laud, Peeter"
Published as: Laud, Peeter
Documents Indexed: 15 Publications since 1998

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 31 times in 22 Documents Cited by Year
Semantics and program analysis of computationally secure information flow. Zbl 0977.68524
Laud, Peeter
7
2001
Time-stamping with binary linking schemes. Zbl 0938.68040
Buldas, Ahto; Laud, Peeter; Lipmaa, Helger; Villemson, Jan
7
1998
Type systems equivalent to data-flow analyses for imperative languages. Zbl 1153.68351
Laud, Peeter; Uustalu, Tarmo; Vene, Varmo
4
2006
Sound computational interpretation of formal encryption with composed keys. Zbl 1092.68600
Laud, Peeter; Corin, Ricardo
3
2004
Handling encryption in an analysis for secure information flow. Zbl 1032.68076
Laud, Peeter
3
2003
Threshold homomorphic encryption in the universally composable cryptographic library. Zbl 1204.94073
Laud, Peeter; Ngo, Long
2
2008
On the computational soundness of cryptographically masked flows. Zbl 1295.68152
Laud, Peeter
2
2008
A type system for computationally secure information flow. Zbl 1123.68034
Laud, Peeter; Vene, Varmo
2
2005
Securing the future – an information flow analysis of a distributed OO language. Zbl 1302.68051
Pettai, Martin; Laud, Peeter
1
2012
Securing the future – an information flow analysis of a distributed OO language. Zbl 1302.68051
Pettai, Martin; Laud, Peeter
1
2012
Threshold homomorphic encryption in the universally composable cryptographic library. Zbl 1204.94073
Laud, Peeter; Ngo, Long
2
2008
On the computational soundness of cryptographically masked flows. Zbl 1295.68152
Laud, Peeter
2
2008
Type systems equivalent to data-flow analyses for imperative languages. Zbl 1153.68351
Laud, Peeter; Uustalu, Tarmo; Vene, Varmo
4
2006
A type system for computationally secure information flow. Zbl 1123.68034
Laud, Peeter; Vene, Varmo
2
2005
Sound computational interpretation of formal encryption with composed keys. Zbl 1092.68600
Laud, Peeter; Corin, Ricardo
3
2004
Handling encryption in an analysis for secure information flow. Zbl 1032.68076
Laud, Peeter
3
2003
Semantics and program analysis of computationally secure information flow. Zbl 0977.68524
Laud, Peeter
7
2001
Time-stamping with binary linking schemes. Zbl 0938.68040
Buldas, Ahto; Laud, Peeter; Lipmaa, Helger; Villemson, Jan
7
1998

Citations by Year