27 followers
RT @adbrucker: Among other interesting facts about security protocols, this AFP entry contains the formalisation described in our #esorics…
RT @adbrucker: Among other interesting facts about security protocols, this AFP entry contains the formalisation described in our #esorics…
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