Student Research

Graduate theses

  1. M.Sc. Eric Gentry, completed May 2019. Thesis title: SEAKER: A Mobile Digital Forensic Triage Device.
  2. M.Sc. Geetanjali Agarwal, completed December 2018. Thesis title: Aneka: Detecting various forms of the same wavelet image hashing algorithm.
  3. M.Sc. Ryan McIntyre, completed May 2018. Thesis title: Bounding the size of minimal clique covers.
  4. M.Sc. Deepa Suryawanshi, completed May 2018. Thesis title: Image Recognition.
  5. M.Sc. Chris Kuske, completed May 2018. Thesis title: Derivation of consistent pairwise matrices.
  6. M.Sc. Dhruv Pandya, completed December 2017. Thesis title: Voyager: Identifying IPs from Online Clicks.
  7. M.Sc. Hita Gambheer, completed December 2016. Thesis title: Design Safety Verification of Medical Device Models using Automata Theory.
  8. M.Sc. Joel Helling, completed June 2016. Thesis title: Constructing an Indeterminate String from its Associated Graph.
  9. Ph.D. Neerja Pophli, completed August 2016. Thesis title: A Generalization of Square-Free Strings.
  10. Ph.D. Mohamed Sabry, in progress, expected to finish 2018.  Subject: Complexity/Cryptography.
  11. Ph.D. Ariel Fernández, completed August 2013. Thesis title: Formalizing combinatorial matrix theory.
  12. M.Eng. Filip Jeremic, completed May 2013. Project title: Parallel Lattice Basis Reduction.
  13. M.Sc. Dragan Rakas, completed May 2013. Thesis title: A Proof of Concept for Homomorphically Evaluating an Encrypted Assembly Language.
  14. M.Eng. Mohamed Sabry, completed May 2011. Thesis title: An implementation of the GGH cryptosystem.
  15. Ph.D. Greg Herman, completed March 2009. Thesis title: Unambiguous functions in logarithmic space.
  16. M.Sc. Craig Wilson, completed May 2008. Thesis title: Computing winning strategies for poset games.
  17. M.Sc. Tim Paterson, completed April 2006. Thesis title: A propositional proof system with permutation quantifiers.
  18. M.Sc. Yu-Tong HE, co-supervised with Dr. Janicki, completed June 2003. Thesis title: Verification of the WAP Transaction Layer using Model Checker SPIN.

senior Capstones

This section is under construction as of June 2018; more will be added.

  1. Brandon Artner and Ty Danet,  Securing the Electorate: A Cryptographic Vote, May 2018 [poster][blog]
  2. Zane Gittins, Cyber Security Best Practices, May 2018. [poster]
  3. Nicholas Rocksvold, Android Reverse Engineering, May 2018. [poster]
  4. Samuel Decanio and Vlad Synnes, Voyager 2: S.A.V.E.I.T., December 2018. [poster][blog]
  5. Huber Mattias, Digital Forensics and Security Toolkit, May 2017. [poster]
  6. James Allen
  7. Carlos Gomez, iSprinkle: Design and Implementation of an internet-enabled sprinkler timer, December 2016 [poster][blog]
  8. Fawaz Ismail, Diana Najda, Joseph Seger, Omar Abou-Youssef, A Key-Chain implementation, 2013/2014 (McMaster).
  9. Andrew Martel, John Parke, Greg Brunet, Mark Armstrong, Distributed Hash Table, 2012/2013 (McMaster).
  10. Widmer Bland, Neil Bhakta, Gabriel Alex, Designing a Search Engine, 2011/2012 (McMaster).
  11. Martin Cammisa, Nathan Kruger, Christo Mitov, Jevonne Peters, GGH Cryptosystem, 2010/2011 (McMaster)

Related Material

  1. How to do research (this page is for CI students)
  2. How to approach writing a masters thesis
  3. GitHub repository with LaTeX template for CI masters thesis in Computer Science
  4. My current research projects