Personal information

No personal information available

Activities

Works (8)

Automatic generation of security protocols attacks specifications and implementations

Cyber Security and Applications
2024 | Journal article
Contributors: Rémi Garcia; Paolo Modesti
Source: check_circle
Crossref

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols

Electronics
2024-11-26 | Journal article
Contributors: Rémi Garcia; Paolo Modesti
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Formal Modeling and Security Analysis of Security Protocols

Handbook of Formal Analysis and Verification in Cryptography
2023-08-01 | Book chapter
Part of ISBN: 9781003090052
Contributors: Paolo Modesti; Rémi Garcia
Source: Self-asserted source
Rémi Garcia

Securing Distributed Systems: A Survey on Access Control Techniques for Cloud, Blockchain, IoT and SDN

Cyber Security and Applications
2023-03 | Journal article
Part of ISSN: 2772-9184
Contributors: Lewis Golightly; Paolo Modesti; Rémi Garcia; Prof Victor Chang
Source: Self-asserted source
Rémi Garcia

Automatically Distributing and Updating In-Network Management Rules for Software Defined Networks

NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium
2022-04-25 | Conference paper
Contributors: Ahmad Abboud; Remi Garcia; Abdelkader Lahmadi; Michael Rusinowitch; Adel Bouhoula; Mondher Ayadi
Source: Self-asserted source
Rémi Garcia

Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks

2020 IEEE 19th International Symposium on Network Computing and Applications (NCA)
2020-11-24 | Conference paper
Contributors: Ahmad Abboud; Remi Garcia; Abdelkader Lahmadi; Michael Rusinowitch; Adel Bouhoula
Source: Self-asserted source
Rémi Garcia

R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks

2020 16th International Conference on Network and Service Management (CNSM)
2020-11-02 | Conference paper
Contributors: Ahmad Abboud; Remi Garcia; Abdelkader Lahmadi; Michael Rusinowitch; Adel Bouhoula
Source: Self-asserted source
Rémi Garcia

An IDE for the Design, Verification and Implementation of Security Protocols

2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
2017-10 | Conference paper
Contributors: Remi Garcia; Paolo Modesti
Source: Self-asserted source
Rémi Garcia