Yanis Sellami

According to our database, Yanis Sellami authored at least 5 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Systematic Timing Leakage Analysis of NIST PQDSS Candidates: Tooling and Lessons Learned.

Olivier Adjonyo, Sébastien Bardin, Emanuele Bellini, Gilbert Ndollane Dione, Mahmudul Faisal Al Ameen, Robert Merget, Frédéric Recoules, Yanis Sellami

CoRR, September, 2025

2024

Inference of Robust Reachability Constraints.

Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin

Proc. ACM Program. Lang., January, 2024

2020

Abductive reasoning modulo theories and an application to program verification. (Raisonnement abductif modulo des théories et application à la vérification de programmes).

Yanis Sellami

PhD thesis, 2020

2019

Ilinva: Using Abduction to Generate Loop Invariants.

Mnacho Echenim, Nicolas Peltier, Yanis Sellami

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2018

A Generic Framework for Implicate Generation Modulo Theories.

Mnacho Echenim, Nicolas Peltier, Yanis Sellami

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018