18-22 July 2022
Today, digital information has become a valuable resource. However, the communication channels that we use for sending and receiving data and those that we use to store data, are imperfect and so subject to malicious attacks.
Therefore, it is necessary to develop methods for detecting bugs when they occur and, ideally, find new techniques to fix them and new strategies for preventing them.
These are the main aims in coding theory and in cryptography: we need ever stronger mathematical tools to solve new and hard problems arising from the fast evolution of communication technologies.
The School aims at bringing together Master/PhD students, academics, and industry security experts in order to figure out how some of the sophisticated algebraic and geometric methods have been applied in recent years in constructing error-correcting codes and in defining secure cryptosystems.
The school includes a multi-disciplinary program and will last for a week; there will be 4 courses which will explain how geometric and algebraic tools are used in coding theory and cryptography.
In addition to this, there will be a programming session devoted to the model-checking and analysis of security protocols with the aid of Tamarin Prover, a session in which industries will explain how codes and cryptographic systems play a crucial role in modern technologies and a contributed talk session for young researchers with a high profile, where the best presentation will be awarded. Also, there will be a lecture "De Componendis Cifris: a national initiative" by Prof. Massimiliano Sala from University of Trento in which he will introduce the national initiative De Components Cifris and the benefits of the synergies between Academia and Industries.
Lecturers:
Ilaria Chillotti (Zama) - Introduction to FHE and the TFHE scheme [slides, additional material]
Delaram Kahrobaei (City University of New York) - Group-based cryptography in the quantum era
Alberto Ravagnani (Eindhoven University of Technologies) - Network coding [slides,notes]
Leo Storme (Ghent University) - Linear codes and Galois geometries [slides1, slides2]
Lecturer Programming Session:
Mariapia Raimondo (Università degli Studi della Campania Luigi Vanvitelli) - Experiencing formal modelling and analysis of protocol security with the Tamarin Prover [slides1, slides2]
Community Lecturer:
Massimiliano Sala (Università degli Studi di Trento) - De Componendis Cifris, the Italian crypto community [slides]
Lecturers from Industries:
Bluenet srl
STMicroelectronics
Contributed talks:
Gianira N. Alfarano (University of Zurich) - The Geometry of Minimal Codes [abstract] Best presentation award
Christopher Battarbee (University of York) - Semidirect product key exchange: The state of play [abstract]
Elena Berardini (Eindhoven University of Technology) - Computing Riemann–Roch spaces for algebraic geometry codes [abstract] Best presentation award
William Cocke (Augusta University) - Group Theoretic Model Repair of Kripke Structures [abstract]
Anina Gruica (Eindhoven University of Technology) - The Etzion-Silberstein Conjecture over Large Fields [abstract]
Wrya K. Kadir (University of Bergen) - On decoding of restricted optimal rank metric codes [abstract]
Marialaura Noce (Università degli Studi di Salerno) - Group-based cryptography: from algorithmic problems to cryptographic applications [abstract]
Vincenzo Pallozzi Lavorante (University of South Florida) - Optimal locally recoverable codes with hierarchy from nested F-adic expansions [abstract]
Valentino Smaldore (Università degli Studi della Basilicata) - Two-weight codes and hemisystems [abstract]
Monika Trimoska (Radboud University) - The Matrix Code Equivalence Problem and Applications [abstract]
Chair:
Ferdinando Zullo
Scientific Committee:
Stefano Marrone
Olga Polverino
Antonio Tortora
Organizers:
Vito Napolitano
Roberta De Fazio
Maria Ferrara
Paolo Santonastaso
Sponsors:
Università degli Studi della Campania Luigi Vanvitelli
De Componendis Cifris