<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <p>Emmanuel, Thomas:<br>
    </p>
    <p>Thanks for the links! I was very interested to see Thomas's
      slides on OpenWSN "fresh" [1]. It would be valuable to have a
      6TiSCH implementation in RIOT. Are there any more details
      available on this project?<br>
    </p>
    <p>Thanks,<br>
      Ken</p>
    <p><a class="moz-txt-link-freetext" href="http://riot-os.org/files/RIOT-Seminar-2017/RIOT-Spring-Seminar-Watteyne.pdf">http://riot-os.org/files/RIOT-Seminar-2017/RIOT-Spring-Seminar-Watteyne.pdf</a><br>
    </p>
    <br>
    <div class="moz-cite-prefix">On 04/28/2017 06:26 AM, Emmanuel
      Baccelli wrote:<br>
    </div>
    <blockquote
cite="mid:CANK0pbZuRczSU7b2mce4mwkgRtQALgEhuTYNeRpHWOtrM-zpKA@mail.gmail.com"
      type="cite">
      <div dir="ltr">Hi everyone, 
        <div><br>
        </div>
        <div>there was a seminar organized earlier this month in Paris.
          The goal of that seminar was to gather various research teams
          working (or considering to work) around RIOT at Inria.</div>
        <div><br>
        </div>
        <div>The agenda + slides are available at <a
            moz-do-not-send="true"
            href="http://riot-os.org/seminar-2017.html">http://riot-os.org/seminar-2017.html</a></div>
        <div><br>
        </div>
        <div>Some synopsis/highlights below:</div>
        <div><br>
        </div>
        <div>- Securing IoT is important now. (see slides from C.
          Bormann)<br>
        </div>
        <div>
          <div>- Formally verified open source IoT software is desirable
            and some is already available today (see slides from K.
            Bhargavan)</div>
          <div>- Public key crypto is the hardest part of IoT crypto,
            but significant performance improvements are on the horizon
            (see slides from B. Smith)</div>
        </div>
        <div>- Industrial IoT deployments are already happening. (see
          slides from T. Watteyne)<br>
        </div>
        <div>- Object security, and content-centric networking can be
          used for security. (see slides from M. Enguehard)<br>
        </div>
        <div>- Need public experimental infrastructure & open data
          for IoT. (see slides from E. Fleury)</div>
        <div>
          <div>- Large open source project need tools/languages to (i)
            flexibly express how code should be and (ii) automate code
            transformation (see slides from J. Lawall)</div>
        </div>
        <div>
          <div>- OS adaptation and programming abstractions are needed
            for intermittently powered IoT devices, and peripherals
            restoration is the hard part (see slides from G. Salagnac)</div>
        </div>
        <div>- IoT software components and component dynamic updates are
          desirable. (see slides from J. Bourcier)<br>
        </div>
        <div><br>
        </div>
        <div>If you have comments or questions, just ask here and/or
          contact the authors directly!<br>
        </div>
        <div><br>
        </div>
        <div>Cheers</div>
        <div><br>
        </div>
        <div>Emmanuel</div>
        <div><br>
        </div>
      </div>
      <br>
      <fieldset class="mimeAttachmentHeader"></fieldset>
      <br>
      <pre wrap="">_______________________________________________
devel mailing list
<a class="moz-txt-link-abbreviated" href="mailto:devel@riot-os.org">devel@riot-os.org</a>
<a class="moz-txt-link-freetext" href="https://lists.riot-os.org/mailman/listinfo/devel">https://lists.riot-os.org/mailman/listinfo/devel</a>
</pre>
    </blockquote>
    <br>
  </body>
</html>