Marco Barulli

Blogchain / Capsule Social COO

개요

기본 정보

마르코 바룰리는 Blogchain의 최고운영책임자입니다. 그는 이탈리아 볼로냐 대학교에서 병렬 컴퓨팅 및 수치 분석 연구원으로 경력을 시작했으며, 컴퓨터 과학을 전공했습니다. 그런 다음 영국 러프버러 공과대학교로 진학했습니다. 2005년 마르코는 암호화 및 보안에 대한 열정으로 암호화된 볼트 및 온라인 비밀번호 관리자인 Clipperz.is를 만들었습니다. 2016년 그는 뮌헨에 본사를 둔 법률 기술 회사인 Bernstein.io를 설립했는데, 이 회사는 비트코인 블록체인을 사용하여 지적 재산 자산을 보호하고 관리합니다.

경력

Blogchain / Capsule Social

COO

연관 인물

Nadim Kobeissi

나딤 코베이시는 Capsule의 설립자 겸 CEO, Symbolic Software의 이사, Verifpal의 저자, Cryptography FM의 진행자입니다. 파리에 있는 응용 암호화 컨설팅 회사인 Symbolic Software의 이사로서, 저는 보안 감사, 암호화 프로토콜 설계, 공식 검증 서비스를 제공하는 소규모 팀을 관리합니다. 저의 주요 관심사는 암호화 감사와 자동화된 암호화 프로토콜 모델링, 분석, 검증 프레임워크인 Verifpal 개발입니다. Symbolic Software는 2018년 설립 이후 전 세계 고객을 대상으로 200건 이상의 소프트웨어 및 암호화 감사를 완료하고 제공했습니다. 2018년에 저는 Inria Paris에서 박사 학위 논문인 Formal Verification for Real-World Cryptographic Protocols and Implementations을 옹호했습니다. 또한, 저는 2018년과 2019년에 시간강사로 재직했던 뉴욕 대학교 파리 캠퍼스에서 컴퓨터 보안 과정을 설계하고 가르쳤습니다.