Displaying 6801 - 6850 of 33463
Request date Sort ascending | Organisation name | Country | Search type | Topic | Link | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | LIQUID DEMOCRACY EV | Germany | Expertise Request | Collaborative intelligence – combining the best of machine and human (AI Data and Robotics Partnership) (RIA) (HORIZON-CL4-2024-HUMAN-01-07) | F&T portal | ||||||
Liquid Democracy is a Berlin-based non-profit organization, since 2009 focused on developing and implementing innovative concepts for digital democracy. Our AI-supported moderation software KOSMO helps moderators of digital participation processes to identify high-quality contributions while flagging problematic and less argumentative ones, thus improving the overall quality of digital discussions and decision-making. Info: www.liqd.net and www.kosmo-moderation.de; Contact: [email protected] | |||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |
|||||||||||
13/07/2023 | Achim Dominik BRUCKER | Vatican City | Expertise Request | Fundamentals of Software Engineering (RIA) (HORIZON-CL4-2024-DIGITAL-EMERGING-01-22) | F&T portal | ||||||
The Security and Trust of Advanced Systems Group (University of Exeter, UK) has expertise in developing techniques and tools for ensuring the safety, correctness, and security of complex software or hardware systems. This includes distributed systems, communication protocols, autonomous systems, cyber-physical systems, or systems using ML/AI. We also work on (security) testing and verification approaches, Open Source, and software supply-chain security. |