Filtrer vos résultats
- 4
- 1
- 3
- 1
- 1
- 5
- 4
- 1
- 5
- 5
- 3
- 2
- 1
- 5
- 4
- 3
- 2
- 2
- 1
- 1
5 résultats
|
|
triés par
|
|
An Interactive Prover for Protocol Verification in the Computational ModelSP 2021 - 42nd IEEE Symposium on Security and Privacy, May 2021, San Fransisco / Virtual, United States
Communication dans un congrès
hal-03172119v1
|
||
|
Cracking the Stateful NutCSF 2022 - 35th IEEE Computer Security Foundations Symposium, Aug 2022, Haifa, Israel
Communication dans un congrès
hal-03500056v1
|
||
|
A Method for Proving Unlinkability of Stateful Protocols33rd IEEE Computer Security Foundations Symposium, Jun 2020, Boston, United States
Communication dans un congrès
hal-02459984v1
|
||
Formal verification of unlinkability for stateful protocols : bridging the gap between symbolic and computational modelsCryptography and Security [cs.CR]. Université de Rennes 1, 2021. English. ⟨NNT : 2021REN1S068⟩
Thèse
tel-04549427v1
|
|||
|
Extending the SQUIRREL meta-logic for reasoning over security protocols2021
Pré-publication, Document de travail
hal-03264227v1
|