Section: Bilateral Contracts and Grants with Industry

Bilateral Grants with Industry

• CISCO (http://www.cisco.com) one grant (2016–2019) to work on semantical analysis of malware

• Thales (https://www.thalesgroup.com) one CIFRE (2016–2019) to work on verification of communication protocols, one grant (2018–2019) to work on learning algorithms

• Oberthur Technologies (http://www.oberthur.com/) one grant (2016–2020) to work on fuzzing and fault injection

• Secure IC (http://www.secure-ic.com/), one CIFRE (2017–2020) to work on post-quantum cryptography