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.

 

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

Civitas: Toward a Secure Voting System., , и . SP, стр. 354-368. IEEE Computer Society, (2008)A Hardware Design Language for Timing-Sensitive Information-Flow Security., , , и . ASPLOS, стр. 503-516. ACM, (2015)Fabric: a platform for secure distributed computation and storage., , , , , и . SOSP, стр. 321-334. ACM, (2009)Secure Information Flow Verification with Mutable Dependent Types., , , и . DAC, стр. 6:1-6:6. ACM, (2017)Security policies for downgrading., и . CCS, стр. 198-209. ACM, (2004)Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency., , , , и . ACM Conference on Computer and Communications Security, стр. 229-241. ACM, (2016)Polyglot: An Extensible Compiler Framework for Java., , и . CC, том 2622 из Lecture Notes in Computer Science, стр. 138-152. Springer, (2003)Untrusted Hosts and Confidentiality: Secure Program Partitioning., , , и . SOSP, стр. 1-14. ACM, (2001)Operating System Review 35(5).Secure Information Flow via Linear Continuations., и . High. Order Symb. Comput., 15 (2-3): 209-234 (2002)Dynamic security labels and static information flow control., и . Int. J. Inf. Sec., 6 (2-3): 67-84 (2007)