{"id":4,"date":"2011-12-08T11:55:34","date_gmt":"2011-12-08T11:55:34","guid":{"rendered":"http:\/\/project.inria.fr\/template1\/?page_id=4"},"modified":"2017-04-18T17:10:03","modified_gmt":"2017-04-18T15:10:03","slug":"home","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/hyleak\/","title":{"rendered":"On HyLeak"},"content":{"rendered":"<p>HyLeak takes as input a program written in a simple <a href=\"https:\/\/project.inria.fr\/hyleak\/language\/\">imperative language<\/a> (a slight extension of the input language used in the <a href=\"https:\/\/project.inria.fr\/quail\/\">QUAIL<\/a> tool) and computes its Shannon leakage, i.e., the mutual information between the variables defined as <em>secrets<\/em> and those as<em> observable outputs<\/em> in the given program.<\/p>\n<p>Following the theoretical results in <a href=\"http:\/\/people.rennes.inria.fr\/Fabrizio.Biondi\/papers\/fm16.pdf\">Kawamoto et al.<\/a>, HyLeak divides the input program into (terminal) components and decides for each of them whether to analyze it using precise or statistical analysis, by applying heuristics that evaluate the analysis cost of each component.<br \/>\nThen, HyLeak composes the analysis results of all components into an approximate joint probability distribution of the secret and observable variables in the program. Finally, the tool estimates the Shannon leakage and its confidence interval.<\/p>\n<h1><span style=\"color: #e33729;\">People<\/span><\/h1>\n<p>HyLeak is the result of a collaboration between <a href=\"http:\/\/www.centralesupelec.fr\/\">CentraleSupelec<\/a> Rennes, <a href=\"http:\/\/www.aist.go.jp\/\">AIST <\/a>Tsukuba, and <a href=\"http:\/\/www.inria.fr\/centre\/rennes\">INRIA<\/a> Rennes. The people currently working on the tool are:<\/p>\n<ul>\n<li><a href=\"http:\/\/people.rennes.inria.fr\/Fabrizio.Biondi\/\">Fabrizio Biondi<\/a> is a Chair of Threat Analysis at <a href=\"http:\/\/www.centralesupelec.fr\/\">CentraleSupelec<\/a> Rennes and developer of the project.<\/li>\n<li><a href=\"https:\/\/staff.aist.go.jp\/yusuke.kawamoto\/\">Yusuke Kawamoto<\/a> is a research scientist at <a href=\"http:\/\/www.aist.go.jp\/\">AIST<\/a> Tsukuba and developer of the project.<\/li>\n<li><a href=\"http:\/\/people.irisa.fr\/Axel.Legay\/\">Axel Legay<\/a> is the leader of the <a href=\"https:\/\/team.inria.fr\/tamis\/\">TAMIS team<\/a>\u00a0 at <a href=\"http:\/\/www.inria.fr\/centre\/rennes\">INRIA<\/a> Rennes and supervisor of the project.<\/li>\n<li><a href=\"http:\/\/people.rennes.inria.fr\/Louis-Marie.Traonouez\">Louis-Marie Traonouez<\/a> is a research engineer at <a href=\"http:\/\/www.inria.fr\/centre\/rennes\">INRIA<\/a> Rennes and developer of the project.<\/li>\n<\/ul>\n<p><\/p>","protected":false},"excerpt":{"rendered":"<p>HyLeak takes as input a program written in a simple imperative language (a slight extension of the input language used in the QUAIL tool) and computes its Shannon leakage, i.e., the mutual information between the variables defined as secrets and those as observable outputs in the given program. Following the\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/hyleak\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-4","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages\/4","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/comments?post=4"}],"version-history":[{"count":12,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages\/4\/revisions"}],"predecessor-version":[{"id":148,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages\/4\/revisions\/148"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/media?parent=4"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}