Job offers

Master internships

• Systematic Analysis of Side Channels in Novel ARM Microarchitectures
• Has your Microprocessor been attacked? Does it include a malicious component? Machine Learning Can Provide the Answers
• Detecting Microarchitectural Side Channel Attacks in CPUs via Machine Learning Techniques
• Side-Channel Security of Deep Learning Implementations
• Type-based input validation assurance in Rust FFI
• Formalizing RISC-V Enclaves
• Formalizing Hardware Security Mechanisms: a new HDL for modular hardware proofs
• Formalizing Hardware Security Mechanisms: interrupts, MMU, and SMT proofs

Previous (filled) internships

• Control-Flow Graph Recovery for Binary Analysis

Ph.D. offers

• Type-based security properties assurance in operating systems

Postdoc offers

There are none for the moment.