Thông tin cơ bản
Nadim Kobeissi là Người sáng lập và Giám đốc điều hành của Capsule, Giám đốc Phần mềm tượng trưng, Tác giả của Verifpal và Người dẫn chương trình Mật mã học FM. Với tư cách là Giám đốc Phần mềm tượng trưng, một văn phòng tư vấn mật mã ứng dụng có trụ sở tại Paris, tôi quản lý một nhóm nhỏ cung cấp các dịch vụ kiểm tra bảo mật, thiết kế giao thức mật mã và xác minh chính thức. Trọng tâm chính của tôi là kiểm tra mật mã và phát triển Verifpal, một khung mô hình, phân tích và xác minh giao thức mật mã tự động. Kể từ khi thành lập vào năm 2018, Symbolic Software đã hoàn thành và cung cấp hơn 200 cuộc kiểm tra phần mềm và mật mã cho khách hàng trên toàn thế giới. Năm 2018, tôi bảo vệ bằng Tiến sĩ. luận án, Xác minh chính thức cho các giao thức và triển khai mật mã trong thế giới thực, tại Inria Paris. Ngoài ra, tôi đã thiết kế và giảng dạy khóa học bảo mật máy tính tại khuôn viên Paris của Đại học New York, nơi tôi từng là giáo sư phụ trợ vào năm 2018 và 2019.
