- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Bochum, Ruhr-Universität Bochum, Dissertation, 2022
- Keyword
-
Formale Methode
Compiler
Übersetzerbau
Programmierparadigma
Formale Methode
Compiler
Computersicherheit
Korrektheit
- Event
-
Veröffentlichung
- (where)
-
Bochum
- (who)
-
Ruhr-Universität Bochum
- (when)
-
2023
- Creator
- Contributor
-
Hriţcu, Cătălin
Paar, Christof
Fakultät für Informatik
- URN
-
urn:nbn:de:hbz:294-98703
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Abate, Carmine
- Hriţcu, Cătălin
- Paar, Christof
- Fakultät für Informatik
- Ruhr-Universität Bochum
Time of origin
- 2023
Other Objects (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
Compilation
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
Compilation
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