Rémi Garcia

Orcid: 0000-0003-1207-216X

Affiliations:

Teesside University, Department of Computing and Games, Middlesbrough, UK
Université de Lorraine, CNRS, Inria, Loria, Nancy, France
IPB Enseirb-Matmeca, France
IUT de Bordeaux, Département Informatique, Bordeaux, France

According to our database¹, Rémi Garcia authored at least 7 papers between 2017 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Automatic generation of security protocols attacks specifications and implementations.

[BibT_eX]

[DOI]

Rémi Garcia

Paolo Modesti

Cyber Secur. Appl., 2024

2023

Securing distributed systems: A survey on access control techniques for cloud, blockchain, IoT and SDN.

[BibT_eX]

[DOI]

Cyber Secur. Appl., December, 2023

Formal Modeling and Security Analysis of Security Protocols.

[BibT_eX]

[DOI]

Paolo Modesti

Rémi Garcia

Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2022

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

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE/IFIP Network Operations and Management Symposium, 2022

2020

Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Symposium on Network Computing and Applications, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Network and Service Management, 2020

2017

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

[BibT_eX]

[DOI]

Rémi Garcia

Paolo Modesti

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Rémi Garcia

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...