Cracking open the black box: What observations can tell us about reinforcement learning agents A Dethise, M Canini, S Kandula Proceedings of the 2019 Workshop on Network Meets AI & ML, 29-36, 2019 | 40 | 2019 |
Analyzing learning-based networked systems with formal verification A Dethise, M Canini, N Narodytska IEEE INFOCOM 2021-IEEE Conference on Computer Communications, 1-10, 2021 | 11 | 2021 |
Prelude: Ensuring inter-domain loop-freedom in SDN-enabled networks A Dethise, M Chiesa, M Canini Proceedings of the 2nd Asia-Pacific Workshop on Networking, 50-56, 2018 | 11 | 2018 |
Privacy-preserving detection of inter-domain SDN rules overlaps A Dethise, M Chiesa, M Canini Proceedings of the SIGCOMM Posters and Demos, 6-8, 2017 | 3 | 2017 |
A Reinforcement Learning Approach to Optimize Performance of Stream Processors A Dethise EuroDW. EuroSys, 2018 | 1 | 2018 |
Towards privacy-preserving network verification of inter-domain Software-Defined Networking A Dethise, M Canini, O BONAVENTURE, R SADRE, M CHIESA | 1 | 2017 |
Interpretation, Verification and Privacy Techniques for Improving the Trustworthiness of Neural Networks A Dethise | | 2023 |
{SAGE}: Software-based Attestation for {GPU} Execution A Ivanov, B Rothenberger, A Dethise, M Canini, T Hoefler, A Perrig 2023 USENIX Annual Technical Conference (USENIX ATC 23), 485-499, 2023 | | 2023 |