( en | de | ru )

 

Disambiguierung von "Koutsos, Adrien"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Process-Centric Views of Data-Driven Business Artifacts.

, und . ICDT, Volume 31 von LIPIcs, Seite 247-264. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nikolas Theodoros Koutsós

Adrien Weingärtner

Adrien Schoof

Adrien Coyette

Adrien Coulet

 

Weitere Publikationen von Autoren mit dem selben Namen

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability., , , , und . ACM Trans. Priv. Secur., 26 (3): 41:1-41:34 (August 2023)Mechanized Proofs of Adversarial Complexity and Application to Universal Composability., , , , und . CCS, Seite 2541-2563. ACM, (2021)Preuves symboliques de propriétés d'indistinguabilité calculatoire. (Symbolic Proofs of Computational Indistinguishability).. University of Paris-Saclay, France, (2019)Deciding Indistinguishability.. CoRR, (2018)Decidability of a Sound Set of Inference Rules for Computational Indistinguishability.. ACM Trans. Comput. Log., 22 (1): 3:1-3:44 (2021)Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant., , , und . CSF, Seite 289-304. IEEE, (2022)A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications., , , und . CSF, Seite 22-36. IEEE Computer Society, (2017)Process-Centric Views of Data-Driven Business Artifacts., und . ICDT, Volume 31 von LIPIcs, Seite 247-264. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)The 5G-AKA Authentication Protocol Privacy.. EuroS&P, Seite 464-479. IEEE, (2019)A Higher-Order Indistinguishability Logic for Cryptographic Reasoning., , und . LICS, Seite 1-13. (2023)