Marino Miculan | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Davide Castelnovo
1 publication
Nicola Vitacolonna
1 publication

research

∙ 12/05/2020

Automated Symbolic Verification of Telegram's MTProto 2.0

MTProto 2.0 is a suite of cryptographic protocols for instant messaging ...

0 Marino Miculan, et al. ∙

research

∙ 07/08/2020

Closure hyperdoctrines, with paths

Spatial logics are modal logics whose modalities are interpreted using t...

0 Davide Castelnovo, et al. ∙

Success!

An error occurred