aSSIsT Project Meeting, Oct. 15, 2019, 09.00 - 12.00 plus lunch

Location: RISE SICS

Purpose: Presentations give an update of progress since previous meeting, plus outline of future plans. Discussions about collaborations and synergies will follow.

Agenda

• aSSIsT overall summary and status (Bengt Jonsson)
• Fuzzing (Clement Poncelet)
• Exploring Secure Intermittent Computing (Luca Mottola)
• Stateless Model Checking for Event-Oriented Programs (Sarbojit Das)
• Hardware-based Secure Isolation within IoT Devices (Anum Khurshid)
• Analyzing DTLS implementations using State Fuzzing (Paul Fiterau-Brostean)
• Possibly: update on Contiki-NG (Nicolas Tsiftes)
• Planning and Discussions:
  • Collaboration, new Directions, …
  • Reference group mtg December