Defense Dissertation Christoph Egger: “On Abstraction and Modularization in Protocol Analysis”

Symbolic picture for the article. The link opens the image in a large view.

The defense of Christoph Egger’s dissertation, titled “On Abstraction and Modularization in Protocol Analysis” will take place on 7 October 2022 at 1:00 PM CEST.

You can join the Zoom meeting using the following details:

https://fau.zoom.us/j/69761460307?pwd=bXorOG5mSkRCdVVrbW1TODFzRFY3UT09

Meeting ID: 697 6146 0307 Passcode: 962932