research
∙
08/26/2023
Solving the insecurity problem for assertions
In the symbolic verification of cryptographic protocols, a central probl...
share
research
∙
02/09/2022
Protocol Insecurity with Assertions
In the study of symbolic verification of cryptographic protocols, a cent...
research
∙
09/01/2020
Machine Reasoning Explainability
As a field of AI, Machine Reasoning (MR) uses largely symbolic means to ...
research
∙
07/22/2020
