Dr Harry Bartlett
Faculty of Science,
School of Mathematical Sciences
Biography
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 membership of the faculty appeals and misconduct committee and related tasks at the school level.Personal details
Positions
- Lecturer
Faculty of Science,
School of Mathematical Sciences
Keywords
stream ciphers, symmetric ciphers, authenticated encryption, state convergence, cryptanalysis, pseudo-random sequences
Discipline
Data Format, Computation Theory and Mathematics, Pure Mathematics
Field of Research code, Australian and New Zealand Standard Research Classification (ANZSRC), 2008
Qualifications
- Ph.D. (Queensland University of Technology)
- BSc(HonsI) (University of Queensland)
- BEng(Hons) (University of Queensland)
Teaching
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.
Unit development 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.
Experience
Dr Bartlett has experience in the following areas in addition to his regular teaching, research and research supervision duties. Industry experience 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. Reviewer experience 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. Consultancy experience 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.
Selected publications
- Wong K, Bartlett H, Simpson L, Dawson E, (2020) Differential random fault attacks on certain CAESAR stream ciphers, Information Security and Cryptology – ICISC 2019: 22nd International Conference, Revised Selected Papers, pp. 297-315.
- Qahur Al Mahri H, Simpson L, Bartlett H, Dawson E, Wong K, (2019) Fault analysis of AEZ, Concurrency and Computation: Practice and Experience, 31 (23), pp. 1-11.
- Qahur Al Mahri H, Simpson L, Bartlett H, Dawson E, Wong K, (2018) A fundamental flaw in the ++AE authenticated encryption mode, Journal of Mathematical Cryptology, 12 (1), pp. 37-42.
- Qahur Al Mahri H, Simpson L, Bartlett H, Dawson E, Wong K, (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), pp. 285-305.
- Pieprzyk J, Wong K, Salam M, Simpson L, Bartlett H, Dawson E, (2017) Investigating cube attacks on the authenticated encryption stream cipher MORUS, Proceedings of the Joint IEEE TrustCom / BigDataSE / ICESS Conference 2017, pp. 961-966.
- Qahur Al Mahri H, Simpson L, Bartlett H, Dawson E, Wong K, (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], pp. 41-53.
- Al Hamdan A, Bartlett H, Dawson E, Simpson L, Wong K, (2015) Flaws in the initialisation process of stream ciphers. In NJ Daras & MT Rassias, Computation, cryptography, and network security, Springer, pp. 19-49.
- Radke K, Boyd C, Gonzalez Nieto J, Bartlett H, (2015) CHURNs: Freshness assurance for humans, Computer Journal, 58 (10), pp. 2404-2425.
- Bartlett H, Al Hamdan A, Simpson L, Dawson E, Wong K, (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], pp. 220-233.
- Bartlett H, Al Mashrafi M, Simpson L, Dawson E, Wong K, (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], pp. 198-215.
QUT ePrints
For more publications by Harry, explore their research in QUT ePrints (our digital repository).
Supervision
Current supervisions
- Security Analysis of Shift-Register Based Keystream Generators for Stream Ciphers
PhD, Principal Supervisor
Other supervisors: Dr Leonie Simpson
Completed supervisions (Doctorate)
- Improved Constructions of Low-Density Parity-Check Codes (2019)
- 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)