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
Innovative Decoding Methods for Increased Error Correction of Reed-Solomon Codes and Related Ring Codes. The project addresses the holy grail in the area of Reed-Solomon/BCH decoding, namely the derivation of algebraic soft-decision decoding algorithms. These codes are the most frequently used error-correcting block codes and their performance does not fulfill its full potential due to the lack of algebraic soft-decision decoding methods. In the project the system-theoretic behavioural view is e ....Innovative Decoding Methods for Increased Error Correction of Reed-Solomon Codes and Related Ring Codes. The project addresses the holy grail in the area of Reed-Solomon/BCH decoding, namely the derivation of algebraic soft-decision decoding algorithms. These codes are the most frequently used error-correcting block codes and their performance does not fulfill its full potential due to the lack of algebraic soft-decision decoding methods. In the project the system-theoretic behavioural view is employed, which has proved itself successful in this area in recent years. The project aims to connect soft-decision decoding methods with the decoding of ring codes. Outcomes are decoding methods and algorithms for the australian telecommunications industry that enable increased error correction for Reed-Solomon/BCH codes and related ring codes.Read moreRead less