This week, Dr. Darbari talks to Dr. Daniel Zimmerman, Principal Researcher from Galois Inc. Lot of exciting conversation on formal methods and their applications to cryptography, homomorphic computing and Daniel also reveals the secret Ninja formal methods and the work done with Amazon on deploying software analysis.

Rss Apple Podcaster
Podden och tillhörande omslagsbild på den här sidan tillhör Axiomise. Innehållet i podden är skapat av Axiomise och inte av, eller tillsammans med, Poddtoppen.