.:. Browse > By authors > Abadi .:.

2 documents ordered by : Date Title first author name document type Submit date

Deciding knowledge in security protocols under equational theories Abadi M., Cortier V. N° RR-5169 (2004) [inria-00071420 - version 1]

Explicit substitutions Abadi M., Cardelli L., Curien P.L., Levy J.-J. N° RR-1176 (1990) [inria-00075382 - version 1]