Sign in
Francesco Racciatti
ORCID
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 3
Top Topics
Malicious Code Detection
Computer Security
Formal Analysis
Wireless Sensor Networks
Top Venues
ICISSP
SAFECOMP Workshops
J. Comput. Virol. Hacking Tech.
</>
Publications
</>
Cinzia Bernardeschi
,
Gianluca Dini
,
Maurizio Palmieri
,
Francesco Racciatti
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks.
J. Comput. Virol. Hacking Tech.
17 (3) (2021)
Cinzia Bernardeschi
,
Gianluca Dini
,
Maurizio Palmieri
,
Francesco Racciatti
Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia.
ICISSP
(2020)
Marco Tiloca
,
Francesco Racciatti
,
Gianluca Dini
Simulative Evaluation of Security Attacks in Networked Critical Infrastructures.
SAFECOMP Workshops
(2015)