92 citations · 394 across the 34 of their papers we have counts for
38 papers
Automatically Tightening Access Control Policies with Restricter
Ka Lok Wu, Christa Jenkins, Scott D. Stoller +1
Robust access control is a cornerstone of secure software, systems, and networks. An access control mechanism is as effective as the policy it enforces. However, authoring effectiv…
Resilience through Automated Adaptive Configuration for Distribution and Replication
Scott D. Stoller, Balaji Jayasankar, Yanhong A. Liu
This paper presents a powerful automated framework for making complex systems resilient under failures, by optimized adaptive distribution and replication of interdependent softwar…
Cumulative-Time Signal Temporal Logic
Hongkai Chen, Zeyu Zhang, Shouvik Roy +4
Signal Temporal Logic (STL) is a widely adopted specification language in cyber-physical systems for expressing critical temporal requirements, such as safety conditions and respon…
Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
Yanhong A. Liu, John Idogun, Scott D. Stoller +1
Logic rules allow analysis of complex relationships to be expressed easily, especially for transitive relations in critical applications. However, understanding and predicting the…
Benchmarking for Integrating Logic Rules with Everything Else
Yanhong A. Liu, Scott D. Stoller, Yi Tong +1
Integrating logic rules with other language features is increasingly sought after for advanced applications that require knowledge-base capabilities. To address this demand, increa…
Integrating Logic Rules with Everything Else, Seamlessly
Yanhong A. Liu, Scott D. Stoller, Yi Tong +1
This paper presents a language, Alda, that supports all of logic rules, sets, functions, updates, and objects as seamlessly integrated built-ins. The key idea is to support predica…