Student Research

General Info

  1. How to do research (password protected)
  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  (password protected)
  5. Departmental page for MSCS
  6. Extended University page for MSCS

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)