Tomas Hernandez Acosta

Publication Activity (10 Years)

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

Top Topics

Buffer Overflow

Insider Attacks

Biometric Template

Top Venues

Publications

Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
Stealthy attacks formalized as STL formulas for Falsification of CPS Security. HSCC (2023)