Method for designing secure boot solution for embedded device on basis of formal verification

WO2023082340 Art A1 19. Mai 2023

Anmelder: ZHEJIANG UNIVERSITY 🇨🇳

Details

Veröffentlichungs-Nr.: WO2023082340
Aktenzeichen: EP21963784
Anmeldetag: 24. November 2021
Veröffentlichung: 19. Mai 2023
Rechtsraum: WO
IPC: G06F21/57

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: ZHEJIANG UNIVERSITY
Land: 🇨🇳 China

🇨🇳 Zhejiang University

Chinesische Universität mit Sitz in Hangzhou, eine der führenden Forschungshochschulen Chinas mit breitem Fächerspektrum einschließlich Ingenieurwissenschaften und Materialforschung.

1.943 Patente in unserer Datenbank

Fachgebiete

Software & Datenverarbeitung

Vertreten von