Login / Signup
David Spielmann
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 6
Top Topics
Concurrent Programs
Program Code
Power Analysis
Symbolic Execution
Top Venues
MSR
IACR Trans. Cryptogr. Hardw. Embed. Syst.
IACR Cryptol. ePrint Arch.
ICSE Companion
</>
Publications
</>