Search for student projects

  1. 2023
  2. p10.png

    Value-set Analysis for RISC-V: Detecting Bitflip Vulnerabilities

    Ida Thoft Christiansen, Lena Said Ernstsen

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

    Student thesis: Master Thesis and HD Thesis

  3. 2018
  4. Quantitative Analysis of Single Event Upsets in ARM

    Morten Korsholm Terndrup, Thomas Rafn Andersen

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

    Student thesis: Master Thesis and HD Thesis

  5. 2017
  6. 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 and HD Thesis

  7. 2015
  8. 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 and HD Thesis

  9. 2014
  10. 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 and HD Thesis