Tim Güneysu

Publications:

Proof-of-possession for KEM certificates using verifiable generation Write Me and I'll Tell You Secrets - Write-After-Write Effects On Intel CPUs Randomness Optimization for Gadget Compositions in Higher-Order Masking Agile Acceleration of Stateful Hash-Based Signatures in Hardware Risky Translations: Securing TLBs against Timing Side Channels VERICA-Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering Challenges and Opportunities of Security-Aware EDA LifeLine for FPGA Protection: Obfuscated Cryptography for Real-World Security A Holistic Approach Towards Side-Channel Secure Fixed-Weight Polynomial Sampling Implementing and Optimizing Matrix Triples with Homomorphic Encryption BasicBlocker: ISA Redesign to Make Spectre-Immune CPUs Faster CINI MINIS: Domain Isolation for Fault and Combined Security ClepsydraCache - Preventing Cache Attacks with Time-Based Evictions High-Speed Masking for Polynomial Comparisonin Lattice-based KEMs Encoding Power Traces as Images for Efficient Side-Channel Analysis FIVER – Robust Verification of Countermeasures against Fault Injections Carry-Less to BIKE Faster Revisiting Fault Adversary Models - Hardware Faults in Theory and Practice Racing BIKE: Improved Polynomial Multiplication and Inversion in Hardware