Author of the publication

Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability).

, , , , and . PRDC, page 112-121. IEEE Computer Society, (2008)

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

Construction of a Highly Dependable Operating System., , , , and . EDCC, page 3-12. IEEE Computer Society, (2006)Fault isolation for device drivers., , , , and . DSN, page 33-42. IEEE Computer Society, (2009)Disallowing Unauthorized State Changes of Distributed Shared Objects., , , and . SEC, volume 175 of IFIP Conference Proceedings, page 381-390. Kluwer, (2000)Paranoid Android: versatile protection for smartphones., , , and . ACSAC, page 347-356. ACM, (2010)Reorganizing UNIX for Reliability., , , , and . Asia-Pacific Computer Systems Architecture Conference, volume 4186 of Lecture Notes in Computer Science, page 81-94. Springer, (2006)Roadmap to a Failure-Resilient Operating System., , , , and . login Usenix Mag., (2007)Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)., , , , and . PRDC, page 112-121. IEEE Computer Society, (2008)A Security Design for a Wide-Area Distributed System., , , , and . ICISC, volume 1787 of Lecture Notes in Computer Science, page 236-256. Springer, (1999)From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems., , , , , , and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 244-260. Springer, (2013)Modular System Programming in MINIX 3., , , , and . login Usenix Mag., (2006)