34 citations · 74 across the 35 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
Negin Ayoughi, Shiva Nejati, Mehrdad Sabetzadeh +1
Intrusion detection systems are crucial for network security. Verification of these systems is complicated by various factors, including the heterogeneity of network platforms and…
cs.CR2021
AI-enabled Automation for Completeness Checking of Privacy Policies
Orlando Amaral, Sallam Abualhaija, Damiano Torre +2
Technological advances in information sharing have raised concerns about data protection. Privacy policies contain privacy-related requirements about how the personal data of indiv…