Difference between revisions of "IoTSec:Consortium F2F meeting January 2017"

From its-wiki.no

Jump to: navigation, search
(→‎Logistics 9Jan2017)
 
(21 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
{{Meeting
 
{{Meeting
 
|Title=IoTSec: Consortium F2F meeting January 2017
 
|Title=IoTSec: Consortium F2F meeting January 2017
−
|Place=UiO/ITS (former: UNIK), Gunnar Randers vei 19, 2007 Kjeller
+
|Place=Institut for Teknologisystemer (ITS), Kjeller
−
|Date=2017/01/10
+
|Date=2017/01/09
−
|Duration=0900-1700
+
|Duration=0900-1700 9Jan
 
|Organiser=Cristian, Josef Noll,
 
|Organiser=Cristian, Josef Noll,
 
|User=Cristian
 
|User=Cristian
Line 10: Line 10:
 
= Participants =
 
= Participants =
 
{{#widget:Iframe
 
{{#widget:Iframe
−
|url=https://docs.google.com/spreadsheets/d/1wfJoiMEqCL2_l89EEjLPSfWUYdefv1xP7y5QrTkAYkE/pubhtml?gid=321385758&single=true
+
|url=https://docs.google.com/spreadsheets/d/1a0XJBz3ZcZhx8JyTaSxe3m-WhrXKjKXltCLxZfeVWzs/pubhtml?gid=624732127&single=true
 
|width=700
 
|width=700
 
|height=300
 
|height=300
Line 16: Line 16:
 
}}
 
}}
  
 +
<!-----
 
If you have not done so already, please register through <br/>
 
If you have not done so already, please register through <br/>
−
 
 
{{#widget:Iframe
 
{{#widget:Iframe
−
|url=https://docs.google.com/forms/d/e/1FAIpQLSeIEJRGG2c7I8LUy5Pzpddt0azsk7i315FHej2wX8Am4jpJNQ/viewform
+
|url=https://docs.google.com/forms/d/e/1FAIpQLSd0uRba8luE4doDUJuy74OrU0eLL6NniCMWt22PLXMJ1y_iFQ/viewform
 
|width=700
 
|width=700
 
|height=300
 
|height=300
 
|border=0
 
|border=0
 
}}
 
}}
−
 
+
--->
  
 
= Introduction =
 
= Introduction =
  
−
We will have 4 invited speakers, all outside IFI, and very knowledgeable in their fields.
+
This f2f meeting will have two days:
 +
: the first day 9Jan2017 is '''internal''', only for the IoTSec project members
 +
:: '''Focus:''' Review and Redefine of WPs. + requested talks on specific topics from partners
 +
: the second day 10Jan2017 is '''open to everyone''' with invited speakers from outside the project
 +
:: '''Focus:''' [[IoTSec:Open International Day|Security and Semantic Technologies for the Smart Grid]].
  
−
The aim of this workshop is to give the people in the Oslo area (and maybe the nordic area if we decide to announce it to other partners) a general introduction and overview of some of the main tools and techniques that can be used to model and analyse security protocols.
+
= Logistics 9Jan2017 =
 +
{{ITS_veibeskrivelse}}
  
−
We aimed to present both the symbolic approach as well as the more new computational approach; but focus on tools and techniques that can be used in practice.
+
Networks:
 +
* UNIK_Apple
 +
* Eduroam
  
−
Therefore, we expect the audience to be security people, but not  necessarily people trained in formal methods. However, the order of the talks has been thought so that the people will gradually get the necessary background (from an earlier talk) to enable them to follow all the talks.
+
= Agenda and Minutes =
 +
Minutes of the meeting [[IoTAdmin:20170110MeetingOslo_Notes]]
  
 +
Also see [[IoTAdmin:Strategy_for_SGSC_from_IoTSec]] .
  
−
= Logistics Tuesday 10Jan2017 =
+
== Agenda 9Jan2017 '''Internal Meeting Day''' ==
−
We suggest to take the train to Lillestrøm, and from there one of the busses (or a taxi) to ITS (Institut for Teknologi Systemer) ved UiO at Kjeller (former: UNIK), Gunnar Randers vei 19, 2007 Kjeller
+
  
−
*Sponsored by ConSeRNS and IoTSec.*
+
'''WP 1 & 2 workshop''' starts
−
Therefore, ConSeRNS and IoTSec members have free entrance.
+
:09:00 Plan for the workshop (Josef)
−
 
+
:09:10 Part 1
−
However, anyone is welcome to attend, but we have to decide whether we need to ask for a fee to cover the coffee breaks and the lunch. Soon we will send out a public CFP which you will be encouraged to spread to other colleagues.
+
:10:30 '''Break'''
−
 
+
:11:00 Part 2
−
 
+
−
= Time schedule of the workshop (45+15min each talk) =
+
−
Minutes of the meeting are in [[IoTAdmin:20161213WorkshopOslo_Notes]]
+
−
== Morning (on symbolic techniques/tools) ==
+
−
: 10:00 Sergiu Bursuc (from Bristol)
+
−
on "ProVerif and applied pi calculus used to verify TPM protocols
+
−
involving dynamic root of trust"
+
−
: 11:00 break
+
−
: 11:30 Anders Moen Hagalisletto
+
−
on "PROSA and rewriting logic applied for verifying security protocols in practice"
+
−
: 12:30 Lunch
+
−
== After lunch (on computational techniques/tools) ==
+
−
: 13:30 Colin Boyd (NTNU)
+
−
on "Computational proofs of authentication protocols"
+
−
: 14:30 break
+
−
: 15:00 Bruno Blanchet (INRIA - Paris)
+
−
on "CryptoVerif: automating and bridging the gap between cryptographic and symbolic proofs"
+
−
== 17:00 dinner by invitation (at Korean/Japanese restaurant ?) ==
+
  
 +
'''Internal Meeting Day'''  starts
 +
:12:00 '''Lunch'''
 +
:13:00 Welcome and Plan of the day (Christian)
 +
:13:10 Review and Plans from all WPs (15min) + Discussion with Coordinator (10min)
 +
:: (based on discussion in [[IoTSec:Security_Challenges]])
 +
::13:10 WP1 Review from all Tasks and Plans, Contribution to Smart Grid Security Centre (SGSC)
 +
::13:35 WP2 Review from all Tasks and Plans, Contrib. to SGSC
 +
::14:00 WP3 Review from all Tasks and Plans, Contrib. to SGSC
 +
::14:25 WP4 Review from all Tasks and Plans, Ideas for Smart Grid Security Centre (Manuscript)
 +
:14:50    Coffee-break
 +
:15:20 Summary and plenary discussions
 +
:16:00 Action Items and AOB
 +
:17:00 '''Finishing Internal Meeting'''
 +
:18:00 dinner by invitation
  
 
=== Other Ideas/Follow up ===
 
=== Other Ideas/Follow up ===
−
 
  
 
== Action Items ==
 
== Action Items ==
 
{{IoTSec:ActionItems}}
 
{{IoTSec:ActionItems}}

Latest revision as of 09:19, 11 June 2017

Security in IoT for Smart Grids
Home Research Security Centre Publications Student corner About
English-Language-icon.png


IoTSec:Consortium F2F meeting January 2017

Title IoTSec: Consortium F2F meeting January 2017
Place Institut for Teknologisystemer (ITS), Kjeller
Date, Time 2017/01/09, 0900-1700 9Jan
Contact Person Cristian, Josef Noll
Participants Cristian
related to Project IoTSec
Keywords
this page was created by Special:FormEdit/Meeting, and can be edited by Special:FormEdit/Meeting/IoTSec:Consortium F2F meeting January 2017
Category:Meeting


Participants


Introduction

This f2f meeting will have two days:

the first day 9Jan2017 is internal, only for the IoTSec project members
Focus: Review and Redefine of WPs. + requested talks on specific topics from partners
the second day 10Jan2017 is open to everyone with invited speakers from outside the project
Focus: Security and Semantic Technologies for the Smart Grid.

Logistics 9Jan2017

The Institut for Technology Systems (ITS) of the University of Oslo (http://its.uio.no) is located in the Building of UNIK, Gunnar Randers vei 19, 2027 Kjeller.

By public transport you either take the train to Lillestrøm, and then "whatever" bus going to Kjeller. Closest bus stop is "Forskningsparken (Skedsmo)".
Alternatively take a bus going directly from Oslo to Kjeller. ITS has also an own bus schedules for students coming from Ifi to Kjeller, the schedule is available on http://its.uio.no

Networks:

  • UNIK_Apple
  • Eduroam

Agenda and Minutes

Minutes of the meeting IoTAdmin:20170110MeetingOslo_Notes

Also see IoTAdmin:Strategy_for_SGSC_from_IoTSec .

Agenda 9Jan2017 Internal Meeting Day

WP 1 & 2 workshop starts
09:00 Plan for the workshop (Josef)
09:10 Part 1
10:30 Break
11:00 Part 2 
Internal Meeting Day  starts
12:00 Lunch
13:00 Welcome and Plan of the day (Christian)
13:10 Review and Plans from all WPs (15min) + Discussion with Coordinator (10min)
(based on discussion in IoTSec:Security_Challenges)
13:10 WP1 Review from all Tasks and Plans, Contribution to Smart Grid Security Centre (SGSC)
13:35 WP2 Review from all Tasks and Plans, Contrib. to SGSC
14:00 WP3 Review from all Tasks and Plans, Contrib. to SGSC
14:25 WP4 Review from all Tasks and Plans, Ideas for Smart Grid Security Centre (Manuscript)
14:50 Coffee-break
15:20 Summary and plenary discussions
16:00 Action Items and AOB
17:00 Finishing Internal Meeting
18:00 dinner by invitation

Other Ideas/Follow up

Action Items


Retrieved from "https://its-wiki.no/index.php?title=IoTSec:Consortium_F2F_meeting_January_2017&oldid=32982"