Searching for authors named "Pascal Lafourcade" – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

Symbolic Protocol Analysis in Presence of aHomomorphism Operator and Exclusive Or
by Pascal Lafourcade, Denis Lugiez, Ralf Treinen
…'ephanie Delaune1,2, Pascal Lafourcade2,3, Denis Lugiez3 and Ralf Treinen2 1 France T'el'ecom, Division R&D 2…
Add To MetaCart

Symbolic protocol analysis in presence of a homomorphism operator and Exclusive Or
by Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen, France Télécom, Division R — 2006 — In Proc. 33rd International Colloquium on Automata, Languages and Programming (ICALP’06) — Part II, volume 4052 of LNCS
… in Presence of a Homomorphism Operator and Exclusive Or . Stéphanie Delaune 1,2 , Pascal Lafourcade 2…
Cited by 9 (5 self) – Add To MetaCart

Secure Neighborhood Discovery: A Fundamental Element for Mobile Ad Hoc Networking
by Panos Papadimitratos, Marcin Poturalski, Patrick Schaller, Pascal Lafourcade, David Basin, Srdjan Čapkun, Jean-pierre Hubaux — IEEE Communications Magazine
… Papadimitratos 1 , Marcin Poturalski 1 , Patrick Schaller 2 , Pascal Lafourcade 2 , David Basin 2 , Srdjan Čapkun…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 3.

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