Every year, Prosecco hosts 5+ research interns on a variety of topics. We hire final-year masters students for 6-month internships leading to a master's thesis. Successful internships typically result in a research publication at an international conference and the student goes on to do a PhD with us or with others. We also offer internships to PhD students and outstanding undergraduates.
We are looking for outstanding students with interests in cryptography, formal verification, or programming language theory. Some prior knowledge and courses in one or more of these areas would be an advantage but is not mandatory. All interns are funded by grants awarded to Prosecco. To apply, send an email describing your research interests, and including your CV and the names and email addresses of one or two referees (professors or prior employers), to one of the permanent researchers of Prosecco (<firstname>.<lastname>@inria.fr).
The topic of each internship is chosen after discussions between the student and the mentor. Here are some hot topics for 2017:
- miTLS*: Attacking and Proving TLS 1.3 Implementations (website; code; papers)
- SECOMP: Efficient Formally Secure Compilers to a Tagged Architecture (topics; papers)
- F*: From Program Verification System to Proof Assistant (topics; code; papers)
- Dependable Property-Based Testing (topics; paper #1, paper #2, paper #3, code)
- Micro-Policies: Formally Verified, Tag-Based Security Monitors
- Analysis of the W3C Web Crypto API Key Management Mechanism
- Hardware-based Privilege Separation for Cryptographic Protocol Implementations
- Verified Cryptographic Protocol Implementations
- Security Types for Web Applications
- Building Secure Smartphone Applications