Loading data, please wait a moment. We are fetching the latest content from the server and validating, organizing, and rendering it to ensure the information you see is accurate, complete, and up to date. Loading speed may be affected by your network, device performance, or the current amount of data, so a brief wait is normal. To avoid extra delays caused by duplicate requests, please don't refresh frequently or repeatedly click buttons, and don't close the page or switch to an offline network. The page will update automatically once the data is ready. If it takes noticeably longer, check your network connection and try refreshing or coming back later. If the issue persists, please let us know so we can investigate. Thanks for your patience and understanding.
Nadim Kobeissi là người sáng lập và CEO của Capsule, Giám đốc tại Symbolic Software, tác giả của Verifpal, và người dẫn chương trình Cryptography FM. Là Giám đốc của Symbolic Software, một văn phòng tư vấn ứng dụng mật mã học tại Paris, tôi quản lý một nhóm nhỏ cung cấp dịch vụ kiểm toán bảo mật, thiết kế giao thức mật mã học và xác minh hình thức. Trọng tâm chính của tôi là kiểm toán mật mã học và phát triển Verifpal, một khung công tác tự động mô hình hóa, phân tích và xác minh giao thức mật mã học. Kể từ khi thành lập vào năm 2018, Symbolic Software đã hoàn thành và giao hơn 200 kiểm toán phần mềm và mật mã học cho khách hàng trên toàn thế giới. Năm 2018, tôi bảo vệ luận án tiến sĩ của mình, 'Xác minh hình thức cho các giao thức và triển khai mật mã học thực tế', tại INRIA Paris. Ngoài ra, tôi đã thiết kế và giảng dạy khóa học An ninh máy tính tại cơ sở Paris của Đại học New York, nơi tôi là giảng viên bổ sung vào năm 2018 và 2019.