- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Bochum, Ruhr-Universität Bochum, Dissertation, 2022
- Schlagwort
-
Formale Methode
Compiler
Übersetzerbau
Programmierparadigma
Formale Methode
Compiler
Computersicherheit
Korrektheit
- Ereignis
-
Veröffentlichung
- (wo)
-
Bochum
- (wer)
-
Ruhr-Universität Bochum
- (wann)
-
2023
- Urheber
- Beteiligte Personen und Organisationen
-
Hriţcu, Cătălin
Paar, Christof
Fakultät für Informatik
- URN
-
urn:nbn:de:hbz:294-98703
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Abate, Carmine
- Hriţcu, Cătălin
- Paar, Christof
- Fakultät für Informatik
- Ruhr-Universität Bochum
Entstanden
- 2023
Ähnliche Objekte (12)
Correct Compilation of Relaxed Memory Concurrency
Trace-Relating Compiler Correctness and Secure Compilation
A general framework for formal notions of "secure" systems
Compilation for More Practical Secure Multi-Party Computation
Correctness-by-construction for correct and secure software systems
Correctness-by-Construction for Correct and Secure Software Systems
Engineering of Reliable and Secure Software via Customizable Integrated Compilation Systems
Generation of correct compiler parts from formal language descriptions
Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verification
Compilation
Compilation
Correct
Correct Compilation of Relaxed Memory Concurrency
Trace-Relating Compiler Correctness and Secure Compilation
A general framework for formal notions of "secure" systems
Compilation for More Practical Secure Multi-Party Computation
Correctness-by-construction for correct and secure software systems
Correctness-by-Construction for Correct and Secure Software Systems
Engineering of Reliable and Secure Software via Customizable Integrated Compilation Systems
Generation of correct compiler parts from formal language descriptions
Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verification
Compilation
Compilation
Correct
Correct Compilation of Relaxed Memory Concurrency
Trace-Relating Compiler Correctness and Secure Compilation
A general framework for formal notions of "secure" systems
Compilation for More Practical Secure Multi-Party Computation
Correctness-by-construction for correct and secure software systems
Correctness-by-Construction for Correct and Secure Software Systems
Engineering of Reliable and Secure Software via Customizable Integrated Compilation Systems
Generation of correct compiler parts from formal language descriptions
Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verification
Compilation
Compilation