Can systems security be measured and can custom language models working with constraints solving help automate security assurance? We talk to Dr Basel Katt and Ryan Marugah about how their company SeCore do automated system analysis. Will it make security better or worse?