( en | de | ru )

 

Disambiguierung von "Barthe, Gilles"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Probabilistic Separation Logic.

, , und . CoRR, (2019)

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.

Caroline Barthe

Mathis Barthe

Christoph Barthe

Susan Barthe

Gerhard Barthe

 

Weitere Publikationen von Autoren mit dem selben Namen

SoK: Practical Foundations for Spectre Defenses., , , , und . CoRR, (2021)Spectre Declassified: Reading from the Right Place at the Wrong Time., , , , , , , , , und . IACR Cryptol. ePrint Arch., (2022)“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks., , , , , , , und . IACR Cryptol. ePrint Arch., (2021)Formally verifying Kyber Part I: Implementation Correctness., , , , , , , , , und 2 andere Autor(en). IACR Cryptol. ePrint Arch., (2023)Domain-free pure type systems., und . J. Funct. Program., 10 (5): 417-452 (2000)Universal Equivalence and Majority of Probabilistic Programs over Finite Fields., , und . ACM Trans. Comput. Log., 23 (1): 5:1-5:42 (2022)Testing side-channel security of cryptographic implementations against future microarchitectures., , , , , , , , , und . CoRR, (2024)CoqQ: Foundational Verification of Quantum Programs., , , , und . CoRR, (2022)A survey of algorithmic recourse: definitions, formulations, solutions, and prospects., , , und . CoRR, (2020)Product programs and relational program logics., , und . J. Log. Algebraic Methods Program., 85 (5): 847-859 (2016)