access-control cryptography devsecops distributed-systems formal-methods machine-learning network-security sast system-security