Marino Miculan

1. Automated Symbolic Verification of Telegram’s MTProto 2.0
   2020/12/05 by Marino Miculan, Nicola Vitacolonna · 5 voices
   Computer Science · #Advanced Authentication Protocols Security #User Authentication and Security Systems #Cryptography and Data Security
2. Controlling resource access in Directed Bigraphs
   2015/11/03 by Davide Grohmann, Grohmann, Davide, Marino Miculan +1 · 1 citation
   Computer Science · #Advanced Database Systems and Queries #Distributed systems and fault tolerance #Petri Nets in System Modeling
3. Distributed execution of bigraphical reactive systems
   2015/11/04 by Alessio Mansutti, Mansutti, Alessio, Marino Miculan +3 · 2 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #DNA and Biological Computing #Distributed systems and fault tolerance #Modular Robots and Swarm Intelligence