Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Dallon, Antoine
49  Ergebnisse:
Personensuche X
?
1

A small bound on the number of sessions for security protoc..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Cortier, Veronique ; Dallon, Antoine ; Delaune, Stephanie - p. 33-48 , 2022
Link: https://doi.org/10.1109/..
 
?
2

Typing Messages for Free in Security Protocols:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
ACM Transactions on Computational Logic.  21 (2019)  1 - p. 1-52 , 2019
Link: https://doi.org/10.1145/..
 
?
3

Typing Messages for Free in Security Protocols:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
ACM Transactions on Computational Logic (TOCL).  21 (2019)  1 - p. 1-52 , 2019
Link: https://dl.acm.org/doi/1..
 
?
4

Efficiently Deciding Equivalence for Standard Primitives an..:

, In: Computer Security; Lecture Notes in Computer Science,
Cortier, Véronique ; Dallon, Antoine ; Delaune, Stéphanie - p. 491-511 , 2018
Link: https://doi.org/10.1007/..
 
?
5

A small bound on the number of sessions for security protoc..:

Cortier, Véronique ; Dallon, Antoine ; Delaune, Stéphanie
hal-03473179.  , 2022
Link: https://inria.hal.scienc..
 
?
6

A small bound on the number of sessions for security protoc..:

Cortier, Véronique ; Dallon, Antoine ; Delaune, Stéphanie
hal-03473179.  , 2022
Link: https://inria.hal.scienc..
 
?
7

A small bound on the number of sessions for security protoc..:

Cortier, Véronique ; Dallon, Antoine ; Delaune, Stéphanie
hal-03473179.  , 2022
Link: https://inria.hal.scienc..
 
?
8

Typing messages for free in security protocols:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3343507.  , 2020
Link: https://inria.hal.scienc..
 
?
9

Typing messages for free in security protocols:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3343507.  , 2020
Link: https://inria.hal.scienc..
 
?
10

Typing messages for free in security protocols:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3343507.  , 2020
Link: https://inria.hal.scienc..
 
?
11

Typing messages for free in security protocols:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3343507.  , 2020
Link: https://inria.hal.scienc..
 
?
12

Typing messages for free in security protocols:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3343507.  , 2020
Link: https://inria.hal.scienc..
 
?
13

Typing messages for free in security protocols:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
info:eu-repo/semantics/altIdentifier/doi/10.1145/3343507.  , 2020
Link: https://hal.inria.fr/hal..
 
?
14

Typing messages for free in security protocols ; Un résulta..:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
hal-01741172.  , 2018
Link: https://hal.archives-ouv..
 
?
15

Typing messages for free in security protocols ; Un résulta..:

Chrétien, Rémy ; Cortier, Véronique ; Dallon, Antoine.
hal-01741172.  , 2018
Link: https://hal.science/hal-..
 
1-15