AGENDA
Laouen Fernet: Deciding a Fragment of (alpha, beta)-Privacy
The logical framework (alpha, beta)-privacy provides an alternative to bisimilarity-based and trace-based approaches for defining privacy goals in communication protocols. We present a decision procedure for a decidable fragment, which allows automated verification of privacy for a standard class of algebraic theories and security protocols.
HOW TO ATTEND
Zoom link: https://dtudk.zoom.us/j/63718330952
Meeting ID: 637 1833 0952
One tap mobile
+4547372575,,63718330952# Denmark
+4589883788,,63718330952# Denmark
Dial by your location
+45 47 37 25 75 Denmark
+45 89 88 37 88 Denmark
+45 32 70 12 06 Denmark
+45 32 71 31 57 Denmark
+45 32 72 80 10 Denmark
+45 32 72 80 11 Denmark
Meeting ID: 637 1833 0952
Find your local number: https://dtudk.zoom.us/u/cLTd72Ouf
Join by SIP
63718330952@109.105.112.236
63718330952@109.105.112.235
Join by H.323
109.105.112.236
109.105.112.235
Meeting ID: 637 1833 0952
Join by Skype for Business
https://dtudk.zoom.us/skype/63718330952