기본 정보
나딤 코베이시는 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년에 시간강사로 재직했던 뉴욕 대학교 파리 캠퍼스에서 컴퓨터 보안 과정을 설계하고 가르쳤습니다.
