Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will un ....Specifications, Proofs and Animations for Cryptographic Protocols. Cryptographic protocols are fundamental security tools for electronic communications. Despite years of intensive research it remains difficult to obtain high confidence in the security of almost any new protocol. Research in the computer security community has emphasised formal specifications and state based searching, while the cryptographic community has concentrated instead on complexity theoretic proofs. This project will unify these two approaches for the first time by formally specifying and animating the very models used in cryptographic proofs. The result will be proofs that are uniquely accessible to practioners combined with increased confidence that the proofs are both correct and relevant.Read moreRead less
New lattice approach for digital broadband communications. A main limiting factor in supplying future broadband communications is overcoming signal dispersion in the transmission channel. Recent preliminary collaboration by the chief investigators has uncovered a novel approach to this problem based on powerful mathematical lattice theory. The techniques have potential to significantly increase bandwidth and reliability compared to current technologies. This project will use lattice theory to pr ....New lattice approach for digital broadband communications. A main limiting factor in supplying future broadband communications is overcoming signal dispersion in the transmission channel. Recent preliminary collaboration by the chief investigators has uncovered a novel approach to this problem based on powerful mathematical lattice theory. The techniques have potential to significantly increase bandwidth and reliability compared to current technologies. This project will use lattice theory to propose, develop, analyse and test new data transmission techniques including joint coding, modulation and equalisation. The research will include theoretical analysis and hardware implementation. The overall aim is to dramatically improve reliability and throughput of data communication systems.Read moreRead less