From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Secure web applications via automatic partitioning, , , , , , и . SIGOPS Oper. Syst. Rev., (октября 2007)Correct Audit Logging: Theory and Practice., , и . POST, том 9635 из Lecture Notes in Computer Science, стр. 139-162. Springer, (2016)Whip: higher-order contracts for modern services., , и . Proc. ACM Program. Lang., 1 (ICFP): 36:1-36:28 (2017)Civitas: A Secure Remote Voting System., , и . Frontiers of Electronic Voting, том 07311 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Coupled Relational Symbolic Execution for Differential Privacy., , и . ESOP, том 12648 из Lecture Notes in Computer Science, стр. 207-233. Springer, (2021)Language-Based Information Erasure., и . CSFW, стр. 241-254. IEEE Computer Society, (2005)Static Analysis for Efficient Hybrid Information-Flow Control., и . CSF, стр. 146-160. IEEE Computer Society, (2011)Required Information Release.. CSF, стр. 215-227. IEEE Computer Society, (2010)Enforcing Language Semantics Using Proof-Carrying Data., , и . IACR Cryptology ePrint Archive, (2013)Asynchronous functional reactive programming for GUIs., и . PLDI, стр. 411-422. ACM, (2013)