Funder
NSF MACS
NSF CyberTrust
DFG
NWO bilateral cooperation
NSF
DARPA
AFOSR MURI
MURI AFOSR
USAF
AFRL
US Army Research Office
Belgian National Fund for Scientific Research
European Project CON4COORD
Italian PRIN Project SOFT
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Brief Announcement: Probabilistic Dynamic Input/Output Automata;Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing;2022-07-20
2. Brief Announcement: Composable Dynamic Secure Emulation;Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures;2022-07-11
3. Universally Composable Security;Journal of the ACM;2020-10-31
4. Trace Equivalence and Epistemic Logic to Express Security Properties;Formal Techniques for Distributed Objects, Components, and Systems;2020
5. Components in Probabilistic Systems: Suitable by Construction;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020