Author of the publication

Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS.

, and . SEC, volume 428 of IFIP Advances in Information and Communication Technology, page 250-263. Springer, (2014)

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

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees., , , and . IEEE Symposium on Security and Privacy, page 729-748. IEEE Computer Society, (2017)CoSMed: A Confidentiality-Verified Social Media Platform., , , and . ITP, volume 9807 of Lecture Notes in Computer Science, page 87-106. Springer, (2016)Possibilistic Information Flow Control for Workflow Management Systems., and . GraMSec, volume 148 of EPTCS, page 47-62. (2014)Static Preference Models for Options with Dynamic Extent., , and . KI, volume 6359 of Lecture Notes in Computer Science, page 99-106. Springer, (2010)Security (Hyper-)properties in Workflow Systems: From Specification to Verification., and . ESSoS Doctoral Symposium, volume 1298 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)Selective LDAP Multi-Master Replication., , , and . Open Identity Summit, volume P-223 of LNI, page 94-105. GI, (2013)ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS., , , , , , , , , and 4 other author(s). Proc. ACM Program. Lang., 3 (POPL): 71:1-71:31 (2019)Information flow control for workflow management systems., and . it - Information Technology, 56 (6): 294-299 (2014)Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS., and . SEC, volume 428 of IFIP Advances in Information and Communication Technology, page 250-263. Springer, (2014)