Verfasser Suchresultate :: Subito Katalog

1

Composition and declassification in possibilistic information flow security

von Bauereiß, Thomas
Veröffentlicht 2019

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

von Bauereiss, Thomas
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: