Collaborated with:A.A.Kamath J.Gascon-Samson K.Pattabiraman
Talks about:artinali (1) system (1) physic (1) invari (1) detect (1) secur (1) dynam (1) cyber (1)
Person: Maryam Raiyat Aliabadi
DBLP: Aliabadi:Maryam_Raiyat
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.