Remi Garcia

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Artificial Immune Algorithm

Evolutionary Design

Security Protocols

Top Venues

ISSRE Workshops

Publications

Remi Garcia, Paolo Modesti
An IDE for the Design, Verification and Implementation of Security Protocols. ISSRE Workshops (2017)