Search - Télécom Paris Access content directly

Filter your results

28 Results
authIdHal_s : yves-roudier

Improved Security Requirements Engineering using Knowledge Representation

Yves Roudier , Muhammad Sabir Idrees , Ludovic Apvrille
9ème conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, May 2014, Lyon, France
Conference papers hal-02412085v1

SysML-Sec Attack Graphs: Compact Representations for Complex Attacks

Ludovic Apvrille , Yves Roudier
The Second International Workshop on Graphical Models for Security (GraMSec 2015), Jul 2015, Verona, Italy. pp.35-49
Conference papers hal-02287141v1

Security Guidelines: Requirements Engineering for Verifying Code Quality

Zeineb Zhioua , Yves Roudier , Stuart Short , R. Ameur-Boulifa
2016 IEEE 24th International Requirements Engineering Conference Workshops, Sep 2016, Beijing, China
Conference papers hal-01974621v1

Tracking Dependent Information Flows

Zeineb Zhioua , Yves Roudier , Rabéa Ameur Boulifa , Takoua Kechiche , Stuart Short et al.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy (ICISSP'17), Feb 2017, Porto, Portugal. pp.179-189, ⟨10.5220/0006209301790189⟩
Conference papers hal-01974727v1

Autonomous Drones for Disasters Management: Safety and Security Verifications

Ludovic Apvrille , Yves Roudier , Tullio Tanzi
URSI AT-RASC, May 2015, Las Palma, Gran Canaria, Spain
Conference papers hal-02287131v1

Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security Properties

Ludovic Apvrille , Yves Roudier , Tullio Tanzi , Franck Guarnieri
Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", Mar 2014, Paris, France
Conference papers hal-02286918v1

Model-Driven Engineering for Designing Safe and Secure Embedded Systems

Ludovic Apvrille , Laetitia Li , Yves Roudier
Architecture-Centric Virtual Integration (ACVI), 2016, Apr 2016, Venise, Italy
Conference papers hal-01974731v1

Secure On-board Architecture Specification, Deliverable D3.2

Hervé Seudié , Jamshid Shokrollahi , Benjamin Weyl , Anselm Keil , Marko Wolf et al.
[Contrat] EVITA, Telecom ParisTech. 2010
Reports hal-02286287v1

Post-Disaster Robotic System: Architectural and Energetic aspects

Tullio Tanzi , Yves Roudier
Journées Scientifiques de l'URSI France 2016, Mar 2016, Rennes, France
Conference papers hal-02412247v1

Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems

Ludovic Apvrille , Yves Roudier
The First International Workshop on Graphical Models for Security (GramSec'2014), Apr 2014, Grenoble, France
Conference papers hal-02412043v1

Test Specification, Deliverable D4.4.1

Yves Roudier , Hendrik Schweppe , Ludovic Apvrille
[Contract] EVITA, GTelecom ParisTech. 2011
Reports hal-02286280v1

Tests Results, Deliverable D4.4.2

Yves Roudier , Hendrik Schweppe , Muhammad Sabir Idrees , Ludovic Apvrille , Gabriel Pedroza et al.
[Contract] Projet EVITA, Eurecom, Telecom ParisTech. 2012
Reports hal-02286279v1

SysML-Sec: A SysML Environment for the Design and Development of Secure Embedded Systems

Ludovic Apvrille , Yves Roudier
APCOSEC 2013, Aug 2013, Yokohama, Japan
Conference papers hal-02288385v1

SysML-Sec: A Model Driven Approach for Designing Safe and Secure Systems

Ludovic Apvrille , Yves Roudier
3rd International Conference on Model-Driven Engineering and Software Development, Special session on Security and Privacy in Model Based Engineering, Feb 2015, Angers, France
Conference papers hal-02287013v1

SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems

Ludovic Apvrille , Yves Roudier
8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France
Conference papers hal-02286744v1

Towards the Model-Driven Engineering of Security Requirements for Embedded Systems

Yves Roudier , Muhammad Sabir Idrees , Ludovic Apvrille
Model-Driven Requirements Engineering Workshop (MoDRE), Jul 2013, Rio de Janeiro, Brazil
Conference papers hal-02286742v1

Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec

Ludovic Apvrille , Yves Roudier
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⟩
Book sections hal-02287305v1

Model the System from Adversary Viewpoint: Threats Identification & Modeling

Muhammad Sabir Idrees , Yves Roudier , Ludovic Apvrille
AIDP workshop, IFIP-SEC conference, Jun 2014, Marrakech, Morocco
Conference papers hal-02286972v1

Towards a new architecture for autonomous data collection

Tullio Tanzi , Yves Roudier , Ludovic Apvrille
ISPRS Geospatial Week 2015, GeoUAV track, Oct 2015, La grande Motte, France
Conference papers hal-02287198v1

UAVs for Humanitarian Missions: Autonomy and Reliability

Tullio Tanzi , Ludovic Apvrille , Jean-Luc Dugelay , Yves Roudier
IEEE Global Humanitarian Technology Conference (GHTC), Oct 2014, Silicon Valley, United States
Conference papers hal-02288415v1

Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols

Nouha Oualha , Jean Leneutre , Yves Roudier
Peer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243
Journal articles hal-02286502v1

Drone humanitaire : état de l'art et réflexions

Ludovic Apvrille , Tullio Tanzi , Jean-Luc Dugelay , Yves Roudier
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
Conference papers hal-02286913v1

Framework for the Formal Specification and Verification of Security Guidelines

Zeineb Zhioua , Rabéa Ameur-Boulifa , Yves Roudier
Advances in Science, Technology and Engineering Systems Journal, 2018, 3 (1), pp.38-48
Journal articles hal-01974733v1

Formal Specification of Security Guidelines for Program Certification

Zeineb Zhioua , Yves Roudier , R. Ameur-Boulifa
Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia-Antipolis, France
Conference papers hal-01974729v1

Formal Specification and Verification of Security Guidelines

Zeineb Zhioua , Yves Roudier , R. Ameur-Boulifa
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), IEEE Computer Society, Jan 2017, Christchurch, New Zealand. pp.267--273, ⟨10.1109/PRDC.2017.51⟩
Conference papers hal-01974725v1

A State of the Art of Drone (In)Security

Yves Roudier , Tullio Joseph Tanzi
Journées Scientifiques URSI 2017, Feb 2017, Sophia-Antipolis, France
Conference papers hal-01974732v1

Secure on-board protocols specification", Deliverable D3.3

Hendrik Schweppe , Muhammad Sabir Idrees , Yves Roudier , Benjamin Weyl , Rachid El Khayari et al.
[Contract] EVITA, Telecom ParisTech. 2010
Reports hal-02286286v1

Security requirements for automotive on-board networks based on dark-side scenarios, Deliverable D2.3

Alastair Ruddle , David Ward , Benjamin Weyl , Muhammad Sabir Idrees , Yves Roudier et al.
[Contract] EVITA, Telecom ParisTech. 2010
Reports hal-02286288v1