Author:
Arden Owen,Liu Jed,Myers Andrew C.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Flow-limited authorization for consensus, replication, and secret sharing1;Journal of Computer Security;2023-10-13
2. Owl: Compositional Verification of Security Protocols via an Information-Flow Type System;2023 IEEE Symposium on Security and Privacy (SP);2023-05
3. Towards a General-Purpose Dynamic Information Flow Policy;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08
4. Applying consensus and replication securely with FLAQR;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08
5. Viaduct: an extensible, optimizing compiler for secure distributed programs;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18