Wykonawcy projektu

Automatyczna symboliczna weryfikacja programów i protokołów kryptograficznych w systemach rozproszonych

Kierownik projektu:	prof. dr hab. Piotr Dembiński
Główny wykonawca:	doc. dr hab. Wojciech Penczek
Wykonawcy:	doc. dr hab. Marian Srebrny dr Marcin Kubica (Uniwersytet Warszawski) dr Mirosław Kurkowski (Akademia im. J. Długosza w Częstochowie) dr Andrzej Zbrzezny (Akademia im. J. Długosza w Częstochowie) mgr inż. Gizela Jakubowska - Korycka (Politechnika Szczecińska) mgr Agata Janowska (Uniwersytet Warszawski) mgr Paweł Janowski (Uniwersytet Warszawski) mgr Wojciech Nabiałek (Akademia Podlaska) mgr Artur Niewiadomski (Akademia Podlaska) mgr Maciej Orzechowski (Akademia im. J. Długosza w Częstochowie) mgr Tomasz Siwiak (Akademia im. J. Długosza w Częstochowie) mgr inż. Maciej Szreter mgr Dobiesław Wróblewski