News

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.

New SF 4.0 Project Manager Javier Maza Gutierrez - 16.03.20We welcome Javier Maza Gutiérrez as project manager of the LOEWE-research-cluster Software-Factory 4.0.

ISOLA special track accepted - 16.12.19Our special track "Automating Software Re-Engineering" has been accepted for ISOLA 2020. Prof. Dr. Heiko Mantel will be co-chair of the special track. The ISOLA conference will take place from 26.10. - 30.10. on Rhodes, Greece. See you there!

New ProTools publication - 11.11.19The paper "Designing Efficient Parallel Software via Compositional Performance Modeling" by Alexandru Calotoiu, Thomas Höhl, Heiko Mantel, Toni Nguyen and Felix Wolf was accepted at ProTools 2019.

Older news

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

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