Filtrer vos résultats
- 25
- 5
- 1
- 24
- 2
- 2
- 1
- 1
- 1
- 18
- 4
- 3
- 3
- 2
- 1
- 1
- 6
- 9
- 1
- 1
- 22
- 9
- 21
- 11
- 5
- 1
- 1
- 1
- 1
- 1
- 31
- 16
- 11
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
31 résultats
|
|
triés par
|
|
Cartes à puce : Attaques et contremesuresMajecSTIC 2009, Nov 2009, Avignon, France
Communication dans un congrès
hal-03138841v1
|
||
|
Combined Software and Hardware Attacks on the Java Card Control Flow10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.283-296, ⟨10.1007/978-3-642-27257-8_18⟩
Communication dans un congrès
hal-00684616v1
|
||
OPAL: an open-source global platform Java Library which includes the remote application management over HTTP,e-Smart 2011, Sep 2011, Sophia-Antipolis, France
Communication dans un congrès
hal-00684652v1
|
|||
Perspectives d'utilisation du serveur web embarqué dans la carte à puce Java Card 3Majecstic 2010, Oct 2010, Bordeaux, France
Communication dans un congrès
hal-00587180v1
|
|||
Ensuring IoT security with an architecture based on a separation kernelFiCloud 2018, Aug 2018, Barcelona, Spain
Communication dans un congrès
hal-01819666v1
|
|||
Contexte d’exécution dans la recherche de pire temps d’exécution d’un système complexeConférence d’informatique en Parallélisme, Architecture et Système (COMPAS'15), Jun 2015, Villeneuve d'Ascq, France
Communication dans un congrès
hal-01232261v1
|
|||
A secure virtual machine for Java Card PlatformE-smart10, Sep 2010, Sophia Antipolis, France
Communication dans un congrès
hal-00587190v1
|
|||
|
Smart Card Research and Advanced ApplicationsSpringer, LNCS-6035, 2010, Lecture Notes in Computer Science, 978-3-642-12509-6. ⟨10.1007/978-3-642-12510-2⟩
Ouvrages
hal-01550563v1
|
||
|
Preuve formelle d'isolation mémoire dynamique à base de MMUVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. pp.297-300
Communication dans un congrès
hal-01122780v1
|
||
|
Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectésConférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Université Sophia Antipolis, Jun 2017, Sophia Antipolis, France
Communication dans un congrès
hal-01556564v1
|
||
La Sécurité LogiqueLes cartes à puce, Hermes, pp.171-201, 2013, 9782746239135
Chapitre d'ouvrage
hal-00966334v1
|
|||
Fuzzing du protocole HTTP sur carte à puce2011
Autre publication scientifique
hal-03138863v1
|
|||
Genetic Algorithm for DWCET Evaluation on Complex Platform9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy
Communication dans un congrès
hal-01131239v1
|
|||
Smart Card Research and Advanced Application. 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010, Proceedings Series: Lecture Notes in Computer Science, Vol. 6035 Subseries: Security and CryptologySpringer, 239 p., 2010
Ouvrages
hal-00587185v1
|
|||
|
Contributions à la sécurité des Java CardCryptographie et sécurité [cs.CR]. Université de Limoges, 2014
HDR
tel-01249879v1
|
||
Evaluation of Countermeasures Against Fault Attacks on Smart CardsInternational Journal of Security and Its Applications, 2011, 5 (2), pp.49-60
Article dans une revue
hal-00685237v1
|
|||
Checking the Paths to Identify Mutant Application on Embedded SystemsConference on Security Technology, Dec 2010, Jeju Island Korea, North Korea. pp.459-468, ⟨10.1007/978-3-642-17569-5_45⟩
Communication dans un congrès
istex
hal-00587118v1
|
|||
Convergence OSGI-JAVACARD: Fine-grained dynamic updateE-smart10, Sep 2010, Sophia Antipolis, France
Communication dans un congrès
hal-00587193v1
|
|||
Porting the Pip proto-kernel's model to multi-core environments16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018)., Aug 2018, Athens, Greece
Communication dans un congrès
hal-01819676v1
|
|||
Virtual Keyboard Logging Counter-measures using Common Fate's LawSAM'17 - International Conference on Security and Management, Jul 2017, Las Vegas, United States
Communication dans un congrès
hal-01820025v1
|
|||
Developing a trojan applet in a Smart CardJournal in Computer Virology, 2010, 6 (4), pp.343-351. ⟨10.1007/s11416-009-0135-3⟩
Article dans une revue
istex
hal-00463287v1
|
|||
EE-CFI: Externalized Control Flow Integrity for Embedded DevicesIMIS 2017: Innovative Mobile and Internet Services in Ubiquitous Computing , Jul 2017, Torino, Italy
Communication dans un congrès
hal-01820001v1
|
|||
Virtual Keyboard Logging Counter-Measures Using Human Vision PropertiesCyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferen on, Aug 2015, New York, NY, United States. ⟨10.1109/HPCC-CSS-ICESS.2015.269⟩
Communication dans un congrès
hal-01249877v1
|
|||
Evolution du modèle du proto-noyau PIP vers les architectures SMPCompas 2018, Jul 2018, Toulouse, France
Communication dans un congrès
hal-01820482v1
|
|||
Utilisation d'un proto-noyau d'isolation mémoire pour maintenir les propriétés temps-réel d'un système à criticité mixteCompas 2018, Jul 2018, Toulouse, France
Communication dans un congrès
hal-01823572v1
|
|||
Incremental Dynamic Update for Java-Based Smart CardsICONS, 2010, Apr 2010, Les Menuires, France. pp.110-113, ⟨10.1109/ICONS.2010.27⟩
Communication dans un congrès
hal-00587177v1
|
|||
Development Methodologies of Java Card Web ApplicationsE-smart10, Sep 2010, Sophia Antipolis, France
Communication dans un congrès
hal-00587195v1
|
|||
A security mechanism to increase confidence in m-transactions6th International Conference on Risk and Security of Internet and Systems (CRiSIS), 2011, Sep 2011, Timisoara, Romania. pp.9-16, ⟨10.1109/CRiSIS.2011.6061836⟩
Communication dans un congrès
hal-00683714v1
|
|||
SmartCM A Smart Card Fault Injection SimulatorInternational Workshop on Information Forensics and Security (WIFS), 2011, Nov 2011, Foz do Iguaçu, Portugal. pp.1-6, ⟨10.1109/WIFS.2011.6123124⟩
Communication dans un congrès
hal-00685220v1
|
|||
Closed-Circuit Unobservable Voice Over IP23rd Annual Computer Security Applications Conference (ACSAC'07), Dec 2008, Miami, United States. pp.119-128
Communication dans un congrès
hal-00335236v1
|
- 1
- 2