Moderne digitale systemen zijn fundamenteel afhankelijk van de veilige overdracht en opslag van informatie. Cryptologie biedt de kerntechnieken voor het beschermen van informatie in aanwezigheid van actieve tegenstanders. In dit proefschrift richten we ons op de aantoonbare veiligheid van permutatiegebaseerde cryptografie, die centraal is komen te staan in lichtgewicht symmetrische schema's, met name door de sponsconstructie. Het werk versterkt de theoretische grondslagen ervan door enkele bestaande veiligheidsgrenzen aan te scherpen, nieuwe constructies te introduceren die de huidige benaderingen verbeteren, en gerichte analyses uit te voeren die leiden tot zowel sterkere garanties als grotere efficiëntie.
In 2021 voltooide Charlotte Lefevre een master in toegepaste wiskunde aan de Université Grenoble Alpes (Frankrijk). Haar masterscriptie, met als onderwerp tijd-geheugenafwegingen voor het decoderen van zware syndromen in ternaire codes, werd begeleid door Pierre Karpman aan het Laboratoire Jean Kuntzmann in Grenoble (Frankrijk). In 2021 begon ze aan een doctoraat aan de Radboud Universiteit onder begeleiding van Bart Mennink en Joan Daemen. Tijdens haar doctoraat liep ze stage bij CSEM (Zwitserland) op het gebied van post-compromise security voor IOT-omgevingen, onder begeleiding van Damian Vizár.