An IDE for the Design, Verification and Implementation of Security Protocols. - Rémi Garcia 001; Paolo Modesti (ISSRE Workshops, 2017)

R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks. - Ahmad Abboud; Rémi Garcia 001; Abdelkader Lahmadi; Michaël Rusinowitch; Adel Bouhoula (CNSM, 2020)

Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks. - Ahmad Abboud; Rémi Garcia 001; Abdelkader Lahmadi; Michaël Rusinowitch; Adel Bouhoula (NCA, 2020)

Automatically Distributing and Updating In-Network Management Rules for Software Defined Networks. - Ahmad Abboud; Rémi Garcia 001; Abdelkader Lahmadi; Michaël Rusinowitch; Adel Bouhoula; Mondher Ayadi (NOMS, 2022)

Formal Modeling and Security Analysis of Security Protocols. - Paolo Modesti; Rémi Garcia 001 (Handb. Formal Anal. Verification Cryptogr., 2023)

Securing distributed systems: A survey on access control techniques for cloud, blockchain, IoT and SDN. - Lewis Golightly; Paolo Modesti; Rémi Garcia 001; Victor Chang 001 (Cyber Secur. Appl., 2023)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols. - Rémi Garcia 001; Paolo Modesti (CoRR, 2024)

Automatic generation of security protocols attacks specifications and implementations. - Rémi Garcia 001; Paolo Modesti (Cyber Secur. Appl., 2024)

Hardware-Aware Training for Multiplierless Convolutional Neural Networks. - Rémi Garcia 001; Léo Pradels; Silviu-Ioan Filip; Olivier Sentieys (ARITH, 2025)

SWAPPER: Dynamic Operand Swapping in Non-commutative Approximate Circuits for Online Error Reduction. - Marcello Traiola; Nazar Misyats; Silviu-Ioan Filip; Rémi Garcia 001; Angeliki Kritikakou (CoRR, 2025)