19 citations · 86 across the 21 of their papers we have counts for
4 papers · 1 filter
Automated Symbolic Verification of Telegram's MTProto 2.0
Marino Miculan, Nicola Vitacolonna
MTProto 2.0 is a suite of cryptographic protocols for instant messaging at the core of the popular Telegram messenger application. In this paper we analyse MTProto 2.0 using the sy…
Software Transactional Memory with Interactions
Marino Miculan, Marco Peressotti
Software Transactional memory (STM) is an emerging abstraction for concurrent programming alternative to lock-based synchronizations. Most STM models admit only isolated transactio…
Closure hyperdoctrines, with paths
Davide Castelnovo, Marino Miculan
(Pre)closure spaces are a generalization of topological spaces covering also the notion of neighbourhood in discrete structures, widely used to model and reason about spatial aspec…
A CSP implementation of the directed bigraph embedding problem
Alessio Chiapperini, Marino Miculan, Marco Peressotti
Directed bigraphs are a meta-model which generalises Milner's bigraphs by taking into account the request flow between controls and names. A key problem about these bigraphs is tha…