idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Grafik: idw-Logo

idw - Informationsdienst
Wissenschaft

Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store

Event


institutionlogo

04/25/2023 - 04/25/2023 | Darmstadt

ATHENE Lecture mit Yuval Yarom

Assoc. Prof. Yuval Yarom von der University of Adelaide ist zu Gast bei den ATHENE Lecture Series. Er spricht über: "Automating cryptographic code generation"

Zu den ATHENE Lectures sind etablierte nationale und inter­nationale Cyber­security-Expert*innen gelade, die Einblicke in ihre neuesten Foschungsergebnisse geben.
Die Lectures finden meist hybrid (vor Ort am Fraunhofer SIT in Darmstadt) statt, so dass auch die Möglichkeit besteht, sich nach dem Vortrag bei leckeren Snacks und Getränken persönlich mit den wichtigsten Akteuren der Cybersicherheit zu treffen und auszutauschen. Die Vortragssprache ist Englisch.
Die ATHENE Lecture Series werden organisiert von Prof. Haya Shulman, ATHENE | Goethe-Universität Frankfurt | Fraunhofer SIT.

Am 25.04. spricht Yuval Yarom von der University of Adelaide

Vortrag: Automating cryptographic code generation

Abstract:
Cryptography provides the data protection mechanisms that underly security and privacy in the modern connected world. Given this pivotal role, implementations of cryptographic code must not only be correct, but also meet stringent performance and security requirements. Achieving these aims is often difficult and requires significant investment in software development and manual tuning.
This talk presents two approaches for automating the task of generating correct, secure, and efficient cryptographic code. The first, Rosita, uses a power consumption emulator to detect unintended leaky interactions between values in the microarchitecture. It then rewrites the code to eliminate these interactions and produce code that is resistant to power analysis. The second, CryptOpt, uses evolutionary computation to search for the most efficient constant-time implementation of a cryptographic function. It then formally verifies that the produced implementation is semantically equivalent to the original code.

Rosita is a joint work with Lejla Batina, Łukasz Chmielewski, Francesco Regazzoni, Niels Samwel, Madura A. Shelton, and Markus Wagner.
CryptOpt is a joint work with Adam Chlipala, Chitchanok Chuengsatiansup, Andres Erbsen, Daniel Genkin, Jason Gross, Joel Kuepper, Chuyue Sun, Markus Wagner, and David Wu.

Information on participating / attending:
Die Vorträge sind öffentlich. Interessierte Besucher*innen sind herzlich willkommen.
Melden Sie sich bitte bis 21.04. an unter: https://www.athene-center.de/anmeldung-athene-lecture

Date:

04/25/2023 14:00 - 04/25/2023 15:00

Event venue:

hybrid: in Persona am Fraunhofer SIT, Rheinstr. 75, 64295 Darmstadt oder online via Zoom
64295 Darmstadt
Hessen
Germany

Target group:

Scientists and scholars, Students

Email address:

Relevance:

transregional, national

Subject areas:

Information technology

Types of events:

Presentation / colloquium / lecture

Entry:

03/15/2023

Sender/author:

Cornelia Reitz

Department:

Presse- und Öffentlichkeitsarbeit

Event is free:

yes

Language of the text:

German

URL of this event: http://idw-online.de/en/event73829

Attachment
attachment icon Ankündigung ATHENE Lecture Series

Help

Search / advanced search of the idw archives
Combination of search terms

You can combine search terms with and, or and/or not, e.g. Philo not logy.

Brackets

You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).

Phrases

Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.

Selection criteria

You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).

If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).