Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Stroucken, Michael"'
This document is the technical appendix for the following paper: L. Bauer, S. Cai, L. Jia, T. Passaro, M. Stroucken, and Y. Tian. Run-time monitoring and formal analysis of information flows in Chromium. In Proceedings of the 22nd Annual Network & Di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7755fee640a1573859dce44ed1fe44eb
Autor:
Jia, Limin, Aljuraidan, Jassim, Fragkaki, Elli, Bauer, Lujo, Stroucken, Michael, Fukushima, Kazuhide, Kiyomoto, Shinsaku, Miyake, Yutaka
Publikováno v:
Computer Security - ESORICS 2013; 2013, p775-792, 18p
Autor:
Kozuch, Michael A., Ryan, Michael P., Gass, Richard, Schlosser, Steven W., O'Hallaron, David, Cipar, James, Krevat, Elie, López, Julio, Stroucken, Michael, Ganger, Gregory R.
Publikováno v:
Proceedings of the 1st Workshop: Automated Control for Datacenters & Clouds; 6/19/2009, p43-48, 6p