System on Chip [LabSoC]

Notre activité de recherche porte sur les systèmes intégrés et embarqués, leur conception, modélisation, vérification et aussi leur sécurité. Nous concevons également des processeurs de traitement du signal numérique pour la radio dite logicielle, ainsi que les environnements associés de conception logicielle. Le groupe est hébergé par EURECOM à Sophia-Antipolis depuis 2003.

 

 

L’équipe s’intéresse particulièrement aux sujets de recherche suivants :

  • Nouvelles méthodes, techniques, langages et outils pour les systèmes intégrés et embarqués complexes. Abstraction, méthodes formelles, simulation ultra-rapide, génération de code à partir de modèles abstraits.
  • Sécurité matérielle, systèmes sur puce paranoïaques avec confiance nulle dans leur environnement matériel et logiciel. Confidentialité et integrité des communications et du stockage externe.
  • Processeurs de traitement du signal numérique pour la radio dite logicielle. Compromis entre flexibilité et efficacité énergétique. Environnements associés de conception logicielle, modélisation abstraite des formes d’onde et des architectures matérielles, génération automatique du logiciel de contrôle.

 

Membres de l’équipe

Mots-clés

Exploration d’architecture
Vérification formelle
Ingénierie des modèles
Sécurité des circuits électronique
Architecture logicielle / matérielle pour les applications de traitement du signal

Les publications de l’équipe


93 documents

Article dans une revue21 documents

  • Daniela Genius, Ludovic Apvrille, Letitia Li. High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool. Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2019, ⟨10.1016/j.micpro.2019.03.006⟩. ⟨hal-02087643⟩
  • Florain Lugou, Ludovic Apvrille. ANALYSE D’UN PROBLÈME POSÉ PAR INTEL SGX : LA COMMUNICATION SÉCURISÉE ENTRE UNE ENCLAVE ET UN PÉRIPHÉRIQUE. MISC Multi-System & Internet Cookbook, 2018, pp.74-82. ⟨hal-02288005⟩
  • Andrea Enrici, Ludovic Apvrille, Renaud Pacalet, Laurent Roullet. La programmation orientée modèles au service des télécommunications mobiles. Programmez! , 2018, pp.36-44. ⟨hal-02288006⟩
  • Madhu Chandra, Tullio J. Tanzi. Drone-borne GPR design: Propagation issues. Comptes Rendus Physique, 2018, 19 (1-2), pp.72-84. ⟨hal-02287833⟩
  • Sophie Coudert, Dominique Legros. Modélisation formelle pour l’ingénierie système. Revue REE (Selection Journées scientifiques URSI 2017), 2017. ⟨hal-02287828⟩
  • Andrea Enrici, Ludovic Apvrille, Renaud Pacalet. A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems. ACM Transactions on Design Automation of Electronic Systems, 2017, 22 (2), pp.34:1-34:25. ⟨10.1145/2999537⟩. ⟨hal-02287468⟩
  • Tullio J. Tanzi, Joel Hamelin. François Lefeuvre: A long Way among Waves. Radio Science Bulletin RSB, 2017, pp.69-74. ⟨hal-02287742⟩
  • Tullio J. Tanzi. URSI France 2017 Workshop Radio Science for Humanity. Radio Science Bulletin RSB , 2017, pp.62-68. ⟨hal-02287744⟩
  • Tullio J. Tanzi, Jean Isnard. Les radiosciences au service de l’humanité. Revue REE (Grand dossier), 2017, 2017 (5), pp.67-68. ⟨hal-02287811⟩
  • Tullio J. Tanzi, Joel Hamelin. Foreword to Radio Science for Humanity: URSI-France 2017 Workshop. Radio Science Bulletin RSB, 2017, pp.60-61. ⟨hal-02287743⟩
  • Ludovic Apvrille, Letitia W. Li. Sécurite des véhicules connectés et/ou autonomes. MISC Multi-System & Internet Cookbook, 2016, pp.56-65. ⟨hal-02287436⟩
  • Ludovic Apvrille, Axelle Apvrille. Ventilation contrôlée par des framboises (Une du magazine). Hackable, 2016. ⟨hal-02287503⟩
  • Tullio J. Tanzi. Some Thoughts on Disaster Management. The Radio Science Bulletin, 2015, pp.13-17. ⟨hal-02287793⟩
  • Tullio J. Tanzi. The Radio Science Bulletin. Special issue "Disaster Management. The Radio Science Bulletin, 2015, pp.136. ⟨hal-02287794⟩
  • Axelle Apvrille, Ludovic Apvrille. Contrôler sa chaudière à distance avec un Raspberry Pi. Hackable, 2015, pp.60-67. ⟨hal-02287199⟩
  • Axelle Apvrille, Ludovic Apvrille. SherlockDroid: a research assistant to spot unknown malware in Android marketplaces. Journal of Computer Virology and Hacking Techniques, 2015, 11 (39), pp.1-11. ⟨10.1007/s11416-015-0245-z⟩. ⟨hal-02287146⟩
  • Florian Lugou, Ludovic Apvrille. Quelques épreuve du challenge sécurité Trust the Future. MISC Multi-System & Internet Cookbook, 2015, pp.62-66. ⟨hal-02287129⟩
  • Ludovic Apvrille. Drones civils : vers plus d’autonomie. Le Journal des Grandes Ecoles et Universités, les Éditions Cassines, 2015. ⟨hal-02287130⟩
  • François Lefeuvre, Tullio J. Tanzi. Impact des phénomènes de météorologie spatiale sur la gestion des tremblements de Terre. Grand dossier REE. Revue de l’Electricité et de l’Electronique (REE), 2014, 12/2014, pp.108-114. ⟨hal-02287796⟩
  • Ludovic Apvrille, Axelle Apvrille, Pierre Bogossian. Retour d'expérience sur quelques épreuves de Hack.Lu 2013. MISC - Multi-System & Internet Security Cookbook, 2014, pp.50-55. ⟨hal-02286880⟩
  • Ludovic Apvrille, Pierre de Saqui-Sannes. Vérifications d'exclusions mutuelles par analyse statique de modèles SysML. Revue Génie Logiciel, 2013, 105, pp.40-44. ⟨hal-02286741⟩

