Tomas Kulik

Latest

• Formal Model In-The-Loop for Secure Industrial Control Networks
• Formally Verified Credentials Management for Industrial Control Systems
• Towards Formally Verified Key Management for Industrial Control Systems