Søg efter studenterprojekter

Uddannelse
Publikationsår
til
  1. Software, Kandidat
  2. p10.png

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

    Ida Thoft Christiansen, Lena Said Ernstsen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2023

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  3. Data Flow Analysis for Discovering Bitflip Vulnerabilities in TinyARM

    Henrik Herbst Sørensen, Anton Christensen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2020

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  4. Moddelering af Java Card Applikationer Med Beskyttelsesmetoder I UPPAAL

    Anders Kaastrup Vinther, Jakob Jørgensen

    Software, Kandidat, (Kandidatuddannelse) 4. semester, 2015

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  5. Datalogi, Kandidat
  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

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2017

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  7. TinyVM: A Fault-Tolerant Virtual Machine

    Martin Sørensen, Emil Custic, Rune Hansen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt

  8. Using XML Data in OLAP Queries

    Karsten Riis, Dennis Pedersen

    Datalogi, Kandidat, (Kandidatuddannelse) 4. semester, 2001

    Studenteropgave: Kandidatspeciale og HD afgangsprojekt