Old Web
English
Sign In
Acemap
>
authorDetail
>
Klaus von Gleissenthall
Klaus von Gleissenthall
VU University Amsterdam
Computer science
Cryptography
Embedded system
Solver
Set (abstract data type)
2
Papers
13
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
2021
POPL | Symposium on Principles of Programming Languages
Marco Vassena
Craig Disselkoen
Klaus von Gleissenthall
Sunjay Cauligi
Rami Gökhan Kıcı
Ranjit Jhala
Dean M. Tullsen
Deian Stefan
Show All
Source
Cite
Save
Citations (13)
Solver-Aided Constant-Time Hardware Verification
2021
CCS | Computer and Communications Security
Klaus von Gleissenthall
Rami Gökhan Kici
Deian Stefan
Ranjit Jhala
Show All
Source
Cite
Save
Citations (0)
1