M.Sc. Tobias Jauch

Room: 12/522

Tel: (+49)(631)205-2848

E-Mail: tobias.jauch(at)rptu.de

GitHub: https://github.com/tojauch



My research deals with hardware security and microarchitectural side-channel attacks. At EIS, we work with formal methods to detect transient execution attacks in hardware designs. Our goal is to develop a (semi-)automated methodology that allows a formally verified correct-by-construction development of processors, without incurring too much overhead in terms of performance, power and area.