Klaus von Gleissenthall
Vrije Universiteit Amsterdam(NL)
Publications by Year
Research Areas
Security and Verification in Computing, Formal Methods in Verification, Distributed systems and fault tolerance, Physical Unclonable Functions (PUFs) and Hardware Security, Cryptographic Implementations and Security
Most-Cited Works
- → Pretend synchrony: synchronous verification of asynchronous distributed programs(2019)58 cited
- → Verifying distributed programs via canonical sequentialization(2017)31 cited
- → Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts(2023)20 cited
- → Cardinalities and universal quantifiers for verifying parameterized systems(2016)20 cited
- → Randomized Testing of Byzantine Fault Tolerant Algorithms(2023)18 cited
- → Iodine: Verifying Constant-Time Execution of Hardware(2019)16 cited
- → Solver-Aided Constant-Time Hardware Verification(2021)16 cited
- Towards Constant-Time Foundations for the New Spectre Era.(2019)
- → Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning(2011)6 cited
- → Symbolic Polytopes for Quantitative Interpolation and Verification(2015)5 cited