On Adversary Models and Compositional Security - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar. On Adversary Models and Compositional Security. IEEE Security & Privacy, 9(3):26-32, 2011. [doi]

The following publications are possibly variants of this publication:

Compositional System Security with Interface-Confined AdversariesDeepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta. ENTCS, 265:49-71, 2010. [doi]

Compositional Security Definitions for Higher-Order Where DeclassificationMenz, Jan, Hirsch, Andrew K., Li, Peixuan, Garg, Deepak. Proc. ACM Program. Lang., 7(OOPSLA1), apr 2023. [doi]

runs on WebDSL