3 papers
cs.CR2026
What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication
Roberto Metere, Mario Lilli, Luca Arnaboldi +1
The latest Wi-Fi security standard, IEEE 802.11, includes a secure authentication protocol called SAE, whose use is mandatory for WPA3-Personal networks. The protocol is specified…
cs.AI2025
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
Matthew L. Daggitt, Wen Kokke, Robert Atkey +3
Neuro-symbolic programs, i.e. programs containing both machine learning components and traditional symbolic code, are becoming increasingly widespread. Finding a general methodolog…
cs.CL2025
NLP Verification: Towards a General Methodology for Certifying Robustness
Marco Casadio, Tanvi Dinkar, Ekaterina Komendantskaya +6
Machine Learning (ML) has exhibited substantial success in the field of Natural Language Processing (NLP). For example large language models have empirically proven to be capable o…