Add to ORKGEn s'appuyant sur une collaboration menée entre le LaBRI et SERMA Technologies sur la sécurité des Java Cards, cette thèse a pour objectif d'étudier les nouvelles problématiques de sécurité liées à l'apparition de la technologie Java Card. Elle a donné lieu au développement d'un émulateur Java Card capable de simuler des attaques au niveau matériel et logiciel. Elle a également mis en évidence un certain nombre de problèmes dans les spécifications Java Card et des vulnérabilités potentielles dans le cadre de la multi-application sur cartes à puce ouvertes. Par ailleurs, les travaux de cette thèse ont permis de proposer des solutions visant à protéger des codes mobiles pour faire du calcul distribué grâce à l'utilisation de Java Cards. Une a...
L'auteur n'a pas fourni de résumé en anglaisJava est à ce jour l'un des langages, si ce n'est le lan...
International audienceNous présentons dans cet article nos travaux de recherche traitant des attaque...
Utilisée très largement par le système bancaire actuel, la carte à puce peut être considérée comme u...
Pas de résumé disponibleEn s'appuyant sur une collaboration menée entre le LaBRI et SERMA Technologi...
Contribution à un ouvrage.Dès son apparition, la technologie Java a suscité un intérêt extrêmement f...
Contrairement à la mise à jour traditionnelle, la mise à jour dynamique est la capacité de pouvoir m...
L'utilisation d'objectifs de tests pour vérifier la conformité des applications par rapport à leurs ...
De nos jours, la carte à puce est la pierre angulaire de nos usages quotidiens. En effet, elle est i...
Ce travail concerne la vérification statique de programmes Java Card annotés formellement, par des m...
Dans cette thèse, nous présentons une formalisation, réalisée dans l'assistant de preuve Coq, de la ...
International audienceLa carte à puce est aujourd'hui considérée comme étant un système sécurisé. To...
Le calcul sur grille permet à un individu, une société, de disposer d’un ensemble d’unités de calcul...
National audienceLes cartes à puce sont des éléments sécurisés par de nombreuses spécifications et s...
L'exécution efficace des applications distribuées irrégulières exige d'adopter des mécanismes qui as...
National audienceRésumé de Les cartes à puce : Devenue un objet usuel du quotidien, la carte à puce ...
L'auteur n'a pas fourni de résumé en anglaisJava est à ce jour l'un des langages, si ce n'est le lan...
International audienceNous présentons dans cet article nos travaux de recherche traitant des attaque...
Utilisée très largement par le système bancaire actuel, la carte à puce peut être considérée comme u...
Pas de résumé disponibleEn s'appuyant sur une collaboration menée entre le LaBRI et SERMA Technologi...
Contribution à un ouvrage.Dès son apparition, la technologie Java a suscité un intérêt extrêmement f...
Contrairement à la mise à jour traditionnelle, la mise à jour dynamique est la capacité de pouvoir m...
L'utilisation d'objectifs de tests pour vérifier la conformité des applications par rapport à leurs ...
De nos jours, la carte à puce est la pierre angulaire de nos usages quotidiens. En effet, elle est i...
Ce travail concerne la vérification statique de programmes Java Card annotés formellement, par des m...
Dans cette thèse, nous présentons une formalisation, réalisée dans l'assistant de preuve Coq, de la ...
International audienceLa carte à puce est aujourd'hui considérée comme étant un système sécurisé. To...
Le calcul sur grille permet à un individu, une société, de disposer d’un ensemble d’unités de calcul...
National audienceLes cartes à puce sont des éléments sécurisés par de nombreuses spécifications et s...
L'exécution efficace des applications distribuées irrégulières exige d'adopter des mécanismes qui as...
National audienceRésumé de Les cartes à puce : Devenue un objet usuel du quotidien, la carte à puce ...
L'auteur n'a pas fourni de résumé en anglaisJava est à ce jour l'un des langages, si ce n'est le lan...
International audienceNous présentons dans cet article nos travaux de recherche traitant des attaque...
Utilisée très largement par le système bancaire actuel, la carte à puce peut être considérée comme u...