{"id":84,"date":"2016-07-27T18:25:41","date_gmt":"2016-07-27T16:25:41","guid":{"rendered":"http:\/\/project.inria.fr\/workshopfrenshjapanese\/?page_id=84"},"modified":"2016-09-22T15:43:33","modified_gmt":"2016-09-22T13:43:33","slug":"scientific-program","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/workshopfrenshjapanese\/scientific-program\/","title":{"rendered":"SCIENTIFIC PROGRAM"},"content":{"rendered":"<h3 style=\"text-align: center;\"><span style=\"color: #333333;\">Rennes Inria Bretagne Atlantique and Bcom<\/span><\/h3>\n<h5><span style=\"color: #003366;\">Wednesday, September 21<\/span><\/h5>\n<h6><span style=\"color: #333333; font-size: 16px;\">LOCATION Inria-RBA Amphith\u00e9atre<\/span><\/h6>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">12:00_12:30<\/span><\/span>&#8211; Visit of the LHS-PEC<\/p>\n<ul>\n<li>FAUSTINE demo, retrieving AES key in an IoT using EM fault injection<\/li>\n<li>EMA demo, retrieving a PIN code using template attack<\/li>\n<li>Malware&#8217;o&#8217;Matic, a platform to classify and test ransomware automatically<\/li>\n<\/ul>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">12:30_14:00 &#8211;<\/span> <span style=\"color: #000000;\">Registration &amp; <\/span><\/span>Welcome buffet<\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">14:00 &#8211;<\/span><span style=\"color: #000000;\"> Introductory session<\/span><\/span><\/p>\n<ul>\n<li><span style=\"color: #000000;\">St\u00e9phane Ub\u00e9da (Director of INRIA-RBA)<\/span><\/li>\n<li><span style=\"color: #000000;\">Jean Marc Jezequel\u00a0 (Director of IRISA) <\/span><\/li>\n<li><span style=\"color: #000000;\">Koji Nakao: NICT <\/span><\/li>\n<li><span style=\"color: #000000;\">Claude Kirchner : Inria<\/span><\/li>\n<\/ul>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">14:30_15:30 &#8211;<\/span> Presentation of the 7 WG<\/span><\/p>\n<ul>\n<li>WG1 <em>Formal method<\/em>, by Palamidessi Catuscia and Okada Mitsuhiro<\/li>\n<li>WG2 <em>Cryptography<\/em>, by Nguyen Phong and Shiho Moriai (NICT)<\/li>\n<li>WG3 <em>Events and Malware Analysis<\/em> by Marion Jean-Yves (Universit\u00e9 de Lorraine) and Dai Inoue (NICT)<\/li>\n<li>WG4<em> System Security and IoT security,<\/em> by Jean-Louis Lanet (INRIA) and Shinsaku Kiyomoto (KDDI labs.)<\/li>\n<li>WG5 <em>Privacy<\/em>, Gambs S\u00e9bastien (UQAM) and Hiro Kikuchi (Meiji Univ.)<\/li>\n<li>WG6<em> ICS\/ITS<\/em> Security, Koji Nakao (NICT) and Asia Tria (CEA)<\/li>\n<li>WG7 <em>Network Security<\/em>, Thomas Silverston (NICT) and\u00a0 Shin Miyakawa (NTT)<\/li>\n<\/ul>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">15:30_16:00 &#8211;<\/span> <span style=\"color: #000000;\">Break: Coffee &#8211; Tea<\/span><\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">16:00 &#8211;<\/span> <span style=\"color: #000000;\">Industrial session<\/span><\/span><\/p>\n<ul>\n<li>Roberto Di Pietro, Nokia-Bell Labs, <em>Future-X security: a Bell Labs perspective<\/em>.<\/li>\n<li>Loic Gu\u00e9zo, Trend Micro, <em>Pragmatic approach for Protection of Industrial System<\/em><\/li>\n<li>Damien Nogues, Thales,<em> Genetic learning for malware detection<br \/>\n<\/em><\/li>\n<\/ul>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">17:30 &#8211;<\/span> E<span style=\"color: #000000;\">nd<br \/>\n<\/span><\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">18:00 &#8211;<\/span> <span style=\"color: #000000;\">Cocktail at Rennes town hall\u00a0<\/span><\/span><\/p>\n<hr \/>\n<hr \/>\n<h5><span style=\"color: #003366;\">Thursday, September 22<\/span><\/h5>\n<h6><span style=\"color: #333333;\"> Location: B-COM, two rooms for parallel sessions<\/span><\/h6>\n<p><span style=\"color: #000000;\">9<span style=\"color: #333333;\"><span style=\"color: #333399;\">:00_9:15 <\/span><\/span>Introduction by Ludovic Noblet,\u00a0 HyperMedia Manager B&lt;&gt; com<br \/>\n<\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">09:15 &#8211;<\/span> Room 1-B-9 <span style=\"color: #000000;\">Invited talk: <em>Protecting Transport Layer Security from Downgrade\u00a0<\/em><\/span><\/span><span style=\"color: #000000;\"><em>Attacks,<\/em>\u00a0 Karthikeyan Bhargavan, Inria.<\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">10:15_10:30 &#8211;<\/span> <span style=\"color: #000000;\">Break: Coffee &#8211; Tea<\/span><\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">10:30_11:30 &#8211;<\/span> <span style=\"color: #000000;\">Working groups meetings <\/span><\/span><span style=\"color: #000000;\">session 1<br \/>\n<\/span><\/p>\n<ul>\n<li><span style=\"color: #000000;\">Room 1-B-8 : System Security and IoT security<\/span>\n<ul>\n<li>Vulnerability analysis and tools for low level software (Sylvain Guilley)<\/li>\n<li>Research Topics on Software Security, (Shinsaku Kiyomoto)<\/li>\n<\/ul>\n<\/li>\n<li><span style=\"color: green;\">Room 1-B-9 : Reserved for discussion if needed<br \/>\n<\/span><\/li>\n<li><span style=\"color: #000000;\">Room 1-B-10 : ICS\/ITS Security\u00a0 <\/span>\n<ul>\n<li>Cyber physical security, (Assia Tria)<\/li>\n<li>ITS security and its software update (Koji Nakao)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">11:30 -12:30<\/span> <span style=\"color: #000000;\">Working groups meetings <\/span><\/span><span style=\"color: #000000;\">session 2<br \/>\n<\/span><\/p>\n<ul>\n<li><span style=\"color: #000000;\">Room 1-B-8 :\u00a0 <\/span><span style=\"color: #000000;\"><span style=\"color: #000000;\">System Security and IoT security <\/span><\/span>\n<ul>\n<li><span style=\"color: #000000;\">Prof. Katsunari Yoshioka (Yokohama National Univ \/ NICT) : IoT Security<br \/>\n<\/span><\/li>\n<li>H\u00e9l\u00e8ne Le Bouder &amp; Ronan Lashermes (INRIA-RBA): Template attack against PIN code<\/li>\n<li>Discussion on future actions in the WG<\/li>\n<\/ul>\n<\/li>\n<li><span style=\"color: #000000;\">Room 1-B-9 : Privacy\u00a0 <\/span>\n<ul>\n<li>Hiromi Arai (U. of Tokyo), Quantifying privacy in genomic test results<\/li>\n<li>Benjamin Nguyen (INSA CVL), The Minimum Exposure project : limiting data collection in online forms<\/li>\n<\/ul>\n<\/li>\n<li><span style=\"color: #000000;\"><span style=\"color: #000000;\">Room 1-B-10 :\u00a0ICS\/ITS Security\u00a0 <\/span><\/span>\n<ul>\n<li>ICS security and Zwave security and vulnerabilities (Loic Rouch)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">12:30 &#8211;<\/span> <span style=\"color: #000000;\">Lunch<\/span><\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">14:00-17:00 &#8211;<\/span> <span style=\"color: #000000;\">Working groups meetings <\/span><\/span><span style=\"color: #000000;\">session 3<br \/>\n<\/span><\/p>\n<ul>\n<li><span style=\"color: #000000;\">Room 1-B-8 :\u00a0 Privacy\u00a0 14:00 16:00<br \/>\n<\/span><\/p>\n<ul>\n<li>Dominique Le Hello (Orange Labs), ADAGE: Anonymous mobile traffic DAta GEneration<\/li>\n<li>Hiroaki Kikuchi (Meiji U.), Data anonymization competition<\/li>\n<li>Sebastien Gambs (UQAM), The many faces of anonymization<\/li>\n<\/ul>\n<\/li>\n<li><span style=\"color: red; font-size: medium;\"> Room 1-B-8 : <\/span><span style=\"color: red; font-size: medium;\">Privacy <\/span><span style=\"color: red; font-size: medium;\">16:00 17:00<\/span>\n<ul>\n<li><span style=\"color: red; font-size: medium;\">Private discussion of the working group<\/span><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li><span style=\"color: #000000;\">Room 1-B-9 : Formal Methods<\/span>\n<ul>\n<li><u><a href=\"http:\/\/www.lix.polytechnique.fr\/%7Ecatuscia\/\">Catuscia Palamidessi<\/a><\/u>,<em>Verification of differential privacy in concurrent systems <\/em><\/li>\n<li>Gergei Bana and Mitsuhiro Okada, Symbolic Verification of Complexity-Theoretic Properties of Protocols and Attack Discovery Using First Order Logic<\/li>\n<li>Kostas Chatzikokolakis, Axioms for Information Leakage<\/li>\n<li>Yusuke Kawamoto, <em>Quantification of information leakage by statistical method combined with program analysis<\/em><span style=\"color: #000000;\"><br \/>\n<\/span><\/li>\n<\/ul>\n<\/li>\n<li><span style=\"color: #000000;\"><span style=\"color: #000000;\">Room 1-B-10 : Events and \u00a0Malware Analysis (con&#8217;t)<\/span><\/span>\n<ul>\n<li>Dr. Daisuke Inoue (NICT) : <em>NICTER and its spin-off technologies<\/em><\/li>\n<li>Aur\u00e9lien Palisse &amp; Jean-Louris Lanet (INRIA-RBA) : Malware&#8217;o&#8217;matic platform.<\/li>\n<li>Dr. Takahiro Kasama (NICT) : <em>Evasive Malware<\/em><\/li>\n<li>Jean-Yves Marion (Universit\u00e9 de Lorraine &amp; IUF, LORIA ) : A morphological approach to binary code analysis,<span style=\"color: #000000;\"><br \/>\n<\/span><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">17:00 &#8211;<\/span> <span style=\"color: #000000;\">\u00a0End of sessions<\/span><\/span><\/p>\n<p><span style=\"color: #000000;\">Visit of the show room and demo<\/span><\/p>\n<ul>\n<li>Secure IC: Analyzer \/ Virtualyzer \/ Catalyzer: a suite of tools to analyse security weaknesses<\/li>\n<li>b&lt;&gt;com : Traitor tracing to fight content piracy<\/li>\n<li>b&lt;&gt;com : Prevention of phishing using browser fingerprinting<\/li>\n<\/ul>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">18:00 &#8211;<\/span> <span style=\"color: #000000;\">End of the day<\/span><\/span><\/p>\n<p><span style=\"color: #000000;\">Workshop Dinner in Rennes at <strong>La taverne de la Marine<\/strong><br \/>\n<\/span><\/p>\n<hr \/>\n<hr \/>\n<h5><span style=\"color: #003366;\">Friday, September 23<\/span><\/h5>\n<h6><span style=\"color: #333333;\"> Location INRIA-RBA Amphith\u00e9atre<\/span><\/h6>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">08:45 -09:15\u00a0<em><span style=\"color: #000000;\">Presentation of the CSA proposal and of H2020-Japan funding\u00a0<\/span><\/em><span style=\"color: #000000;\"><em>opportunities<\/em> H\u00e9l\u00e8ne Kirchner and Marie-H\u00e9l\u00e8ne Pautrat<\/span><\/span> <\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #000000;\"><span style=\"color: #333399;\">09:15_10:45 <\/span>Security researches presented by PEC actors (Pole d&#8217;Excellence\u00a0<\/span><\/span><span style=\"color: #000000;\">Cyber) Chair Axel Legay<br \/>\n<\/span><\/p>\n<ul>\n<li>Fabrizio Biondi,\u00a0 <em>Effectiveness of Synthesis in Concolic Deobfuscation<\/em> Tamis Team<\/li>\n<li>Cristina Onete, <em>Secure two-party key-exchange proxied by a third party: how protocols fail in practice<\/em>, Emsec Team<\/li>\n<li>Pascal Cotret, <em><em>HardBlare: <\/em>Hardware Design for Tag-Based Security Monitors<\/em>, IETR<\/li>\n<\/ul>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">10:45_11:00 &#8211;<\/span> <span style=\"color: #000000;\">Break: Coffee &#8211; Tea<\/span><\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">11:00_11:30 &#8211;<span style=\"color: #000000;\">Invited talk: Keiji Takeda <em>R<\/em><\/span><em>esearch Activities on Cybersecurity in Keio<\/em><\/span> <\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">11:30_12:00 &#8211;<\/span>\u00a0<span style=\"color: #000000;\">Summary of WG previous day discussions and projects<\/span><\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">12:00_12:15 &#8211;<\/span>\u00a0<span style=\"color: #000000;\">Final session including global decisions for future actions<\/span><\/span><\/p>\n<p><span style=\"color: #333333;\"><span style=\"color: #333399;\">12:15_13:30 <\/span><\/span>Departure Buffet<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Rennes Inria Bretagne Atlantique and Bcom Wednesday, September 21 LOCATION Inria-RBA Amphith\u00e9atre 12:00_12:30&#8211; Visit of the LHS-PEC FAUSTINE demo, retrieving AES key in an IoT using EM fault injection EMA demo, retrieving a PIN code using template attack Malware&#8217;o&#8217;Matic, a platform to classify and test ransomware automatically 12:30_14:00 &#8211; Registration\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/workshopfrenshjapanese\/scientific-program\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":963,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":"","_members_access_role":[],"_members_access_error":""},"class_list":["post-84","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/workshopfrenshjapanese\/wp-json\/wp\/v2\/pages\/84","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/workshopfrenshjapanese\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/workshopfrenshjapanese\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/workshopfrenshjapanese\/wp-json\/wp\/v2\/users\/963"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/workshopfrenshjapanese\/wp-json\/wp\/v2\/comments?post=84"}],"version-history":[{"count":83,"href":"https:\/\/project.inria.fr\/workshopfrenshjapanese\/wp-json\/wp\/v2\/pages\/84\/revisions"}],"predecessor-version":[{"id":219,"href":"https:\/\/project.inria.fr\/workshopfrenshjapanese\/wp-json\/wp\/v2\/pages\/84\/revisions\/219"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/workshopfrenshjapanese\/wp-json\/wp\/v2\/media?parent=84"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}