INTERNSHIP: Développement d'un prototype de vérification de bytecode M/F

Description de l'offre

General information

 KEY INFORMATION:

  Location:  Europe, France, Rennes

Type of contract: Temporary

Job open date: 01/10/2020

Company department:  Software Developer

 

 STMicroelectronics is a leading semiconductor company, a world key player thanks to our 43,200 employees including 8,300 working in R&D.

 ST’s products are found everywhere today. And together with our customers, we are enabling smarter driving, homes, factories, and cities, along with the next generation of mobile and Internet of Things devices. Everywhere microelectronics makes a positive contribution to people lives, ST is there.

 In 2018, we were ranked by the Randstad Employer Brand Research Award among the 5 most attractive companies in France, for our values of excellence, our integrity and the respect of our employees.

 

 POSTING PRESENTATION:

Dans le cadre de ses activités de développement logiciel, la division Secure Microcontrollers de STMicroelectronics à Rennes développe des cartes bancaires basées sur la technologie JavaCard. Cette technologie mise au point par SUN puis Oracle est une adaptation de la technologie Java au monde de la carte à puce. Typiquement, les applications JavaCard sont compilées puis converties en fichier CAP avant d’être téléchargées sur la machine virtuelle présente dans les cartes. L’un des points importants pour la sécurité est pouvoir s’assurer que l’application qui est chargée est conforme aux spécifications de la technologie. En d’autres termes, qu’elle n’est pas malicieuse. Cela est fait au moyen d’un outil de vérification d’Oracle nommé « ByteCode Verifier ».
L’équipe de développement des cartes bancaires souhaite étudier la faisabilité d’embarquer un « Bytecode verifier » dans la carte.
L’objet du stage est de créer un prototype sur PC pour vérifier la conformité du bytecode. Grâce à une étude bibliographique, un algorithme sera décrit. Puis une implémentation sera réalisée en Python pour pouvoir parcourir des fichiers CAP (package d’applet JavaCard converti). Un rapport sera demandé pour permettre de continuer le développement ce projet ultérieurement.

 

PROFILE REQUIRED:

·    Java, C, Python
·   4 - Bachelor degree
·   Less than 2 years

 

CONTACT & APPLY FORM:

  Learn more about STMicroelectronics on: www.st.com

And ask you questions:

·  LinkedIn : STMicroelectronics
·   Facebook : STMicroelectronics