Defense Dissertation Christoph Egger: “On Abstraction and Modularization in Protocol Analysis”
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