Category: Master Thesis

Current proposals for Master thesis topics. These proposals are only for students of the Université Libre de Bruxelles (ULB). We strongly encourage students to come up with their own ideas for their Master Thesis topics. If you have an idea you can always contact us and we will discuss it. Note: This list might be on several pages, click on "Older posts" at the bottom of this page to see more proposals for Master Thesis.

Sep 25

Automatic synthesis of cryptographic protocols

Automatic synthesis methods, developed by the formal methods community, are based on different extensions of game theory and aim to produce algorithms and tools that automatically write (synthesize) pieces of code that comply with certainty with a given specification. These methods have mainly been applied to safely synthesize key elements of critical systems, where no failures are tolerated. The objective of this thesis is to explore the opportunity to apply these same techniques to synthesize cryptographic protocols such as fair-exchange protocols and/or key exchange protocols.

Directors: Gilles Geeraerts and Olivier Markowitch

Feb 27

Side-channel attacks based on deep learning

Side-Channel Attacks are attacks against implementations of cryptographic algorithms. These attacks exploit physical properties of a device under attack. For example an attacker can measure the execution time or power consumption of a device while it executes a cryptographic algorithm.

Based on neural network, deep learning represents an active research in machine learning that allows producing automatic attacks requiring no a priori information on the underlying phenomenon. The purpose of this work is to shed new light on the capabilities of deep learning in side-channel attacks.

Supervision: Liran Lerman – Director: Olivier Markowitch