Operational Semantics for Secure Interoperation. - Adriaan Larmuseau; Marco Patrignani; Dave Clarke 001 (PLAS@ECOOP, 2014)

A Secure Compiler for ML Modules. - Adriaan Larmuseau; Marco Patrignani; Dave Clarke 001 (APLAS, 2015)

Formalizing a Secure Foreign Function Interface. - Adriaan Larmuseau; Dave Clarke 001 (SEFM, 2015)

A High-Level Model for an Assembly Language Attacker by Means of Reflection. - Adriaan Larmuseau; Marco Patrignani; Dave Clarke 001 (SETTA, 2015)

Implementing a secure abstract machine. - Adriaan Larmuseau; Marco Patrignani; Dave Clarke 001 (SAC, 2016)

Protecting Functional Programs From Low-Level Attackers. - Adriaan Larmuseau (2016)

PatchSweetner: Exploit Detection Through the Automatic Transformation of Security Patches. - Adriaan Larmuseau; Devu M. Shila (MILCOM, 2018)

FLSys: Toward an Open Ecosystem for Federated Learning Mobile Apps. - Han Hu 007; Xiaopeng Jiang; Vijaya Datta Mayyuri; An M. Chen; Devu M. Shila; Adriaan Larmuseau; Ruoming Jin; Cristian Borcea; NhatHai Phan (CoRR, 2021)

FLSys: Toward an Open Ecosystem for Federated Learning Mobile Apps. - Xiaopeng Jiang; Han Hu 007; Thinh On; Phung Lai; Vijaya Datta Mayyuri; An M. Chen; Devu M. Shila; Adriaan Larmuseau; Ruoming Jin; Cristian Borcea; NhatHai Phan (IEEE Trans. Mob. Comput., 2024)