Verfasser Suchresultate :: Subito Katalog

1

SNITCH: A Platform for Information Flow Control

von Geraldo, Eduardo
Veröffentlicht in iFM (17. : 2022 : Lugano) Integrated formal methods (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Hybrid Information Flow Control for Low-Level Code

von Geraldo, Eduardo
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: