La lecture à portée de main
Suivre
Documents
The pi calculus as a theory in linear logic: Preliminary results
Documents
Rapports de stage
The pi calculus as a theory in linear logic: Preliminary results
18 pages
English
Documents
A Framework for Analyzing Probabilistic Protocols and its Application to the Partial
Intend2
Documents
Rapports de stage
A Framework for Analyzing Probabilistic Protocols and its Application to the Partial
Intend2
6 pages
English
Documents
Under consideration for publication in Math Struct in Comp Science
Alan Perlis
Documents
Rapports de stage
Under consideration for publication in Math Struct in Comp Science
Alan Perlis
4 pages
English
Documents
A Calculus for Secure Mobility
Bruno Blanchet
Documents
Mixing Finite Success and Finite Failure in an Automated Prover
Documents
Etudes supérieures
Mixing Finite Success and Finite Failure in an Automated Prover
20 pages
English
Documents
Automated Verification of Selected Equivalences for Security Protocols
Bruno Blanchet
Documents
Rapports de stage
Automated Verification of Selected Equivalences for Security Protocols
Bruno Blanchet
10 pages
English
Documents
FGUC Preliminary Version
Dale Miller
Documents
MTCoord Preliminary Version
Denys Duchier
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productAuthors}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productAuthors}}
{{productPages}}
{{productLanguageIsoCode}}