Nadim Kobeissi

Founder & CEO ~ Blogchain / Capsule Social

Nadim Kobeissi는 Capsule의 창립자이자 CEO, Symbolic Software의 이사, Verifpal의 저자, Cryptography FM의 호스트입니다. 파리 기반의 응용 암호학 컨설팅 회사인 Symbolic Software의 이사로서, 저는 보안 감사, 암호학적 프로토콜 설계 및 형식 검증 서비스를 제공하는 소규모 팀을 관리합니다. 주요 초점은 암호학 감사와 자동화된 암호학적 프로토콜 모델링, 분석 및 검증 프레임워크인 Verifpal 개발입니다. 설립 이후 Symbolic Software는 전 세계 고객을 위해 100건 이상의 소프트웨어 및 암호학 감사를 완료하고 제공했습니다. 2021년에 저는 Inria Paris에서 '실제 세계 암호학적 프로토콜 및 구현을 위한 형식 검증'에 관한 박사 학위 논문을 변호했습니다. 또한 뉴욕 대학교 파리 캠퍼스에서 컴퓨터 보안 과정을 설계하고 가르쳤으며, 2019년과 2020년에 겸임 교수로 재직했습니다.