Vorschaubild

Projekte

Laufende Projekte

BIOINDUSTRY 4.0: RI services to promote deep digitalization of Industrial Biotechnology – towards smart biomanufacturing

TITAN: Trusted envIronments for confidenTiAl computiNg and secure data sharing

TraceSEC: Nachverfolgbarkeit und Erklärbarkeit von Security in der Softwareentwicklung

DATAMITE: DATA Monetization, Interoperability, Trading & Exchange

IH - evrsKI: Interdisziplinärer Hub zur Vermittlung von Kompetenzen in Entwicklung, Umgang und Anwendung von erklärbaren, vertrauenswürdigen, resilienten und sicheren KI-Verfahren

TRUSTyFOOD: Stakeholders-driven pathways for blockchain implementation in the agri-food sector

ACCORD: Automated Compliance Checks for Construction, Renovation or Demolition Works

DS4SKILLS: Support actions for the set-up of a European data space on skills

AI-NET-PROTECT 4 health: Health Data Intelligence: Sicherheit und Datenschutz

EnTrust: Engineering Trustworthy Data-Intensive Systems

KI und COVID: Erklärbarkeit und Entscheidungsunterstützung durch KI in Pandemie- Situationen

Abgeschlossene Projekte

QU4LITY: Digital Reality in Zero Defect Manufacturing

ServiceMeister: Ein KI-basiertes Serviceökosystem für technischen Service im Zeitalter von Industrie 4.0

TRUSTS: Trusted Secure Data Sharing Space

DataPorts: A Data Platform for the Cognitive Ports of the Future

IIP Ecosphere @ Sec: Sicherheitsaspekte von Plattformen für KI-Ökosysteme in der intelligenten Produktion

European Railway Data Space

DILoTra: Datenschutz-konforme Indoor-Lokalisierung und Tracking von Personen

XAPS: EXplainable AI for automated Production Systems

T-REQS: Template-based REquirements Quality improvement in Space engineering supported by an ontology-based requirements meta-model

SecVolution@: Run-TimeBeyond One-Shot Security: Requirements-driven Run-time Security Adaptation to Reduce Code Patching

SecSpec: Automated Classification of Security Requirements Specifications

VisiOn: Visual Privacy Management in User Centric Open Environments

SECONOMICS: Socio-Economics meets Security

ClouDAT: Entwicklung eines Werkzeugs zur Dokumentation und Sicherheitsevaluierung von Cloud Computing-Systemen

SecVolution: Beyond One-Shot Security: Keeping Information Systems Secure through Environment-Driven Knowledge Evolution

UMLSecRisk: Enhancing UMLsec with Risk Analysis for Security Requirements

APEX: Architectures for Auditable Business Process Execution - Monitoring, Control, and Compliance

SecureClouds: Entwicklung einer Software-Umgebung für die werkzeuggestützte Sicherheits- und Compliance-Analyse zur Auslagerung von Diensten in Cloud-Computing-Umgebungen

VeriSec: Automated Verification of Security-Critical Software

Secure Change: Security Engineering for Lifelong Evolvable Systems

MoDelSec: Modular Modeling of Delegation Security in Software Development

Csec: Verifying Implementations of Security Protocols in C

Cloud-Infrastruktur der Fakultät für Informatik

Modelling for Compliance

S&P-4-all: Security and Privacy for All: EPSRC-Programm “Partnerships for Public Engagement"

Relating Security Requirements and Design: Royal Society Joint International Project zwischen Open University und National Institute of Informatics (Tokyo).

Human-centric Security Management in Complex Networks

MFSA0C-PI: Model-based Formal Security Analysis of Crypto-Protocol Implementations