AGENDA
Sébastien Pierre Christophe Gondron: Vertical Composition and Sound Payload Abstraction for Stateful Protocols
A 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.
We present a general paradigm to study these vertical compositions and a sound abstraction that allows for standard automated verification tools to handle them.
Wei-Yang Chiu: Why should I trust you? - A Point-to-Point trusted 3rd party service based on Blockchain, NoPKI
PKI 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.
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