Autor der Publikation

It's My Privilege: Controlling Downgrading in DC-Labels.

, , , , und . STM, Volume 9331 von Lecture Notes in Computer Science, Seite 203-219. Springer, (2015)

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

Secure web applications via automatic partitioning, , , , , , und . SIGOPS Oper. Syst. Rev., (Oktober 2007)Language-Based Information Erasure., und . CSFW, Seite 241-254. IEEE Computer Society, (2005)Static Analysis for Efficient Hybrid Information-Flow Control., und . CSF, Seite 146-160. IEEE Computer Society, (2011)Required Information Release.. CSF, Seite 215-227. IEEE Computer Society, (2010)Coupled Relational Symbolic Execution for Differential Privacy., , und . ESOP, Volume 12648 von Lecture Notes in Computer Science, Seite 207-233. Springer, (2021)Correct Audit Logging: Theory and Practice., , und . POST, Volume 9635 von Lecture Notes in Computer Science, Seite 139-162. Springer, (2016)Whip: higher-order contracts for modern services., , und . Proc. ACM Program. Lang., 1 (ICFP): 36:1-36:28 (2017)Civitas: A Secure Remote Voting System., , und . Frontiers of Electronic Voting, Volume 07311 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Security policies for downgrading., und . CCS, Seite 198-209. ACM, (2004)Asynchronous functional reactive programming for GUIs., und . PLDI, Seite 411-422. ACM, (2013)