AGENDA
\n\n
Sébastien Pierre Christophe Gondron: Vertical Composition and Sound Payload Abstraction for Stateful Protocols
\nA problem arises when one wants to formally verify the composition of a channel protocol that is used to encrypt and transport arbitrary data from an application protocol.
\nWe present a general paradigm to study these vertical compositions and a sound abstraction that allows for standard automated verification tools to handle them.
\n\n
Wei-Yang Chiu: Why should I trust you? - A Point-to-Point trusted 3rd party service based on Blockchain, NoPKI
\nPKI is a basic infrastructure that ensures and validates the bounding between the key and the entity. Most of the nodes and encryption protocols that utilizes asymmetric encryption relies on PKI. The heavily centralized system concentrates the risk to the certificate authorities. Hence, an unauthorized change can break the trust of the system. NoPKI is a proposal to break the centralization of trust and put the risk back to every participant in the network, in which solve the long-lasting problem of centralized PKI fundamentally.
\n\n
HOW TO ATTEND
\n\n
Zoom link: https://dtudk.zoom.us/j/63718330952
\n\n
Meeting ID: 637 1833 0952
\nOne tap mobile
\n+4547372575,,63718330952# Denmark
\n+4589883788,,63718330952# Denmark
\n\n
Dial by your location
\n+45 47 37 25 75 Denmark
\n+45 89 88 37 88 Denmark
\n+45 32 70 12 06 Denmark
\n+45 32 71 31 57 Denmark
\n+45 32 72 80 10 Denmark
\n+45 32 72 80 11 Denmark
\nMeeting ID: 637 1833 0952
\nFind your local number: https://dtudk.zoom.us/u/cLTd72Ouf
\n\n
Join by SIP
\n63718330952@109.105.112.236
\n63718330952@109.105.112.235
\n\n
Join by H.323
\n109.105.112.236
\n109.105.112.235
\nMeeting ID: 637 1833 0952
\n\n
Join by Skype for Business
\nhttps://dtudk.zoom.us/skype/63718330952
X-ALT-DESC;FMTTYPE=text/html:AGENDA
\n\n
Sébastien Pierre Christophe Gondron: Vertical Composition and Sound Payload Abstraction for Stateful Protocols
\nA problem arises when one wants to formally verify the composition of a channel protocol that is used to encrypt and transport arbitrary data from an application protocol.
\nWe present a general paradigm to study these vertical compositions and a sound abstraction that allows for standard automated verification tools to handle them.
\n\n
Wei-Yang Chiu: Why should I trust you? - A Point-to-Point trusted 3rd party service based on Blockchain, NoPKI
\nPKI is a basic infrastructure that ensures and validates the bounding between the key and the entity. Most of the nodes and encryption protocols that utilizes asymmetric encryption relies on PKI. The heavily centralized system concentrates the risk to the certificate authorities. Hence, an unauthorized change can break the trust of the system. NoPKI is a proposal to break the centralization of trust and put the risk back to every participant in the network, in which solve the long-lasting problem of centralized PKI fundamentally.
\n\n
HOW TO ATTEND
\n\n
Zoom link: https://dtudk.zoom.us/j/63718330952
\n\n
Meeting ID: 637 1833 0952
\nOne tap mobile
\n+4547372575,,63718330952# Denmark
\n+4589883788,,63718330952# Denmark
\n\n
Dial by your location
\n+45 47 37 25 75 Denmark
\n+45 89 88 37 88 Denmark
\n+45 32 70 12 06 Denmark
\n+45 32 71 31 57 Denmark
\n+45 32 72 80 10 Denmark
\n+45 32 72 80 11 Denmark
\nMeeting ID: 637 1833 0952
\nFind your local number: https://dtudk.zoom.us/u/cLTd72Ouf
\n\n
Join by SIP
\n63718330952@109.105.112.236
\n63718330952@109.105.112.235
\n\n
Join by H.323
\n109.105.112.236
\n109.105.112.235
\nMeeting ID: 637 1833 0952
\n\n
Join by Skype for Business
\nhttps://dtudk.zoom.us/skype/63718330952
URL:https://digitalsecurity.dtu.dk/calendar/2021/05/digisec-seminar-serie-may-2021 DTSTAMP:20260522T131100Z UID:{6A506E3D-A7DF-4B00-8B73-F2D1E12C14B3}-20210520T140000Z-20210520T140000Z LOCATION: Online event over zoom END:VEVENT END:VCALENDAR