Innovating Works

SEARCH-LAB

Desconocido
CROSSCON: Cross platform Open Security Stack for Connected Devices SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un HORIZON EUROPE: HORIZON-CL3-2021-CS-01 IoT developers face a very fragmented landscape made of very different devices, from bare metal devices with few KB of RAM and limited or no...
2022-06-22 - 2025-10-31 | Financiado
AssureMOSS: Assurance and certification in secure Multi party Open Software and Services. SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un H2020: H2020-SU-ICT-2018-2020 Continuous, distributed changes rule today's European Digital Single Market as no single company does master its own national, in-house soft...
2020-07-16 - 2023-09-30 | Financiado
ENSURESEC: End to end Security of the Digital Single Market s E commerce and Delivery Service Ecosystem SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un H2020: H2020-SU-DS-2018-2019-2020 ENSURESEC is a sociotechnical solution for safeguarding the Digital Single Market’s e-commerce operations against cyber and physical threats...
2020-05-27 - 2022-05-31 | Financiado
VESSEDIA: VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un H2020: H2020-DS-2016-2017 The VESSEDIA project will bring safety and security to many new software applications and devices. In the fast evolving world we live in, th...
2016-11-27 - 2019-12-31 | Financiado
CPSwarm: CPSwarm SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un H2020: H2020-ICT-2016-2017 Cyber-Physical Systems (CPS) find applications in a number of large-scale, safety-critical domains e.g. transportation, smart cities, etc. W...
2016-10-12 - 2019-12-31 | Financiado
COSSIM: A Novel Comprehensible Ultra Fast Security Aware CPS Simulator SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un H2020: H2020-ICT-2014 One of the main problems the CPS designers face is the lack of simulation tools and models for system design and analysis. This is mainly be...
2014-12-08 - 2018-01-31 | Financiado
NSHIELD: New embedded Systems arcHItecturE for multi-Layer Dependable solutions SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un FP6: The nSHIELD project is, at the same time, a complement and an improvement of pSHIELD”, a pilot project funded in ARTEMIS Call 2009 as the fi...
2011-09-01 - 2014-12-31 | Financiado
ANIKETOS: Secure and Trustworthy Composite Services SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un FP7: The Future Internet will provide an environment in which a diverse range of services are offered by a diverse range of suppliers, and users...
Financiado
STANCE: A Source code analysis Toolbox for software security AssuraNCE SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un FP7: The immunity of a system to malicious third parties trying to modify its behaviour (e.g. to perform unauthorized actions) is called security...
Financiado
uTRUSTit: Usable TRUST in the Internet of Things SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un FP7: The Internet of Things (IoT) will connect a large number of communication and information systems. These systems will be part of everyday li...
Financiado
SecFutur: Design of Secure and energy efficient embedded systems for Future internet applications SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un FP7: Security has always been a stepchild to the developers of embeddedsystems. In the past they were able to rely on physicalprotection. Due to...
Financiado
SHIELDS: Detecting known security vulnerabilities from within design and development tools SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un FP7: Software systems continue to be crippled by security vulnerabilities. One of the reasons for this is that information on known vulnerabiliti...
Financiado
NSHIELD: New embedded Systems arcHItecturE for multi Layer Dependable solutions SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un FP7: The nSHIELD project is, at the same time, a complement and an improvement of pSHIELD, a pilot project funded in ARTEMIS Call 2009 as the fir...
Financiado
INTER-TRUST: Interoperable Trust Assurance Infrastructure SEARCHLAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG participó en un FP7: The main objective of the INTER-TRUST project is to develop a framework to support trustworthy applications in heterogeneous networks and de...
Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.