Our Chief Research Scientist, Karthikeyan Bhargavan, was invited to speak at Crypto, the world's leading cryptography conference. He shared insights on using formal methods to enhance the security of protocols like PQXDH, TLS, and MLS. cryspen.com/post/crypto2...#cryptography#formalmethods
Karthik gave an invited talk on Formal Methods for Cryptography at Crypto 2024.
Synergizing sub-symbolic and symbolic AI: #DFKIwww.dfki.de/en/web/news/...@dfki.bsky.social@dsc-ub.bsky.social@unibremen.bsky.social#verification#MachineLearning#symbolic#formal#FormalMethods
Controversial or not controversial statement? I sure hope that folks don't find it outlandish! #TLAPlusConf#FormalMethods#Engineering
"TLA+ is a design time tool that accelerates our engineering practice" - Marc Brooker It also reduces debugging time and, importantly, the frequency of paging engineers in the middle of the night! #TLAPlusConf#TLAPlus#FormalMethods
"With mathematics, we can predict the behavior of systems before a single line of code is written." - Marc Brooker, VP/Distinguished Engineer at AWS #TLAPlusConf#FormalMethods#OpenSource
Dezyne 2.18.0 released, introducing shared interface state, and more! Dezyne is a language to specify, formally verify, simulate, and implement concurrent software. Sponsored by #VerumSoftwarelists.gnu.org/archive/html...#FormalMethods#FSF#Guile