research
∙
10/27/2022
Comparing One with Many – Solving Binary2source Function Matching Under Function Inlining
Binary2source function matching is a fundamental task for many security ...
share
research
∙
04/20/2022
Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings
Neural program embeddings have demonstrated considerable promise in a ra...
research
∙
10/01/2021
Approximate Bisimulation Minimisation
We propose polynomial-time algorithms to minimise labelled Markov chains...
research
∙
07/03/2019
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
The probabilistic bisimilarity distance of Deng et al. has been proposed...
research
∙
02/25/2019