Autor der Publikation

Sharing Mobile Code Securely with Information Flow Control.

, , , , , und . IEEE Symposium on Security and Privacy, Seite 191-205. IEEE Computer Society, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Language-Based Approach to Secure Quorum Replication., und . PLAS@ECOOP, Seite 27. ACM, (2014)Security-Typed Languages and Distributed Computation.. SAS, Volume 2126 von Lecture Notes in Computer Science, Seite 437-438. Springer, (2001)Defining and Enforcing Referential Security., und . POST, Volume 8414 von Lecture Notes in Computer Science, Seite 199-219. Springer, (2014)HAC: Hybrid Adaptive Caching for Distributed Storage Systems., , , und . SOSP, Seite 102-115. ACM, (1997)Operating System Review 31(5).Using Information Flow to Design an ISA that Controls Timing Channels., , und . CSF, Seite 272-287. IEEE, (2019)A Web of Blocks., , , und . CoRR, (2018)A Compiler from Array Programs to Vectorized Homomorphic Encryption., und . CoRR, (2023)Quantifying information flow with beliefs., , und . Journal of Computer Security, 17 (5): 655-701 (2009)Handling bidirectional control flow., , und . Proc. ACM Program. Lang., 4 (OOPSLA): 139:1-139:30 (2020)Masked types for sound object initialization., und . POPL, Seite 53-65. ACM, (2009)