New ICPP publication - 16.06.21The paper "Tool-Supported Mini-App Extraction to Facilitate Program Analysis and Parallelization" by Jan-Patrick Lehr, Christian Bischof, Florian Dewald, Heiko Mantel, Mohammad Norouzi, and Felix Wolf has been accepted for publication at ICPP 2021 (International Conference on Parallel Processing).

New ESORICS publication - 15.03.21The paper "Cache-Side-Channel Quantification and Mitigation for Quantum Cryptography" by Alexandra Weber, Oleg Nikiforov, Alexander Sauer, Johannes Schickel, Gernot Alber, Heiko Mantel, and Thomas Walther has been accepted for publication at ESORICS 2021 (European Symposium on Research in Computer Security).

New PostDoc Lars Luthmann - 08.01.21We welcome Lars Luthmann as a new PostDoc in our group!

RiCaSi toolchain is now available - 16.10.20 The toolchain RiCaSi for rigorous cache-side-channel mitigation now has a website. You can find it here.

New Ph.D. Student Tim Weißmantel - 15.10.20We welcome Tim Weißmantel as a new Ph.D. student in our group!

New CANS publication - 16.09.20The paper "RiCaSi: Rigorous Cache Side Channel Mitigation via Selective Circuit Compilation" by Heiko Mantel, Lukas Scheidel, Thomas Schneider, Alexandra Weber, Christian Weinert, and Tim Weißmantel has been accepted for publication at CANS 2020 (International Conference on Cryptology and Network Security).

New ISOLA publication - 12.08.20The paper "A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations" by Marie-Christine Jakobs and Heiko Mantel has  been accepted for publication at ISOLA 2020 (The International Symposium On Leveraging Applications of Formal Methods, Verification and Validation).

New apprentice René Czerný - 11.08.20We welcome René Czerný as a new apprentice in the group!

SF 4.0 Staff Meeting 2020 - 30.04.20 We organized and participated in the Staff Meeting 2020 of the LOEWE-research-cluster Software-Factory 4.0. The meeting took place from 27.4.2020 to 29.4.2020 in our home offices.

Side-Channel Research featured in Hoch3 - 07.04.20Our research on information-flow security and side-channel analysis has been featured in the "Hoch3 forschen" magazine. The article "A better poker face for computers" outlines our contributions to the implementation of the q­TESLA post-quantum signature scheme as part of the CROSSING project and further highlights from our research.

Older news















A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang