Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Delaune, Stéphanie
43  Ergebnisse:
Artikel (Online) X
Personensuche X
?
1

The Squirrel Prover and its Logic:

Baelde, David ; Delaune, Stéphanie ; Jacomme, Charlie..
ACM SIGLOG News.  11 (2024)  2 - p. 62-83 , 2024
Link: https://doi.org/10.1145/..
 
?
2

So Near and Yet So Far – Symbolic Verification of Distance-..:

Debant, Alexandre ; Delaune, Stéphanie ; Wiedling, Cyrille
ACM Transactions on Privacy and Security.  25 (2022)  2 - p. 1-39 , 2022
Link: https://doi.org/10.1145/..
 
?
3

A Decidable Class of Security Protocols for Both Reachabili..:

Cortier, Véronique ; Delaune, Stéphanie ; Sundararajan, Vaishnavi
Journal of Automated Reasoning.  65 (2020)  4 - p. 479-520 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Catching the Fastest Boomerangs: Application to SKINNY:

Delaune, Stéphanie ; Derbez, Patrick ; Vavrille, Mathieu
IACR Transactions on Symmetric Cryptology.  , 2020
Link: https://doi.org/10.46586..
 
?
5

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/..
 
?
6

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..
 
?
7

POPSTAR: so near and yet so far:

Delaune, Stéphanie
ACM SIGLOG News.  5 (2018)  3 - p. 45-51 , 2018
Link: https://dl.acm.org/doi/1..
 
?
8

POPSTAR: so near and yet so far:

Delaune, Stéphanie
ACM SIGLOG News.  5 (2018)  3 - p. 45-51 , 2018
Link: https://doi.org/10.1145/..
 
?
9

A survey of symbolic methods for establishing equivalence-b..:

Delaune, Stéphanie ; Hirschi, Lucca
Journal of Logical and Algebraic Methods in Programming.  87 (2017)  - p. 127-144 , 2017
Link: https://doi.org/10.1016/..
 
?
10

A procedure for deciding symbolic equivalence between sets ..:

Cheval, Vincent ; Comon-Lundh, Hubert ; Delaune, Stéphanie
Information and Computation.  255 (2017)  - p. 94-125 , 2017
Link: https://doi.org/10.1016/..
 
?
11

From Security Protocols to Pushdown Automata:

Chrétien, Rémy ; Cortier, Véronique ; Delaune, Stéphanie
ACM Transactions on Computational Logic (TOCL).  17 (2015)  1 - p. 1-45 , 2015
Link: https://dl.acm.org/doi/1..
 
?
12

From Security Protocols to Pushdown Automata:

Chrétien, Rémy ; Cortier, Véronique ; Delaune, Stéphanie
ACM Transactions on Computational Logic.  17 (2015)  1 - p. 1-45 , 2015
Link: https://doi.org/10.1145/..
 
?
13

Deducibility constraints and blind signatures:

Bursuc, Sergiu ; Comon-Lundh, Hubert ; Delaune, Stéphanie
Information and Computation.  238 (2014)  - p. 106-127 , 2014
Link: https://doi.org/10.1016/..
 
?
14

Modeling and verifying ad hoc routing protocols:

Arnaud, Mathilde ; Cortier, Véronique ; Delaune, Stéphanie
Information and Computation.  238 (2014)  - p. 30-67 , 2014
Link: https://doi.org/10.1016/..
 
?
15

Deciding equivalence-based properties using constraint solv..:

Cheval, Vincent ; Cortier, Véronique ; Delaune, Stéphanie
Theoretical Computer Science.  492 (2013)  - p. 1-39 , 2013
Link: https://doi.org/10.1016/..
 
1-15