Frédéric Recoules - VMCAI 2026

Mon 12 - Tue 13 January 2026 Rennes, France

co-located with POPL 2026

Registered user since Tue 17 Sep 2019

Name:Frédéric Recoules

Affiliation:CEA, List

Contributions

2026

POPL

BINSEC: Adapting Symbolic Execution for Binary-level Security

PriSC

Tooling Design and Lessons Learned from Systematic Evaluations of the Preservation of Low-level Security Properties by Compilers with BinSec

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2026-track

Show activities from other conferences

POPL 2026-profile
View general profile