Difference between revisions of "IoTSec:Consortium F2F meeting January 2017"
From its-wiki.no
| Line 10: | Line 10: | ||
= Participants = | = Participants = | ||
{{#widget:Iframe | {{#widget:Iframe | ||
| − | |url=https://docs.google.com/spreadsheets/d/ | + | |url=https://docs.google.com/spreadsheets/d/1wfJoiMEqCL2_l89EEjLPSfWUYdefv1xP7y5QrTkAYkE/pubhtml?gid=321385758&single=true |
|width=700 | |width=700 | ||
|height=300 | |height=300 | ||
| Line 25: | Line 25: | ||
}} | }} | ||
| − | = | + | |
| − | + | = Introduction = | |
| + | |||
| + | We will have 4 invited speakers, all outside IFI, and very knowledgeable in their fields. | ||
| + | |||
| + | 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. | ||
| + | |||
| + | 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. | ||
| + | |||
| + | 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. | ||
| + | |||
= Logistics Tuesday 10Jan2017 = | = Logistics Tuesday 10Jan2017 = | ||
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 | 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.* | |
| − | Minutes of the meeting are in [[IoTAdmin: | + | Therefore, ConSeRNS and IoTSec members have free entrance. |
| − | == | + | |
| − | : | + | 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. |
| − | : | + | |
| − | : | + | |
| − | + | = Time schedule of the workshop (45+15min each talk) = | |
| − | + | Minutes of the meeting are in [[IoTAdmin:20161213WorkshopOslo_Notes]] | |
| − | :12: | + | == Morning (on symbolic techniques/tools) == |
| − | : | + | : 10:00 Sergiu Bursuc (from Bristol) |
| − | :15: | + | on "ProVerif and applied pi calculus used to verify TPM protocols |
| − | :17:00 | + | 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 ?) == | ||
| + | |||
=== Other Ideas/Follow up === | === Other Ideas/Follow up === | ||
Revision as of 10:17, 8 November 2016
| Security in IoT for Smart Grids | |||||||
|---|---|---|---|---|---|---|---|
|
|
IoTSec:Consortium F2F meeting January 2017
| Title | IoTSec: Consortium F2F meeting January 2017 |
|---|---|
| Place | UiO/ITS (former: UNIK), Gunnar Randers vei 19, 2007 Kjeller |
| Date, Time | 2017/01/10, 0900-1700 |
| 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
If you have not done so already, please register through
Introduction
We will have 4 invited speakers, all outside IFI, and very knowledgeable in their fields.
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.
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.
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.
Logistics Tuesday 10Jan2017
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.*
Therefore, ConSeRNS and IoTSec members have free entrance.
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.
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 ?)
Other Ideas/Follow up
Action Items