Applied and Computational Mathematics
- Dr Harry Bartlett
Science and Engineering Faculty,
Applied and Computational Mathematics
- Discipline *
- Data Format, Computation Theory and Mathematics, Pure Mathematics
- +61 7 3138 2317
- +61 7 3138 2310
- View location details (QUT staff and student access only)
- Identifiers and profiles
Ph.D. (Queensland University of Technology), BSc(HonsI) (University of Queensland), BEng(Hons) (University of Queensland)
- Professional memberships
Member, Australian Mathematical Society (AustMS)
Member, International Association for Cryptologic Research (IACR)
stream ciphers, symmetric ciphers, authenticated encryption, state convergence, cryptanalysis, pseudo-random sequences
Dr Harry Bartlett is a lecturer in the School of Mathematical Sciences at Queensland University of Technology.
He has extensive teaching experience with both small and large classes and with students from a wide variety of backgrounds.
His research efforts are focused in cryptography and associated areas such as finite mathematics and his service roles include Health and Safety responsibilities and membership of the faculty equity committee.
Dr Bartlett has extensive teaching experience with both small and large classes and with students from a diverse range of backgrounds.
In particular, he has taught a variety of introductory level units in statistics, calculus, linear algebra and other topics for students enrolled in courses as diverse as mathematics, engineering, science, health sciences and computing, with class sizes up to 650 students.
For many years, he taught introductory statistics units for engineering students in distinct disciplines (mechanical, civil and electrical engineering; also surveying); more recently, he has taught the amalgamated version of this unit to the entire engineering cohort, and then an equivalent unit to a mixed class of mathematics students and engineering students. He has also taught more specialist units in topics such as number theory, coding theory and graph theory and related topics in finite mathematics.
In consultation with relevant stakeholders, Dr Bartlett has developed unit outlines and collated topic materials for several new units. These include service units providing introductory mathematics and statistics skills to science students, to property management students and, more recently, to information technology students, as well as the Graph Theory section of a combined unit on graph theory and coding theory for mathematics students.
Dr Bartlett has experience in the following areas in addition to his regular teaching, research and research supervision duties.
Dr Bartlett worked for 10 years as a graduate mechanical engineer before returning to university to undertake his post-graduate studies. This background has helped him to relate effectively to students from engineering and other practice-based courses.
Dr Bartlett has reviewed technical papers for several conferences and journals in the field of cryptography, including the Australasian Conference on Information Security and Privacy (ACISP) and the Journal of Mathematical Cryptology. He is also a statistical reviewer for the Australian Medical Journal.
For several years, Dr Bartlett provided regular statistical consultancy services to staff proposing or undertaking research projects at the Prince Charles Hospital in Brisbane. He has also undertaken other minor consultancies relating to statistical and mathematical topics.
- Qahur Al Mahri H, Simpson LR, Bartlett HJ, Dawson EP, Wong KK, (2018) A fundamental flaw in the ++AE authenticated encryption mode, Journal of Mathematical Cryptology p37-42
- Qahur Al Mahri H, Simpson LR, Bartlett HJ, Dawson EP, Wong KK, (2017) A fault-based attack on AEZ v4.2, Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS p634-641
- Qahur Al Mahri H, Simpson LR, Bartlett HJ, Dawson EP, Wong KK, (2017) Fault attacks on XEX mode with application to certain authenticated encryption modes, Information Security and Privacy: 22nd Australasian Conference, ACISP 2017, Proceedings, Part I (Lecture Notes in Computer Science, Volume 10342) p285-305
- Salam M, Simpson LR, Bartlett HJ, Dawson EP, Pieprzyk J, Wong KK, (2017) Investigating cube attacks on the authenticated encryption stream cipher MORUS, Proceedings of the Joint IEEE TrustCom / BigDataSE / ICESS Conference 2017 p961-966
- Qahur Al Mahri H, Simpson LR, Bartlett HJ, Dawson EP, Wong KK, (2016) Tweaking generic OTR to avoid forgery attacks, Applications and Techniques in Information Security: 6th International Conference, ATIS 2016 Proceedings [Communications in Computer and Information Science, Volume 651] p41-53
- Al Hamdan A, Bartlett HJ, Dawson EP, Simpson LR, Wong KK, (2015) Flaws in the initialisation process of stream ciphers, Computation, cryptography, and network security p19-49
- Radke KJ, Boyd C, Gonzalez Nieto J, Bartlett HJ, (2015) CHURNs: Freshness assurance for humans, The Computer Journal p2404-2425
- Bartlett HJ, Al Hamdan A, Simpson LR, Dawson EP, Wong KK, (2014) Weaknesses in the initialisation process of the Common Scrambling Algorithm Stream Cipher, Sequences and Their Applications - SETA 2014: th International Conference, Proceedings [Lecture Notes in Computer Science, Volume 8865] p220-233
- Al Mashrafi M, Bartlett HJ, Dawson EP, Simpson LR, Wong KK, (2013) Indirect message injection for MAC generation, Journal of Mathematical Cryptology p253-277
- Bartlett HJ, Al Mashrafi M, Simpson LR, Dawson EP, Wong KK, (2013) A general model for MAC generation using direct injection, Information Security and Cryptology: 8th International Conference, Inscrypt 2012 [Lecture Notes in Computer Science, Vol 7763] p198-215
For more publications by this staff member, visit QUT ePrints, the University's research repository.
- Improved Constructions of Low-density Parity-check Codes
PhD, Principal Supervisor
Other supervisors: Dr Joanne Hall, Emeritus Professor Ed Dawson
Completed supervisions (Doctorate)
- Analysis of Authenticated Encryption Based on Stream Ciphers (2018)
- Analysis of Selected Block Cipher Modes for Authenticated Encryption (2018)
- Secure Stream Cipher Initialisation Processes (2014)
- Analysis of Stream Cipher Based Authenticated Encryption Schemes (2012)