6 citations · 7 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models
Dorel Lucanu
In this paper, we investigate how the initial models and the final models for the polynomial functors can be uniformly specified in matching logic.
cs.CR2023
Full Transparency in DBI frameworks
Vlad Crăciun, Andrei Mogage, Dorel Lucanu
Following the increasing trends of malicious applications or cyber threats in general, program analysis has become a ubiquitous technique in extracting relevant features. The curre…