{"id":2548,"date":"2014-06-16T15:09:30","date_gmt":"2014-06-16T15:09:30","guid":{"rendered":"http:\/\/blog.bachi.net\/?p=2548"},"modified":"2014-07-11T14:38:41","modified_gmt":"2014-07-11T14:38:41","slug":"person-dossier","status":"publish","type":"post","link":"https:\/\/blog.bachi.net\/?p=2548","title":{"rendered":"Person Dossier"},"content":{"rendered":"

Alexey V. Khoroshilov<\/h4>\n

OSADL
\nPetr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
\nInstitute for System Programming (ISP) of the Russian Academy of Sciences (RAS)<\/a>
\nFormal Verification of OS Security Model with Alloy and Event-B<\/a>
\nLinkedIn: Alexey Khoroshilov<\/a>
\ndblp: computer science bibliography<\/a>
\nUniTESK at Embedded World 2014<\/a>
\nLinuxTesting Slides of our talks at LinuxCon Europe 2011<\/a><\/p>\n

Dmitri Kasakow<\/h4>\n

VK: Dmitri Kasakow<\/a>
\nStaatliche Technische Universit\u00e4t Moskau (MSTU)<\/a>
\nBlogSpot: dimula73<\/a>
\nlaunchpad: dimula73<\/a>
\ngithub: dimula73<\/a>
\nKickstarker: Krita<\/a><\/p>\n

Nicolas Voirol<\/h4>\n

Facebook<\/a>
\nLinkedIn<\/a><\/p>\n

Julien Griessen<\/h4>\n

Facebook<\/a><\/p>\n

Boris Guerdat<\/h4>\n

Facebook<\/a><\/p>\n

S\u00e9bastien Grau<\/h4>\n

Facebook<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Alexey V. Khoroshilov OSADL Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov Institute for System Programming (ISP) of the Russian Academy of Sciences (RAS) Formal Verification of OS Security Model with Alloy and Event-B LinkedIn: Alexey Khoroshilov dblp: computer science bibliography UniTESK at Embedded World 2014 LinuxTesting Slides […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-2548","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/posts\/2548","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2548"}],"version-history":[{"count":7,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/posts\/2548\/revisions"}],"predecessor-version":[{"id":2631,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=\/wp\/v2\/posts\/2548\/revisions\/2631"}],"wp:attachment":[{"href":"https:\/\/blog.bachi.net\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2548"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2548"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.bachi.net\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2548"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}