Login / Signup
Éric Hervé
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Homeland Security
Critical Infrastructure
Telecommunication Systems
Malicious Code Detection
Top Venues
SAC
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
</>
Publications
</>
Filipe Apolinário
,
Nelson Escravana
,
Éric Hervé
,
Miguel L. Pardal
,
Miguel Correia
FingerCI: generating specifications for critical infrastructures.
SAC
(2022)
Filipe Apolinário
,
João Guiomar
,
Éric Hervé
,
Sven Hrastnik
,
Nelson Escravana
,
Miguel L. Pardal
,
Miguel Correia
ComSEC: Secure Communications for Baggage Handling Systems.
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
(2022)