2 citations · 2 across the 3 of their papers we have counts for
3 papers
Diagnosing Unknown Attacks in Smart Homes Using Abductive Reasoning
Kushal Ramkumar, Wanling Cai, John McCarthy +3
Security attacks are rising, as evidenced by the number of reported vulnerabilities. Among them, unknown attacks, including new variants of existing attacks, technical blind spots…
Sustainable Adaptive Security
Liliana Pasquale, Kushal Ramkumar, Wanling Cai +3
With software systems permeating our lives, we are entitled to expect that such systems are secure by design, and that such security endures throughout the use of these systems and…
Fuzzy Time in LTL
Achille Frigeri, Liliana Pasquale, Paola Spoletini
In the last years, the adoption of active systems has increased in many fields of computer science, such as databases, sensor networks, and software engineering. These systems are…