Yanis Sellami -

Not registered as user

Name:Yanis Sellami

Affiliation:CEA, List, Univ. Grenoble Alpes

Contributions

2026

POPL

Presenter of BINSEC: Adapting Symbolic Execution for Binary-level Security within the Tutorials-track

PriSC

Committee Member in Program Committee within the PriSC-track
Author of Tooling Design and Lessons Learned from Systematic Evaluations of the Preservation of Low-level Security Properties by Compilers with BinSec within the PriSC-track

2024

POPL

Author of Inference of Robust Reachability Constraints within the POPL-track