Research related master and bachelor project proposals.

Contact me if interested by these master and bachelor project proposals:

• On writing high-assurance code against timing-attacks in the presence of speculative execution (30hp)
• Uncovering State-Machine Bugs in Security Protocol Implementations (30hp)
• Analyzing Timing Side Channels in Embedded Systems (16hp)