Marco Barulli

COO at Blogchain / Capsule Social

Overview

Details

Marco Barulli is the Chief Operations Officer of Blogchain. He began his career as a researcher in parallel computing and numerical analysis at the University of Bologna (Italy), from which he graduated in computer science. He then went to Loughborough University of Technology (UK). In 2005, Marco's passion for cryptography and security led to the creation of Clipperz.is, an encrypted vault and online password manager. In 2016, he founded Bernstein.io, a legal-tech company based in Munich that utilizes the Bitcoin blockchain to protect and manage intellectual property assets.

Work Experience

Blogchain / Capsule Social

COO

Relevance Person

Nadim Kobeissi

Nadim Kobeissi is the Founder and CEO of Capsule, Director at Symbolic Software, Author of Verifpal, and Host of Cryptography FM. As Director of Symbolic Software, a Paris-based applied cryptography consulting office, I manage a small team that offers security audits, cryptographic protocol design, and formal verification services. My main focus is auditing cryptography and developing Verifpal, an automated cryptographic protocol modeling, analysis, and verification framework. Since its founding in 2018, Symbolic Software has completed and delivered over 200 software and cryptographic audits for clients worldwide. In 2018, I defended my Ph.D. thesis, Formal Verification for Real-World Cryptographic Protocols and Implementations, at Inria Paris. Additionally, I designed and taught the computer security course at New York University's Paris campus, where I served as an adjunct professor in 2018 and 2019.