Benjamin Kiesl-Reiter (Preferred)
Benjamin Kiesl-Reiter
Researcher, Amazon
Joined
September 2025
Names
Emails
****@amazon.com (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
Amazon (amazon.com)
2021 – Present
Postdoc
CISPA Helmholtz Center for Information Security (cispa.de)
2019 – 2020
PhD student
Technische Universität Wien (tuwien.ac.at)
2015 – 2019
Advisors, Relations & Conflicts
Postdoc Advisor
Cas Cremers
2019 – 2020
Expertise
automated reasoning
Present
SAT solving
Present
proof complexity
Present
security protocols
Present
Publications
Co-Authors
- Ali Torkamani
- Aman Goel
- Andrew M. Kent
- Byron Cook
- Darion Cassel
- Dejan Jovanović
- Dimitra Giannakopoulou
- Divya Raghunathan
- Duncan Clough
- Ferhat Erata
- Huzefa Rangwala
- Jeffrey J. Kuna
- Jianan Yao
- Joe Hendrix
- Joseph Lilien
- Kaj Bostrom
- Marc Hudak
- Michael Tautschnig
- Nadia Labai
- Nafi Diallo
- Nathaniel Weir
- Nick Feng
- Niloofar Razavi
- Rémi Delmas
- Sam Bayless