MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Peeter Laud" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

Ogden's Lemma for Coupled-Context-Free Languages; the Set of Lyndon Words is not Coupled-Context-Free
by Peeter Laud
…-context-free Peeter Laud Institute of Computer Science Tartu University Liivi 2, 50409 TARTU, ESTONIA e-mail peeter l…
Add To MetaCart

Encryption Cycles and Two Views of Cryptography
by Peeter Laud — 2002 — In NORDSEC 2002 - Proceedings of the 7th Nordic Workshop on Secure IT Systems (Karlstad University Studies 2002:31
…Encryption Cycles and Two Views of Cryptography Peeter Laud # Tartu University, Liivi 2, Tartu…
Cited by 7 (1 self) – Add To MetaCart

Pseudorandom Permutations and Equivalence of Formal Expressions
by Peeter Laud — 2002 — In 14th Nordic Workshop on Programming Theory
…Pseudorandom Permutations and Equivalence of Formal Expressions (Abstract) Peeter Laud # Tartu…
Cited by 1 (0 self) – Add To MetaCart

Analysis for Object Inlining in Java
by Peeter Laud — 2001 — In Proceedings of the Joses Workshop
…Analysis for Object Inlining in Java Peeter Laud FR Informatik Universitat des Saarlandes laud…
Cited by 5 (0 self) – Add To MetaCart

Symmetric Encryption in Automatic Analyses for Confidentiality against Active Adversaries
by Peeter Laud — 2004
… Laud Tartu University and Cybernetica AS Email: peeter l@(email omitted); Abstract--- In this article we present…
Cited by 36 (1 self) – Add To MetaCart

Handling Encryption in an Analysis for Secure Information Flow
by Peeter Laud — 2003 — In Proc. European Symp. on Programming, volume 2618 of LNCS
…Handling Encryption in an Analysis for Secure Information Flow Peeter Laud # Tartu University…
Cited by 17 (0 self) – Add To MetaCart

Computationally Sound Secrecy Proofs by Mechanized Flow Analysis
by Michael Backes, Peeter Laud — 2006 — 13th ACM Conference on Computer and Communications Security (CCS 2006
…Computationally Sound Secrecy Proofs by Mechanized Flow Analysis Michael Backes Peeter Laud…
Cited by 3 (1 self) – Add To MetaCart

Handling Encryption in Analyses for Secure Information Flow
by Peeter Laud, Fr Informatik — 2001 — In Pierpaolo Degano, editor, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, volume 2618 of LNCS
…Handling Encryption in Analyses for Secure Information Flow Peeter Laud FR Informatik Universit…
Cited by 5 (2 self) – Add To MetaCart

Sound Computational Interpretation of Formal Encryption with Composed Keys
by Peeter Laud, Ricardo Corin — 2003 — In Information Security and Cryptology - ICISC 2003, 6th International Conference, LNCS
…Sound Computational Interpretation of Formal Encryption with Composed Keys Peeter Laud # Tartu…
Cited by 12 (0 self) – Add To MetaCart

New Linking Schemes for Digital Time-Stamping
by Ahto Buldas, Peeter Laud — 1998
…New linking schemes for digital time-stamping Ahto Buldas 1 and Peeter Laud 2 1 Kuberneetika AS…
Cited by 10 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB