1 / 5

From ABZ to Cryptography

From ABZ to Cryptography. Eerke Boiten, ABZ 2008. I don’t believe that. Cryptologists are smarter, on the whole, than formal methodists You can’t do refinement for security There are two kinds of theoretical CS: semantics and complexity, no middle ground

alodie
Download Presentation

From ABZ to Cryptography

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. From ABZ to Cryptography Eerke Boiten, ABZ 2008

  2. I don’t believe that • Cryptologists are smarter, on the whole, than formal methodists • You can’t do refinement for security • There are two kinds of theoretical CS: semantics and complexity, no middle ground • It’s all been solved (Schneider,Ryan,Lowe,...) • Our toolbox is adequate

  3. I do believe that • Abstraction and compositionality help • Both complexity theory and probability theory are in need of calculational methods • The “ABZ community” is making useful progress

  4. From ABZ to cryptography, bottom-up • Action refinement • Probability: formalisms, and refinement • Approximate refinement • Attack models • Compositionality, compositionality, compositionality.

  5. Cryptoforma • UK network, great spirit, finances pending • Bristol, Birmingham, Newcastle, Microsoft, HP, RHUL, Kent, ...

More Related