Introduction

This proposal will design, analyze, and implement solutions to securely establish cryptographic keys among a group of participants. We use cryptographic theory to establish structural guarantees at the protocol level and explore performance through implementation on different platforms. Hardness assumptions are chosen to be quantum-safe (based on coding theory or/and lattices). To protect the implementation against manipulation at runtime (e.g., through fault induction), we apply runtime verification. To ensure the necessary capabilities are available, ranging from cryptographic theory to advanced software engineering and signal-level analysis (for hardware implementations), a team of four universities has been formed.

Title and Name

Institution

Country

NPD/PPD/ Co-Director/Other

Prof. Otokar Grošek

Slovak University of Technology

Slovakia

NPD

Dr. Christian Colombo

University of Malta

Malta

PPD

Dr. María Isabel González Vasco

Universidad Rey Juan Carlos

Spain

Co-Director

Dr. Rainer Steinwandt

The University of Alabama in Huntsville (UAH)

USA

Co-Director