Projekte

Zeige Ergebnisse 1 bis 2 von 2.

EASEPROFIT – Agile Post-Quantum-Sichere Protokolle für die Finanzindustrie

Quantencomputer könnten bis 2030 in der Lage sein, die derzeitig eingesetzten asymmetrischen Kryptoverfahren zu brechen, wodurch ein Bedarf an quantenresistenten Verschlüsselungsstandards entsteht. De
VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der RISC-V-Technologie, einer Befehlssatzarchitektur für Mikro