92 citations · 93 across the 3 of their papers we have counts for
3 papers
cs.CR2019★ 1 cited
Algorithm Diversity for Resilient Systems
Scott D. Stoller, Yanhong A. Liu
Diversity can significantly increase the resilience of systems, by reducing the prevalence of shared vulnerabilities and making vulnerabilities harder to exploit. Work on software…
cs.CR2018★ 92 cited
SLEUTH: Real-time Attack Scenario Reconstruction from COTS Audit Data
Md Nahid Hossain, Sadegh M Milajerdi, Junao Wang +5
We present an approach and system for real-time reconstruction of attack scenarios on an enterprise host. To meet the scalability and real-time needs of the problem, we develop a p…
cs.LG2017
How to Learn a Model Checker
Dung Phan, Radu Grosu, Nicola Paoletti +2
We show how machine-learning techniques, particularly neural networks, offer a very effective and highly efficient solution to the approximate model-checking problem for continuous…