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.
Надим Кобейси является основателем и генеральным директором Capsule, директором Symbolic Software, автором Verifpal и ведущим Cryptography FM. В качестве директора Symbolic Software, парижской консалтинговой компании в области прикладной криптографии, я управляю небольшой командой, которая предлагает услуги по аудиту безопасности, проектированию криптографических протоколов и формальной верификации. Мой основной фокус - аудит криптографии и разработка Verifpal, автоматизированной платформы для моделирования, анализа и верификации криптографических протоколов. С момента своего основания в 2018 году Symbolic Software завершила и доставила более 200 аудитов программного обеспечения и криптографии для клиентов по всему миру. В 2018 году я защитил свою диссертацию на тему формальной верификации реальных криптографических протоколов и реализаций в INRIA Париж. Кроме того, я разработал и преподавал курс по компьютерной безопасности в Парижском кампусе Нью-Йоркского университета, где работал адъюнкт-профессором в 2018 и 2019 годах.