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, Capsule'ın kurucusu ve CEO'su, Symbolic Software'da direktör, Verifpal'ın yazarı ve Cryptography FM'in sunucusudur. Paris merkezli uygulamalı kriptografi danışmanlık ofisi Symbolic Software'ın direktörü olarak, güvenlik denetimleri, kriptografik protokol tasarımı ve formel doğrulama hizmetleri sunan küçük bir ekibi yönetiyorum. Ana odak noktam kriptografi denetimi yapmak ve otomatik kriptografik protokol modelleme, analiz ve doğrulama çerçevesi olan Verifpal'ı geliştirmektir. 2018 yılında kurulduğundan bu yana, Symbolic Software dünya çapında müşterilere 200'den fazla yazılım ve kriptografi denetimi tamamlayıp teslim etmiştir. 2018 yılında, INRIA Paris'te gerçek dünya kriptografik protokolleri ve uygulamaları için formel doğrulama konulu doktora tezimi savundum. Ayrıca, 2018 ve 2019 yıllarında New York Üniversitesi'nin Paris kampüsünde bilgisayar güvenliği dersini tasarlayıp öğrettim.