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
Tag Archives: Maryam
ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Comments Off on ARTINALI: Dynamic Invariant Detection for Cyber-Physical System Security
Filed under papers
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
Filed under papers