|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Using SAT Solvers for Cryptographic Problems
If you have a question about this talk, please contact Microsoft Research Cambridge Talks Admins.
As SAT solvers have become more advanced, their use-cases have expanded. One such area where SAT solves now competitively perform is cryptography. In this talk we investigate why and how SAT solvers are used in cryptography, and what advantages they bring relative to other solving methods such as brute force or Grobner basis algorithms. We present several specific use-cases and highlight some future possibilities.
This talk is part of the Microsoft Research Cambridge, public talks series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsLeaders in biotech: making the plunge into bio-entrepreneurism and building a bio-business Clinical Neuroscience and Mental Health Symposium Manufacturing Thursdays
Other talks'Poetry and memory: investigating the value of the memorised poem' Decoding Molecular Plasticity in the Dark Proteome Bridging Integrator 1 (BIN1) a major player in the ultrastructure dependent pathophysiology of heart failure? Postgraduate Diploma in Entrepreneurship webinar The Evolution of Arthropods: From Limb Transformation in Crustaceans to Color Variation in Butterflies Athena SWAN - My Life in Science Seminar