Tobias Tebbi
Author
Alternate name Tobias Tebbi
Institution Google (United States)
Past institutions Google (United States), Saarland University
H-index: 5
I10-index: 4
Works count: 6
Citations count: 177
Spectre is here to stay: An analysis of side-channels and speculative execution
2019 · Ross McIlroy, Jaroslav Ševčík, et al. · arXiv (Cornell University)
Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions
2015 · Steven Schäfer, Tobias Tebbi, et al. · Lecture notes in computer science
InKreSAT: Modal Reasoning via Incremental Reduction to SAT
2013 · Mark Kaminski, Tobias Tebbi · Lecture notes in computer science