Filter your results
- 28
- 20
- 5
- 2
- 1
- 5
- 23
- 12
- 1
- 4
- 3
- 5
- 6
- 3
- 2
- 1
- 3
- 26
- 2
- 23
- 12
- 7
- 1
- 1
- 28
- 20
- 7
- 6
- 5
- 5
- 4
- 4
- 3
- 2
- 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
|
|
sorted by
|
Improved Security Requirements Engineering using Knowledge Representation9è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 AttacksThe 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 Quality2016 IEEE 24th International Requirements Engineering Conference Workshops, Sep 2016, Beijing, China
Conference papers
hal-01974621v1
|
|||
|
Tracking Dependent Information FlowsProceedings 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 VerificationsURSI AT-RASC, May 2015, Las Palma, Gran Canaria, Spain
Conference papers
hal-02287131v1
|
|||
Poster: "SysML-Sec: Capturing and Formally Proving Safety and Security PropertiesColloque 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 SystemsArchitecture-Centric Virtual Integration (ACVI), 2016, Apr 2016, Venise, Italy
Conference papers
hal-01974731v1
|
|||
Secure On-board Architecture Specification, Deliverable D3.2[Contrat] EVITA, Telecom ParisTech. 2010
Reports
hal-02286287v1
|
|||
Post-Disaster Robotic System: Architectural and Energetic aspectsJourné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 SystemsThe First International Workshop on Graphical Models for Security (GramSec'2014), Apr 2014, Grenoble, France
Conference papers
hal-02412043v1
|
|||
Test Specification, Deliverable D4.4.1[Contract] EVITA, GTelecom ParisTech. 2011
Reports
hal-02286280v1
|
|||
Tests Results, Deliverable D4.4.2[Contract] Projet EVITA, Eurecom, Telecom ParisTech. 2012
Reports
hal-02286279v1
|
|||
SysML-Sec: A SysML Environment for the Design and Development of Secure Embedded SystemsAPCOSEC 2013, Aug 2013, Yokohama, Japan
Conference papers
hal-02288385v1
|
|||
SysML-Sec: A Model Driven Approach for Designing Safe and Secure Systems3rd 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 Systems8è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 SystemsModel-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-SecModel-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 & ModelingAIDP workshop, IFIP-SEC conference, Jun 2014, Marrakech, Morocco
Conference papers
hal-02286972v1
|
|||
Towards a new architecture for autonomous data collectionISPRS Geospatial Week 2015, GeoUAV track, Oct 2015, La grande Motte, France
Conference papers
hal-02287198v1
|
|||
UAVs for Humanitarian Missions: Autonomy and ReliabilityIEEE 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 protocolsPeer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243
Journal articles
hal-02286502v1
|
|||
Drone humanitaire : état de l'art et réflexionsActes 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 GuidelinesAdvances in Science, Technology and Engineering Systems Journal, 2018, 3 (1), pp.38-48
Journal articles
hal-01974733v1
|
|||
Formal Specification of Security Guidelines for Program CertificationEleventh 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 Guidelines2017 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)SecurityJournées Scientifiques URSI 2017, Feb 2017, Sophia-Antipolis, France
Conference papers
hal-01974732v1
|
|||
Secure on-board protocols specification", Deliverable D3.3[Contract] EVITA, Telecom ParisTech. 2010
Reports
hal-02286286v1
|
|||
Security requirements for automotive on-board networks based on dark-side scenarios, Deliverable D2.3[Contract] EVITA, Telecom ParisTech. 2010
Reports
hal-02286288v1
|