Formal Methods Security Tools in the Service of Cyber Security
Date:
I presented an overview of how formal methods tools and languages can be used for evaluating the security of systems. I emphasized mature formal methods tools and showed examples of how each can be used for improving the security of systems and communication protocols.