Arnaud Dethise

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 7

Top Topics

Autonomous Systems

Top Venues

SIGCOMM Posters and Demos

USENIX Annual Technical Conference

Publications

Andrei Ivanov, Benjamin Rothenberger, Arnaud Dethise, Marco Canini, Torsten Hoefler, Adrian Perrig
SAGE: Software-based Attestation for GPU Execution. USENIX Annual Technical Conference (2023)
Andrei Ivanov, Benjamin Rothenberger, Arnaud Dethise, Marco Canini, Torsten Hoefler, Adrian Perrig
SAGE: Software-based Attestation for GPU Execution. CoRR (2022)
Arnaud Dethise, Marco Canini, Nina Narodytska
Analyzing Learning-Based Networked Systems with Formal Verification. INFOCOM (2021)
Arnaud Dethise, Marco Canini, Srikanth Kandula
Cracking Open the Black Box: What Observations Can Tell Us About Reinforcement Learning Agents. NetAI@SIGCOMM (2019)
Arnaud Dethise, Marco Chiesa, Marco Canini
Prelude: Ensuring Inter-Domain Loop-Freedom in SDN-Enabled Networks. APNet (2018)
Arnaud Dethise, Marco Chiesa, Marco Canini
Prelude: Ensuring Inter-Domain Loop-Freedom in~SDN-Enabled Networks. CoRR (2018)
Arnaud Dethise, Marco Chiesa, Marco Canini
Privacy-Preserving Detection of Inter-Domain SDN Rules Overlaps. SIGCOMM Posters and Demos (2017)