Tag Archives: Maryam

ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security

Posted on June 3, 2017 | Comments Off on ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security

Maryam Raiyat Aliabadi, Amita Kamath, Julien Samson, and Karthik Pattabiraman. ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), 2017. (Acceptance Rate: 24%). [PDF | Talk]
Continue reading →

Comments Off on ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security

Posted in papers

Tagged , , , , , ,

FIDL: A Fault Injection Description Language for Compiler-based SFI Tools

Posted on May 5, 2016 | Comments Off on FIDL: A Fault Injection Description Language for Compiler-based SFI Tools

Maryam Raiyat Ailabadi and Karthik Pattabiraman, International Conference on Computer Safety, Reliability and Security (SafeComp), 2016. (Acceptance Rate: 34%) [ PDF | Talk ]
Continue reading →

Comments Off on FIDL: A Fault Injection Description Language for Compiler-based SFI Tools

Posted in papers

Tagged , , , ,