Adriaan Larmuseau

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 4

Top Topics

Lesion Segmentation

Abstract Machine

Security Requirements

Top Venues

IEEE Trans. Mob. Comput.

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Xiaopeng Jiang, Han Hu, Thinh On, Phung Lai, Vijaya Datta Mayyuri, An M. Chen, Devu M. Shila, Adriaan Larmuseau, Ruoming Jin, Cristian Borcea, NhatHai Phan
FLSys: Toward an Open Ecosystem for Federated Learning Mobile Apps. IEEE Trans. Mob. Comput. 23 (1) (2024)
Han Hu, Xiaopeng Jiang, Vijaya Datta Mayyuri, An Chen, Devu M. Shila, Adriaan Larmuseau, Ruoming Jin, Cristian Borcea, NhatHai Phan
FLSys: Toward an Open Ecosystem for Federated Learning Mobile Apps. CoRR (2021)
Adriaan Larmuseau, Devu Shila
PatchSweetner: Exploit Detection Through the Automatic Transformation of Security Patches. MILCOM (2018)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
Implementing a secure abstract machine. SAC (2016)
Adriaan Larmuseau, Dave Clarke
Formalizing a Secure Foreign Function Interface. SEFM (2015)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
A High-Level Model for an Assembly Language Attacker by Means of Reflection. SETTA (2015)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
A Secure Compiler for ML Modules. APLAS (2015)
Adriaan Larmuseau, Marco Patrignani, Dave Clarke
Operational Semantics for Secure Interoperation. PLAS@ECOOP (2014)