Sébastien Bardin
Scholar

Sébastien Bardin

Google Scholar ID: 5tee-l8AAAAJ
CEA, List, Université Paris-Saclay
Computer ScienceFormal VerificationLogicSecuritySoftware Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,584
 
H-index
24
 
i10-index
40
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
2025
Cited
0
Attacker Control and Bug Prioritization
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)