Tim Güneysu

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Combined Private Circuits - Combined Security Refurbished

Jakob Feldtkeller and others (2023) · ACM

VERICA - Verification of Combined Attacks: Automated formal verification of security against simultaneous information leakage and tampering

Jan Richter-Brockmann and others (2022) · Universitatsbibliothek der Ruhr-Universitat Bochum