- 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
-
25.03.2025, 1:44 PM CET
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
A general framework for formal notions of "secure" systems
Trace-Relating Compiler Correctness and Secure Compilation
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
Secure computing with the MPEG RVC framework
Secure Computing with the MPEG RVC Framework
A Multilayer Secure Framework for Vehicular Systems
Generation of correct compiler parts from formal language descriptions
Correct
Correct Compilation of Relaxed Memory Concurrency
A general framework for formal notions of "secure" systems
Trace-Relating Compiler Correctness and Secure Compilation
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
Secure computing with the MPEG RVC framework
Secure Computing with the MPEG RVC Framework
A Multilayer Secure Framework for Vehicular Systems
Generation of correct compiler parts from formal language descriptions
Correct
Correct Compilation of Relaxed Memory Concurrency
A general framework for formal notions of "secure" systems
Trace-Relating Compiler Correctness and Secure Compilation
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
Secure computing with the MPEG RVC framework
Secure Computing with the MPEG RVC Framework
A Multilayer Secure Framework for Vehicular Systems
Generation of correct compiler parts from formal language descriptions