We can even support multiple channels over one chain where transactions are encrypted and only full-nodes with keys can read and maintain the secret-state (https://t.co/pIneGdPPHi)
1,656 followers
2,846 followers
@jamesheathers There's a little cottage industry on this now: https://t.co/P6YFBvCiKk; https://t.co/lUwaJnsdpm; https://t.co/tBph40cWuR; etc
27 followers
RT @adbrucker: Among other interesting facts about security protocols, this AFP entry contains the formalisation described in our #esorics…
411 followers
Among other interesting facts about security protocols, this AFP entry contains the formalisation described in our #esorics 2018 paper entitled "Stateful Protocol Composition" https://t.co/hg0ZgrYYHi https://t.co/0aCqwJ4sBo #composition #isabellehol #secu