UFMRG at IETF-118 Sunday Nov 5, 12:00-16:00 meeting local
(Sunday Nov 5, 11:00-15:00 UTC)
Agenda
4 hours
Git repo: https://github.com/felixlinker/tamarin-workshop/
Intro to Tamarin (Felix Linker, 20)
Practical Exercises (100)
Intro to Tamarin II (Felix Linker, 20)
Practical Exercises (100)
UFMRG at IETF-118 Wednesday Nov 8, 13:00-14:00 meeting local
(Wednesday Nov 8, 12:00-13:00 UTC)
Agenda
1 hour
Agenda Bash (chairs, 5)
Using Formal Methods at Google (Thyla van der Merwe, 10+5)
OWL (Joshua Gancher, 10+5)
H2 Reset (Lucas Pardue, 10+5)
Sample Problems, TEEP (Cory Francis Myers, 5)
Next steps/actions (chairs, 5)
Evaluation of IETF 118 training