17 citations · 23 across the 15 of their papers we have counts for
5 papers · 1 filter
Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode
Zilin Shen, Imtiaz Karim, Elisa Bertino
The IEEE 802.11 family of standards, better known as WiFi, is a widely used protocol utilized by billions of users. Previous works on WiFi formal verification have mostly focused o…
Graphene: Infrastructure Security Posture Analysis with AI-generated Attack Graphs
Xin Jin, Charalampos Katsis, Fan Sang +4
The rampant occurrence of cybersecurity breaches imposes substantial limitations on the progress of network infrastructures, leading to compromised data, financial losses, potentia…
FlowMur: A Stealthy and Practical Audio Backdoor Attack with Limited Knowledge
Jiahe Lan, Jie Wang, Baochen Yan +2
Speech recognition systems driven by DNNs have revolutionized human-computer interaction through voice interfaces, which significantly facilitate our daily lives. However, the grow…
Educating for AI Cybersecurity Work and Research: Ethics, Systems Thinking, and Communication Requirements
Sorin Adam Matei, Elisa Bertino
The present study explored managerial and instructor perceptions of their freshly employed cybersecurity workers' or students' preparedness to work effectively in a changing cybers…
Artificial Intelligence Ethics Education in Cybersecurity: Challenges and Opportunities: a focus group report
Diane Jackson, Sorin Adam Matei, Elisa Bertino
The emergence of AI tools in cybersecurity creates many opportunities and uncertainties. A focus group with advanced graduate students in cybersecurity revealed the potential depth…