Collaborated with:M.R.Aliabadi J.Gascon-Samson K.Pattabiraman
Talks about:artinali (1) system (1) physic (1) invari (1) detect (1) secur (1) dynam (1) cyber (1)
Person: Amita Ajith Kamath
DBLP: Kamath:Amita_Ajith
Contributed to:
2017Wrote 1 papers:
- ESEC-FSE-2017-AliabadiKGP #cyber-physical #detection #invariant #named #security
- ARTINALI: dynamic invariant detection for cyber-physical system security (MRA, AAK, JGS, KP), pp. 349–361.