Search for student projects

Education
Publication year
to
  1. 2020
  2. Data Flow Analysis for Discovering Bitflip Vulnerabilities in TinyARM

    Henrik Herbst Sørensen, Anton Christensen

    Software, Master, (Master Programme) 4. term, 2020

    Student thesis: Master thesis (including HD thesis)

  3. 2017
  4. Off by a Bit: Exploring Bit-Flip Vulnerabilities Through Program Emulation and Symbolic Execution

    Anders Trier Olesen, Ólavur Debes Joensen, Jannek Alexander Westerhof Bossen

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  5. 2015
  6. Modelling Java Card Applications With Defensive Measures In UPPAAL

    Anders Kaastrup Vinther, Jakob Jørgensen

    Software, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  7. 2014
  8. TinyVM: A Fault-Tolerant Virtual Machine

    Martin Sørensen, Emil Custic, Rune Hansen

    Computer Science, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  9. 2001
  10. Using XML Data in OLAP Queries

    Karsten Riis, Dennis Pedersen

    Computer Science, Master, (Master Programme) 4. term, 2001

    Student thesis: Master thesis (including HD thesis)