This seminar is about developing logic-based explanation methods for Graph Neural Networks (GNNs), featuring contributions on post-hoc rule extraction based on sub-graphs and a novel self-explainable GNN model capable of deriving transparent decision logic.
Events
Seminars, conferences, workshops... Find out more about the scientific events organised by LRE.
State Machine Issues in Network Stacks and Application to SSH
Speakers Olivier Levillain
This seminar will talk about an analysis of state machines in network protocol implementations (like TLS), revealing incorrect transitions that lead to security issues such as authentication bypasses, denial of service vulnerabilities, and stack fingerprinting.
News
News, highlights... Find out all the latest LRE news.
The Fa-Sol-La project has been selected by the Conselleria de Educación, Cultura, Universidades y Empleo, Generalitat Valenciana in Spain, in the context of the "Subvenciones a grupos de investigación emergentes (GE)" call, for a duration of two years.
Publications
Articles, theses, white papers... Find out about scientific publications resulting from research work and scientific collaborations supported by the LRE.