Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated Trust Analysis of Copland Specifications for Layered Attestations✱., , and . PPDP, page 23:1-23:15. ACM, (2021)Security Goals and Evolving Standards., , and . SSR, volume 8893 of Lecture Notes in Computer Science, page 93-110. Springer, (2014)Collaborative Planning with Confidentiality., , and . J. Autom. Reason., 46 (3-4): 389-421 (2011)Collaborative Planning With Privacy., , and . CSF, page 265-278. IEEE Computer Society, (2007)Policy Compliance in Collaborative Systems., , and . CSF, page 218-233. IEEE Computer Society, (2009)A Cut Principle for Information Flow., and . CSF, page 107-121. IEEE Computer Society, (2015)Confining Adversary Actions via Measurement.. GraMSec@CSF, volume 9987 of Lecture Notes in Computer Science, page 150-166. Springer, (2016)Bundling Evidence for Layered Attestation.. TRUST, volume 9824 of Lecture Notes in Computer Science, page 119-139. Springer, (2016)A Hybrid Analysis for Security Protocols with State., , , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 272-287. Springer, (2014)Mission-focused cyber situational understanding via graph analytics., , , , , and . CyCon, page 427-448. IEEE, (2018)