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