Cryptoscope: Analyzing cryptographic usages in modern softwareMicha MoffieOmer Boehmet al.2025arXivPaper
Using Graph-Based CSP to Solve the Address Translation ProblemMerav AharoniYael Ben-Haimet al.2016CP 2016Conference paper