Yanis Sellami

Identifiers

• name variant Yanis Sellami 0.60 · backfill

Papers (3)

1. Systematic Timing Leakage Analysis of NIST PQDSS Candidates: Tooling and Lessons Learned cs.CR · 2025 · author #8
2. Ilinva: Using Abduction to Generate Loop Invariants cs.LO · 2019 · author #3
3. A Generic Framework for Implicate Generation Modulo Theories cs.LO · 2018 · author #3

Mentions

• 2509.04010 #8 · arxiv_oai · confidence 0.70 Yanis Sellami
• 1906.11033 #3 · arxiv_oai · confidence 0.70 Yanis Sellami
• 1807.04557 #3 · arxiv_oai · confidence 0.70 Yanis Sellami

Frequent Coauthors

• Mnacho Echenim 2 shared papers
• Nicolas Peltier 2 shared papers
• Emanuele Bellini 1 shared papers
• Frederic Recoules 1 shared papers
• Gilbert Ndollane Dione 1 shared papers
• Mahmudul Faisal Al Ameen 1 shared papers
• Olivier Adjonyo 1 shared papers
• Robert Merget 1 shared papers
• Sebastien Bardin 1 shared papers