Menu

Wassim ZNAIDI

LYON

En résumé

Ingénieur Doctorant à l'INSA de Lyon : mon cursus s'inscrit dans les thématiques de la sécurité des systèmes informatiques et les réseaux sans fils.

Ayant obtenu mon diplôme d'ingénieur en "Signaux et Systèmes" à l'Ecole Polytechnique de Tunisie, j'ai choisi de faire un mastère de recherche en Informatique : systèmes et logiciels, tests, systèmes distribués, tests et validation, model-checking à l'université Joseph Fourrier, à Grenoble, France.

Mes compétences :
Carte à puce
Cryptographie
Informatique
Javacard
Réseaux sans fil
Sécurité

Entreprises

  • CPS Technologies - Abnote Europe - R&D ingénieur

    2011 - maintenant Development innovative and secure solutions based on smart card technology :
    - development a PIN Paperless solution for smart cards (HSM, SSL/TLS, secure database...)
    - securing of a smart card personalization framework, development Global Platform API
    - development android mobile application to personalize smart card using NFC technology (NFC android stack, open NFC stack)
    - development of a secure surveillance application (using framework openCV and openSSL), video stream recovery (webcam, IP camera)
    - development innovative, intelligent and secure House equipment solution using WSN network.
    - Security audit and vulnerability research (BackTrack, Metasploit…)

  • Centre of Innovation in Telecommunications and Integration of services (CITI), INRIA, FRANCE - Ingénieur doctorant

    2007 - 2011 - Conducted research and development (R&D) activities in the field of security mechanism of constraint wireless system, and application multi-hop adhoc and sensor networks (WSN).
    - Proposals and implementation of innovative secure solutions for wireless networks (Key generation and management, attacks detection, access control, MAC aggregation, secure addressing, formal verification…)
    - Author of 12 scientific publications in the fields of security wireless sensor (WSN) and ad hoc networks, networking protocols, event-driven simulation, experimental studies and testbeds, etc
    - Efficient coding cryptographic primitives on 8-16-32 architecture
    - Analysis and formal modeling of embedded and real time system
    - securing network coding mechanism against flooding attacks in a wireless sensor network.
    - implementing secure protocol and cryptography primitives on sensor embedded boards, energy performance evaluation

  • Verimag Laboratory - Ingénieur stagiaire

    2005 - 2007 Model‐checking and performances analyze of routing protocol for
    WSN’s:
    - Formal modeling of routing and MAC protocols using automata.
    - optimization and performance studies (energetic consuming and time latency criteria)
    - New WCET approach for real-time embedded system

    et d'autres part :

    Formal design of a sensor network from TinyOS application to IF
    model:
    - Development application for TinyOS (target architectures AVR atmega128 and TiMSP430.
    - Functional and temporal proprieties study for RTOS systems

Formations

  • INSA De Lyon (Villeurbanne)

    Villeurbanne 2007 - 2010 doctorat

    sécurité inforamtique et systèmes embarqué sans fils, modélisation formal, systèmes temps réel, RTOS, cryptographie

  • Université Grenoble 1 Joseph Fourier

    St Martin D'Heres 2006 - 2007 Master M2

    Systèmes et logiciels - systèmes embarqués et temps-réel, model checking et modélisation formelle

  • Ecole Polytechnique De Tunisie (La Marsa)

    La Marsa 2001 - 2006 ingénieur polyvalent

Réseau

Annuaire des membres :