Adriaan Larmuseau

According to our database, Adriaan Larmuseau authored at least 9 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

FLSys: Toward an Open Ecosystem for Federated Learning Mobile Apps.

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

IEEE Trans. Mob. Comput., January, 2024

2021

FLSys: Toward an Open Ecosystem for Federated Learning Mobile Apps.

Han Hu, Xiaopeng Jiang, Vijaya Datta Mayyuri, An M. Chen, Devu M. Shila, Adriaan Larmuseau, Ruoming Jin, Cristian Borcea, NhatHai Phan

CoRR, 2021

2018

PatchSweetner: Exploit Detection Through the Automatic Transformation of Security Patches.

Adriaan Larmuseau, Devu M. Shila

Proceedings of the 2018 IEEE Military Communications Conference, 2018

2016

Protecting Functional Programs From Low-Level Attackers.

Adriaan Larmuseau

PhD thesis, 2016

Implementing a secure abstract machine.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

A High-Level Model for an Assembly Language Attacker by Means of Reflection.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Formalizing a Secure Foreign Function Interface.

Adriaan Larmuseau, Dave Clarke

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

A Secure Compiler for ML Modules.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Operational Semantics for Secure Interoperation.

Adriaan Larmuseau, Marco Patrignani, Dave Clarke

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014