Publications

2 results for Anatoly Koyfman

Cryptoscope: Analyzing cryptographic usages in modern software
- - Micha Moffie
  - Omer Boehm
  - et al.
- 2025
- arXiv
Paper
Using Graph-Based CSP to Solve the Address Translation Problem
- - Merav Aharoni
  - Yael Ben-Haim
  - et al.
- 2016
- CP 2016
Conference paper