Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Koutsos, Adrien
66  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

Mechanized Proofs of Adversarial Complexity and Application..:

Barbosa, Manuel ; Barthe, Gilles ; Grégoire, Benjamin..
ACM Transactions on Privacy and Security.  26 (2023)  3 - p. 1-34 , 2023
Link: https://doi.org/10.1145/..
 
?
3

A Higher-Order Indistinguishability Logic for Cryptographic..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Baelde, David ; Koutsos, Adrien ; Lallemand, Joseph - p. 1-13 , 2023
Link: https://doi.org/10.1109/..
 
?
4

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

Semantic Foundations for Cost Analysis of Pipeline-Optimize..:

, In: Static Analysis; Lecture Notes in Computer Science,
Barthe, Gilles ; Koutsos, Adrien ; Mirliaz, Solène.. - p. 372-396 , 2022
Link: https://doi.org/10.1007/..
 
?
6

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

Decidability of a Sound Set of Inference Rules for Computat..:

Koutsos, Adrien
ACM Transactions on Computational Logic.  22 (2021)  1 - p. 1-44 , 2021
Link: https://doi.org/10.1145/..
 
?
8

High-Assurance Cryptography in the Spectre Era:

, In: 2021 IEEE Symposium on Security and Privacy (SP),
Barthe, Gilles ; Cauligi, Sunjay ; Gregoire, Benjamin... - p. 1884-1901 , 2021
Link: https://doi.org/10.1109/..
 
?
9

Mechanized Proofs of Adversarial Complexity and Application..:

, In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security,
Barbosa, Manuel ; Barthe, Gilles ; Grégoire, Benjamin.. - p. 2541-2563 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

Decidability of a Sound Set of Inference Rules for Computat..:

Koutsos, Adrien
ACM Transactions on Computational Logic (TOCL).  22 (2021)  1 - p. 1-44 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

The Last Mile: High-Assurance and High-Speed Cryptographic ..:

, In: 2020 IEEE Symposium on Security and Privacy (SP),
Almeida, Jose Bacelar ; Barbosa, Manuel ; Barthe, Gilles... - p. 965-982 , 2020
Link: https://doi.org/10.1109/..
 
?
12

Process-centric views of data-driven business artifacts:

Koutsos, Adrien ; Vianu, Victor
Journal of Computer and System Sciences.  86 (2017)  - p. 82-107 , 2017
Link: https://doi.org/10.1016/..
 
?
13

A Higher-Order Indistinguishability Logic for Cryptographic..:

Baelde, David ; Koutsos, Adrien ; Lallemand, Joseph
hal-03981949.  , 2023
Link: https://hal.inria.fr/hal..
 
?
14

A Higher-Order Indistinguishability Logic for Cryptographic..:

Baelde, David ; Koutsos, Adrien ; Lallemand, Joseph
info:eu-repo/semantics/altIdentifier/doi/10.1109/LICS56636.2023.10175781.  , 2023
Link: https://inria.hal.scienc..
 
?
15

A Higher-Order Indistinguishability Logic for Cryptographic..:

Baelde, David ; Koutsos, Adrien ; Lallemand, Joseph
info:eu-repo/semantics/altIdentifier/doi/10.1109/LICS56636.2023.10175781.  , 2023
Link: https://inria.hal.scienc..
 
1-15