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.

 

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

Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency., , , , и . ACM Conference on Computer and Communications Security, стр. 229-241. ACM, (2016)Fabric: Building open distributed systems securely by construction., , , и . J. Comput. Secur., 25 (4-5): 367-426 (2017)Avenir: Managing Data Plane Diversity with Control Plane Synthesis., , , , , , , , , и . NSDI, стр. 133-153. USENIX Association, (2021)Fabric: a platform for secure distributed computation and storage., , , , , и . SOSP, стр. 321-334. ACM, (2009)P4Testgen: An Extensible Test Oracle For P4-16., , , , , , , , , и . SIGCOMM, стр. 136-151. ACM, (2023)Defining and Enforcing Referential Security., и . POST, том 8414 из Lecture Notes in Computer Science, стр. 199-219. Springer, (2014)P4Testgen: An Extensible Test Oracle For P4., , , , , , , , и . CoRR, (2022)Interruptible iterators., , и . POPL, стр. 283-294. ACM, (2006)JMatch: Iterable Abstract Pattern Matching for Java., и . PADL, том 2562 из Lecture Notes in Computer Science, стр. 110-127. Springer, (2003)Secure web applications via automatic partitioning, , , , , , и . SIGOPS Oper. Syst. Rev., (октября 2007)