Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Delaune, Stéphanie
349  Ergebnisse:
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

Tamarin-Based Analysis of Bluetooth Uncovers Two Practical ..:

, In: Computer Security – ESORICS 2023; Lecture Notes in Computer Science,
Claverie, Tristan ; Avoine, Gildas ; Delaune, Stéphanie. - p. 100-119 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Proving Unlinkability Using ProVerif Through Desynchronised..:

, In: 2023 IEEE 36th Computer Security Foundations Symposium (CSF),
Baelde, David ; Debant, Alexandre ; Delaune, Stephanie - p. 75-90 , 2023
Link: https://doi.org/10.1109/..
 
?
4

New Algorithm for Exhausting Optimal Permutations for Gener..:

, In: Lecture Notes in Computer Science; Progress in Cryptology – INDOCRYPT 2022,
Delaune, Stéphanie ; Derbez, Patrick ; Gontier, Arthur. - p. 103-124 , 2022
Link: https://doi.org/10.1007/..
 
?
5

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

Cracking the Stateful Nut: Computational Proofs of Stateful..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Baelde, David ; Delaune, Stephanie ; Koutsos, Adrien. - p. 289-304 , 2022
Link: https://doi.org/10.1109/..
 
?
7

One Vote Is Enough for Analysing Privacy:

, In: Computer Security – ESORICS 2022; Lecture Notes in Computer Science,
Delaune, Stéphanie ; Lallemand, Joseph - p. 173-194 , 2022
Link: https://doi.org/10.1007/..
 
?
8

A Simpler Model for Recovering Superpoly on Trivium:

, In: Selected Areas in Cryptography; Lecture Notes in Computer Science,
Delaune, Stéphanie ; Derbez, Patrick ; Gontier, Arthur. - p. 266-285 , 2022
Link: https://doi.org/10.1007/..
 
?
9

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

An Interactive Prover for Protocol Verification in the Comp..:

, In: 2021 IEEE Symposium on Security and Privacy (SP),
Baelde, David ; Delaune, Stephanie ; Jacomme, Charlie.. - p. 537-554 , 2021
Link: https://doi.org/10.1109/..
 
?
11

Efficient Methods to Search for Best Differential Character..:

, In: Applied Cryptography and Network Security; Lecture Notes in Computer Science,
Delaune, Stéphanie ; Derbez, Patrick ; Huynh, Paul... - p. 184-207 , 2021
Link: https://doi.org/10.1007/..
 
?
12

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

A Method for Proving Unlinkability of Stateful Protocols:

, In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF),
Baelde, David ; Delaune, Stephanie ; Moreau, Solene - p. 169-183 , 2020
Link: https://doi.org/10.1109/..
 
?
14

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

Automatic Generation of Sources Lemmas in Tamarin: Towards ..:

, In: Computer Security – ESORICS 2020; Lecture Notes in Computer Science,
Cortier, Véronique ; Delaune, Stéphanie ; Dreier, Jannik - p. 3-22 , 2020
Link: https://doi.org/10.1007/..
 
1-15