Search - Archive ouverte HAL Access content directly

Filter your results

26 Results

On-Board Architecture and Protocols Attack Analysis, Deliverable D3.4.4

Andreas Fuchs , Sigi Gurgens , Ludovic Apvrille , Gabriel Pedroza
[Contract] EVITA, Telecom ParisTech. 2011
Reports hal-02286283v1

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

LLD Modeling, Verification, and Automatic C-Code Generation, Deliverable D4.2.3

Gabriel Pedroza , Ludovic Apvrille
[Contract] EVITA, Telecom ParisTech. 2012
Reports hal-02286282v1
Image document

A Model-based Approach to Realize Privacy and Data Protection by Design

Gabriel Pedroza , Victor Muntes-Mulero , Yod Samuel Martin , Guillaume Mockly
2021 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2021, Vienna, Austria. pp.327-334, ⟨10.1109/EuroSPW54576.2021.00042⟩
Conference papers cea-03602608v1
Image document

Towards Safety and Security Co-engineering: Challenging Aspects for a Consistent Intertwining

Gabriel Pedroza
Security and Safety Interplay of Intelligent Software Systems, pp.3-16, 2019
Book sections hal-02275365v1
Image document

Formal analysis approach for multi-layered system safety and security co-engineering

Megha Quamara , Gabriel Pedroza , Brahim Hamid
14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022), Sep 2022, Zaragoza, Spain. pp.18-31, ⟨10.1007/978-3-031-16245-9_2⟩
Conference papers cea-03789094v1

Security Weaknesses Detection by Symbolic Analysis of Scenarios

Boutheïna Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall et al.
2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩
Conference papers hal-01812121v1
Image document

Towards Safety and Security Co-engineering

Gabriel Pedroza
Security and Safety Interplay of Intelligent Software Systems, 11552, Springer, pp.3-16, 2019, Conference proceedings CSITS 2018, ISSA 2018, ⟨10.1007/978-3-030-16874-2⟩
Book sections cea-02275377v1

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
Image document

Assisting the Design of Secured Applications for Embedded Systems

Gabriel Pedroza
Computer Aided Engineering. Télécom ParisTech, 2013. English. ⟨NNT : 2013-ENST-001⟩
Theses tel-01185312v1
Image document

Facilitating the adoption of standards through model-based representation

Morayo Adedjouma , Gabriel Pedroza , Asma Smaoui , Trung Kien Dang
ICECCS 2018 - 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.213-216, ⟨10.1109/ICECCS2018.2018.00035⟩
Conference papers cea-03282263v1
Image document

Safe-by-Design Development Method for Artificial Intelligent Based Systems

Gabriel Pedroza , Morayo Adedjouma
SEKE 2019 : The 31st International Conference on Software Engineering and Knowledge Engineering, Jul 2019, Lisbon, Portugal. pp.391-397, ⟨10.18293/SEKE2019-094⟩
Conference papers cea-02273349v1
Image document

Model-Based Approach for Co-optimization of Safety and Security Objectives in Design of Critical Architectures

Kunal Suri , Gabriel Pedroza , Patrick Leserf
Model and Data Engineering, pp.18-32, 2021, ⟨10.1007/978-3-030-78428-7_2⟩
Book sections cea-03308305v1

Designing Sequence Diagram Models for Robustness to Attacks

Boutheïna Bannour , Boutheina Bannour , Jose Pablo Escobedo , Christophe Gaston , Pascale Le Gall et al.
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩
Conference papers hal-01812124v1
Image document

A Formal Security Model for Verification of Automotive Embedded Applications

Renaud Pacalet , Gabriel Pedroza , Ludovic Apvrille
SAFA Annual Workshop on Formal Techniques (SAFA’2010), Oct 2010, Sophia-Antipolis, France
Conference papers hal-03576507v1
Image document

Method and framework for security risks analysis guided by safety criteria

Gabriel Pedroza , Guillaume Mockly
MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Virtual Event Canada, Canada. pp.1-8, ⟨10.1145/3417990.3420047⟩
Conference papers cea-03308209v1

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
Image document

Introducing a multi-layered model-based design approach towards safety-security co-engineering

Megha Quamara , Gabriel Pedroza , Brahim Hamid
IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021), Dec 2021, Hainan Island, China. pp.1163-1164, ⟨10.1109/QRS-C55045.2021.00175⟩
Conference papers cea-03789133v1

Representative Safety Assessment of Autonomous Vehicle for Public Transportation

Morayo Adedjouma , Gabriel Pedroza , Boutheina Bannour
21th IEEE International Symposium on Real-Time Distributed Computing, ISORC 2018, Singapour city, Singapour, 2018, 2018, Unknown, Unknown Region
Conference papers hal-01811824v1

On-Board Architecture and Protocols Verification, Deliverable D3.4.3

Andreas Fuchs , Sigi Gurgens , Ludovic Apvrille , Gabriel Pedroza
[Contract] EVITA, Telecom ParisTech. 2011
Reports hal-02286284v1
Image document

A Model-based approach to realize privacy and data protection by design

Gabriel Pedroza , Victor Muntes-Mulero , Yod Samuel Martin , Guillaume Mockly
IWPE'21 - 2021 International Workshop on Privacy Engineering, Sep 2021, vienne (Virtual conference), Austria
Conference papers cea-03416657v1
Image document

PDP-ReqLite: A lightweight approach for the elicitation of privacy and data protection requirements

Nicolás E. Díaz Ferreyra , Patrick Tessier , Gabriel Pedroza , Maritta Heisel
Data Privacy Management, Cryptocurrencies and Blockchain Technology. DPM 2020, CBT 2020., pp.161-177, 2020, 978-3-030-66172-4. ⟨10.1007/978-3-030-66172-4_10⟩
Book sections cea-03264121v1
Image document

Multi-layered model-based design approach towards system safety and security co-engineering

Megha Quamara , Gabriel Pedroza , Brahim Hamid
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2021), Oct 2021, Fukuoka (virtual event), Japan. pp.274-283, ⟨10.1109/MODELS-C53483.2021.00048⟩
Conference papers cea-03789160v1
Image document

Facilitating safety and security co-design and formal analysis in multi-layered system modeling

Megha Quamara , Gabriel Pedroza , Brahim Hamid
20th IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2022), Sep 2022, Calabria, Italy. pp.1-8, ⟨10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927773⟩
Conference papers cea-03789114v1
Image document

Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems

Gabriel Pedroza , Pascale Le Gall , Christophe Gaston , Fabrice Bersey
19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. ⟨10.1109/isorc.2016.15⟩
Conference papers cea-01302826v1