Communication dans un congrès55 documents

  • Hui Zhao, Frédéric Mallet, Ludovic Apvrille. A Language-based Multi-view Approach for Combining Functional and Security Models. APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia. ⟨hal-02337469⟩
  • Renaud Pacalet, Benjamin Dauphin, Andrea Enrici, Ludovic Apvrille. Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications. Euromicro Conference on Digital System Design, Aug 2019, Kalithea, Greece. ⟨hal-02275905⟩
  • Renaud Pacalet, Radek Fujdiak, Petr Blažek, Ludovic Apvrille, Petr Mlynek, et al.. Modeling the trade-off between security and performance to support the product life cycle. 8th Mediterranean Conference on Embedded Computing MECO2019, Jun 2019, Budva, Montenegro. ⟨hal-02275984⟩
  • Ludovic Apvrille, Letitia W. Li. Harmonizing Safety, Security and Performance Requirements in Embedded Systems. Design Automation and Test in Europe conference (DATE, Mar 2019, Firenze, Italy. ⟨hal-02288550⟩
  • Daniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille, François Pêcheux. A Tool for High-Level Modeling of Analog/Mixed Signal Embedded Systems. MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.435-442, ⟨10.5220/0007520804350442⟩. ⟨hal-01963837⟩
  • Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Meta-models Combination for Reusing Verification Techniques. MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩. ⟨hal-02080768⟩
  • Maciej Bielski, Renaud Pacalet, Alvise Rigo. Dynamic guest memory resizing for disaggregated systems – paravirtualized approach. 27th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2019), Feb 2019, Pavia, Italy. ⟨hal-02288553⟩
  • Andrea Enrici, Ludovic Apvrille, Renaud Pacalet. Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-Software Systems. 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS), Feb 2019, Prague, Czech Republic. ⟨hal-02288551⟩
  • Pierre de Saqui-Sannes, Rob Vingerhoeds, Ludovic Apvrille. Early Checking of SysML Models Applied to Protocols. 12th International Conference on Modelling, Optimization and Simulation (MOSIM 2018), Jun 2018, Toulouse, France. ⟨hal-02287860⟩
  • Madhu Chandra, Tullio J. Tanzi. On the Design of a side-looking Drone-borne GPR and its Physical Basis. URSI. AT-RASC 2018. Second URSI Atlantic Radio Science Meeting - 2018., May 2018, Gran Canarian, Spain. ⟨hal-02287920⟩
  • Letitia W. Li, Florian Lugou, Ludovic Apvrille. Evolving Attacker Perspectives for Secure Embedded System Design. 6th International Conference on Model-Driven Engineering and Software Development (Modelsward), Jan 2018, Funchal, Portugal. ⟨hal-02287726⟩
  • Andrea Enrici, Julien Lallet, Imran Latif, Ludovic Apvrille, Renaud Pacalet, et al.. A Model Compilation Approach for Optimized Implementations of Signal-Processing Systems. MODELSWARD 2018, Jan 2018, Funchal Madeira, Portugal. ⟨hal-02287718⟩
  • Sarah Chabane, Rabéa Ameur-Boulifa, Mohamed Mezghiche. Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications. International conference on Embedded & Distributed Systems (EDiS 2017), Dec 2017, Oran, Algeria. ⟨hal-01666413⟩
  • Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development. International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada. ⟨hal-01649727⟩
  • Sarah Chabane, Rabéa Ameur-Boulifa, Mohamed Mezghiche. Rethinking of I/O-Automata Composition. Forum on specification & Design Languages (FDL 2017), Sep 2017, Verona, Italy. ⟨hal-01666415⟩
  • Letitia W. Li, Florian Lugou, Ludovic Apvrille. Security Modeling for Embedded System Design. Fourth International Workshop on Graphical Models for Security, Aug 2017, Santa Barbara, CA, United States. ⟨hal-02287725⟩
  • Tullio J. Tanzi, Madhu Chandra. Propagation modelling towards the design of drone-borne GPR for humanitarian applications. in XXXII General Assembly of the International Union of Radio Science, Aug 2017, Montréal, Canada. ⟨hal-02287741⟩
  • Ludovic Apvrille, Letitia W. Li, Annie Bracquemond. Design and Verification of Secure Autonomous Vehicles. 12th European ITS Congress, Jun 2017, Strasbourg, France. ⟨hal-02287582⟩
  • Adrien Canuel, Renaud Pacalet, Ludovic Apvrille. Software Stack for Code Generation of Software-Defined Radio. Journées Scientifiques de l'URSI, Mar 2017, Sophia-Antipolis, France. ⟨hal-02287563⟩
  • Letitia W. Li, Florian Lugou, Ludovic Apvrille. Security-Aware Modeling and Analysis for HW/SW Partitioning. 5th International Conference on Model-Driven Engineering and Software Development (Modelsward), Feb 2017, Porto, Portugal. ⟨hal-02287507⟩
  • Tullio J. Tanzi. Needs and Requirements for the RADAR Remote Sensing Community in the Context of Disaster Management for Humanitarian Missions. Kleinheubacher Tagung 2016 (KHB-2016), Sep 2016, Miltenberg, Germany. ⟨hal-02287792⟩
  • Istvan David, Eugene Syriani, Clark Verbrugge, Didier Buchs, Dominique Blouin, et al.. Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies. 1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France. ⟨hal-02287520⟩
  • Maciej Bielski, Christian Pinto, Daniel Raho, Renaud Pacalet. Survey on memory and devices disaggregation solutions for HPC systems. 19th IEEE International Conference on Computational Science and Engineering - CSE 2016, Aug 2016, Paris, France. ⟨hal-02287406⟩
  • Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa. SysML Models and Model Transformation for Security. Conferénce on Model-Driven Engineering and Software Development (Modelsward'2016), Feb 2016, Rome, Italy. ⟨hal-02287286⟩
  • Letitia W. Li, Guillaume Duc, Renaud Pacalet. Hardware-assisted memory tracing on new SoCs embedding FPGA fabrics. Annual Computer Security Applications Conference - ACSAC 2015, Dec 2015, Los Angeles, United States. ⟨hal-02288442⟩
  • Tullio J. Tanzi, Yves Roudier, Ludovic Apvrille. Towards a new architecture for autonomous data collection. ISPRS Geospatial Week 2015, GeoUAV track, Oct 2015, La grande Motte, France. ⟨hal-02287198⟩
  • Florian Lugou, Ludovic Apvrille, Aurélien Francillon. Toward a Methodology for Unified Verification of Hardware/Software Co-designs. PROOFS, Sep 2015, Saint Malo, France. ⟨hal-02287183⟩
  • Ludovic Apvrille, Axelle Apvrille. Identifying Unknown Android Malware with Feature Extractions and Classification Techniques. The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Aug 2015, Helsinki, Finland. ⟨hal-02287142⟩
  • Ludovic Apvrille, Yves Roudier. SysML-Sec Attack Graphs: Compact Representations for Complex Attacks. The Second International Workshop on Graphical Models for Security (GraMSec 2015), Jul 2015, Verona, Italy. pp.35-49. ⟨hal-02287141⟩
  • Ludovic Apvrille, Yves Roudier, Tullio J. Tanzi. Autonomous Drones for Disasters Management: Safety and Security Verifications. URSI AT-RASC, May 2015, Las Palma, Gran Canaria, Spain. ⟨hal-02287131⟩
  • Neslihan Kose, Jean-Luc Dugelay, Ludovic Apvrille. Facial Makeup Detection Technique Based on Texture and Shape Analysis. 11th IEEE Conference on Automatic Face and Gesture RecognitionFG'2015, May 2015, Ljubljana, Slovenia. ⟨hal-02287132⟩
  • Madhu Chandra, A Danklmayer, Thomas Rommel, Tullio J. Tanzi. Polarization and Waveform Diversity Radar Methods And their Application in Disaster Management. URSI AT-RASC 2015. URSI Atlantic Radio Science Conference, Feb 2015, Gran Canaria, Spain. ⟨hal-02287795⟩
  • Ludovic Apvrille, Yves Roudier. SysML-Sec: A Model Driven Approach for Designing Safe and Secure Systems. 3rd International Conference on Model-Driven Engineering and Software Development, Special session on Security and Privacy in Model Based Engineering, Feb 2015, Angers, France. ⟨hal-02287013⟩
  • Tullio J. Tanzi, Ludovic Apvrille, Jean-Luc Dugelay, Yves Roudier. UAVs for Humanitarian Missions: Autonomy and Reliability. IEEE Global Humanitarian Technology Conference (GHTC), Oct 2014, Silicon Valley, United States. ⟨hal-02288415⟩
  • Ludovic Apvrille, Andrea Enrici, Renaud Pacalet. A UML Model-Driven Approach to Efficiently Allocate Complex Communication Schemes. MODELS 2014, Sep 2014, Valencia, Spain. ⟨hal-02288403⟩
  • Ludovic Apvrille, Tullio J. Tanzi, Jean-Luc Dugelay. Autonomous Drones for Assisting Rescue Services within the context of Natural Disasters. 31st URSI General Assembly and Scientific Symposium, Aug 2014, Beijing, China. ⟨hal-02286916⟩
  • Muhammad Sabir Idrees, Yves Roudier, Ludovic Apvrille. Model the System from Adversary Viewpoint: Threats Identification & Modeling. AIDP workshop, IFIP-SEC conference, Jun 2014, Marrakech, Morocco. ⟨hal-02286972⟩
  • Ludovic Apvrille, Tullio J. Tanzi, Jean-Luc Dugelay, Yves Roudier. Drone humanitaire : état de l'art et réflexions. Actes du colloque scientifique francophone "Drones et moyens légers téléporté d'observation : recherche, développement, applications : l'état de l'art", Jun 2014, Montpellier, France. ⟨hal-02286913⟩
  • Jérémie Brunel, Salaheddine Ouaarab, Renaud Pacalet, Guillaume Duc. SecBus, a software/hardware architecture for securing external memories. The 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, IEEE MobileCloud 2014, Apr 2014, Oxford, United Kingdom. ⟨hal-02286951⟩
  • Ludovic Apvrille, Tullio J. Tanzi, Jean-Luc Dugelay. Autonomous Drones for Humanitarians Operations. Journées scientifiques URSI France, Mar 2014, Paris, France. pp.15-21. ⟨hal-02286914⟩
  • Ludovic Apvrille. Prototypage virtuel depuis des modèles SysML. Journée SysML France, Mar 2014, Toulouse, France. ⟨hal-02286858⟩
  • Ludovic Apvrille, Yves Roudier, Tullio J. Tanzi, Franck Guarnieri. Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security Properties". Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", Mar 2014, Paris, France. ⟨hal-02286918⟩
  • François Lefeuvre, Tullio J. Tanzi. About Radio Science Contribution to Emergency Management. XXXI General Assembly of the International Union of Radio Science, Feb 2014, Beijing, China. ⟨hal-02287797⟩
  • Andrea Enrici, Ludovic Apvrille, Renaud Pacalet. Communication Patterns: a Novel Modeling Approach for Software Defined Radio Systems. The Fourth International Conference on Advances in Cognitive Radio (COCORA'2014), Feb 2014, Nice, France. ⟨hal-02288394⟩
  • Ludovic Apvrille, Axelle Apvrille. Pre-filtering Mobile Malware with Heuristic Techniques. GreHaCk'2013, Nov 2013, Grenoble, France. ⟨hal-02286857⟩
  • Andrea Enrici, Ludovic Apvrille, Renaud Pacalet. Taming Control Exchange for Software Defined Radio in System Level Models. 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2013), Oct 2013, Sophia-Antipolis, France. ⟨hal-02286812⟩
  • Benjamin Ranft, Jean-Luc Dugelay, Ludovic Apvrille. 3D Perception for Autonomous Navigation of a Low-Cost MAV using Minimal Landmarks. International Micro Air Vehicle Conference and Flight Competition, Sep 2013, Toulouse, France. ⟨hal-02286795⟩
  • Ludovic Apvrille, Yves Roudier. SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems. 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France. ⟨hal-02286744⟩
  • Ludovic Apvrille, Yves Roudier. SysML-Sec: A SysML Environment for the Design and Development of Secure Embedded Systems. APCOSEC 2013, Aug 2013, Yokohama, Japan. ⟨hal-02288385⟩
  • Ludovic Apvrille. DIPLODOCUS : Un environnement pour le partitionnement logiciel/matériel des systèmes embarqués et intégrés complexes. École d’Été Temps Réel (ETR 2013), Aug 2013, Toulouse, France. ⟨hal-02286794⟩
  • Yves Roudier, Muhammad Sabir Idrees, Ludovic Apvrille. Towards the Model-Driven Engineering of Security Requirements for Embedded Systems. Model-Driven Requirements Engineering Workshop (MoDRE), Jul 2013, Rio de Janeiro, Brazil. ⟨hal-02286742⟩
  • Ludovic Apvrille, Pierre de Saqui-Sannes. Real-Time Systems Development with the SysML toolkit TTool. Tutorial at the 16th International System Design Languages Forum, Jun 2013, Montreal, Canada. ⟨hal-02286743⟩
  • Carina Schmidt-Knorreck, Renaud Pacalet, Andreas Minwegen, Uwe Deidersen, Torsten Kempf, et al.. Flexible Front-End Processing for Software Defined Radio Applications using Application Specific Instruction-Set Processors. Conference on Design and Architectures for Signal and Image Processing, DASIP'2012, Oct 2012, Karlsruhe, Germany. ⟨hal-02288327⟩
  • Ludovic Apvrille, Alexandre Bécoulet. Prototyping an Embedded Automotive System from its UML/SysML Models. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02191862⟩
  • Atso Hekkala, Ilkka Harjula, Dorin Panaitopol, Tapio Rautio, Renaud Pacalet. Cooperative spectrum sensing study using Welch periodogram. 11th International Conference on Telecommunications - ConTEL 2011, Jun 2011, Graz, Austria. pp.67-74. ⟨hal-02286520⟩

Chapitre d'ouvrage7 documents

  • Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille. SysML Model Transformation for Safety and Security Analysis. Security and Safety Interplay of Intelligent Software Systems -, pp.35-49, 2019. ⟨hal-02269655⟩
  • Andrea Enrici, Julien Lallet, Renaud Pacalet, Ludovic Apvrille, Karol Desnos, et al.. "Model-Based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC. Communications in Computer and Information Science, Model-Driven Engineering and Software Development, Springer, pp.56_81, 2019. ⟨hal-02288056⟩
  • Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille. SysML Model Transformation for Safety and Security Analysis. Security and Safety Interplay of Intelligent Software Systems -, pp.35-49, 2019. ⟨hal-02288090⟩
  • Ludovic Apvrille, Yves Roudier. Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec. Model-Driven Engineering and Software Development, Springer International Publishing, pp.293-308, 2016, ⟨10.1007/978-3-319-27869-8⟩. ⟨hal-02287285⟩
  • Ludovic Apvrille, Yves Roudier. Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec. Model-Driven Engineering and Software Development: Third International Conference, Revised Selected Papers, Springer International Publishing, pp.293-308, 2015, ⟨10.1007/978-3-319-27869-8_17⟩. ⟨hal-02287305⟩
  • Tullio J. Tanzi, Jean Isnard. Public Safety Network: an Overview. Public Safety Networks Volume 1: Overview and Challenges, ISTE Press - Elsevier, pp.1-20, 2015. ⟨hal-02287522⟩
  • Ludovic Apvrille, Pierre de Saqui-Sannes. 6 : Vérification d'exigences d'un modèle SysML. Modélisation et analyse de systèmes embarqués, Lavoisier, Hermès Sciences, 2013. ⟨hal-02286565⟩

Direction d'ouvrage, Proceedings1 document


Rapport9 documents

  • Gabriel Pedroza, Ludovic Apvrille. LLD Modeling, Verification, and Automatic C-Code Generation, Deliverable D4.2.3. [Contract] EVITA, Telecom ParisTech. 2012. ⟨hal-02286282⟩
  • Yves Roudier, Hendrik Schweppe, Muhammad Sabir Idrees, Ludovic Apvrille, Gabriel Pedroza. Tests Results, Deliverable D4.4.2. [Contract] Projet EVITA, Eurecom, Telecom ParisTech. 2012. ⟨hal-02286279⟩
  • Yves Roudier, Hendrik Schweppe, Ludovic Apvrille. Test Specification, Deliverable D4.4.1. [Contract] EVITA, GTelecom ParisTech. 2011. ⟨hal-02286280⟩
  • Andreas Fuchs, Sigi Gurgens, Ludovic Apvrille, Gabriel Pedroza. On-Board Architecture and Protocols Verification, Deliverable D3.4.3. [Contract] EVITA, Telecom ParisTech. 2011. ⟨hal-02286284⟩
  • Andreas Fuchs, Sigi Gurgens, Ludovic Apvrille, Gabriel Pedroza. On-Board Architecture and Protocols Attack Analysis, Deliverable D3.4.4. [Contract] EVITA, Telecom ParisTech. 2011. ⟨hal-02286283⟩
  • Andreas Fuchs, Sigi Gurgens, Rieke Roland, Ludovic Apvrille. Architecture and Protocol Verification and Attack Analysis, Deliverable D3.4.1. [Contract] EVITA, Telecom ParisTech. 2010. ⟨hal-02286285⟩
  • Hendrik Schweppe, Muhammad Sabir Idrees, Yves Roudier, Benjamin Weyl, Rachid El Khayari, et al.. Secure on-board protocols specification", Deliverable D3.3. [Contract] EVITA, Telecom ParisTech. 2010. ⟨hal-02286286⟩
  • Hervé Seudié, Jamshid Shokrollahi, Benjamin Weyl, Anselm Keil, Marko Wolf, et al.. Secure On-board Architecture Specification, Deliverable D3.2. [Contrat] EVITA, Telecom ParisTech. 2010. ⟨hal-02286287⟩
  • Alastair Ruddle, David Ward, Benjamin Weyl, Muhammad Sabir Idrees, Yves Roudier, et al.. Security requirements for automotive on-board networks based on dark-side scenarios, Deliverable D2.3. [Contract] EVITA, Telecom ParisTech. 2010. ⟨hal-02286288⟩

Documents récupérés de l'archive ouverte HAL logo

Dernières actualités du LTCI

Toutes les actualités