Søg efter studenterprojekter

  1. 2022
  2. Accelerating Static Taint Analysis with CUDA Toolkit

    Jonas Askløf Svenningsen, Nicklas Emil Hjortshøj Hugöy, Thorulf Neustrup

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  3. Detecting Possible Timing Attack Vulnerabilities in OpenTitan Big Number Accelerator Programs

    Simon Svendsgaard Nielsen, Rasmus Nørgaard Fjeldsø

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  4. Rust's Borrow System in Static Analysis: Exploring Usages and Benefits of Rust’s Borrow System Through Static Taint Analysis

    Mathias Knøsgaard Kristensen, Felix Cho Petersen, Simon Vinberg Andersen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  5. 2021
  6. Formally Verifying Security Properties for OpenTitan Boot Code with UPPAAL

    Tobias Worm Bøgedal, Magnus Winkel Pedersen, Bjarke Hilmer Møller

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  7. IDE Extension for Reasoning About Energy Consumption

    Casper Susgaard Nielsen, Jacob Ruberg Nørhave, Anne Benedicte Abildgaard Ejsing

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  8. Identification of Cigarette Litter with the use of Outdoor Mobile Robots

    Mathiebhan Mahendran

    Robotteknologi (cand.polyt.), Kandidat, (Kandidatuddannelse) 4. semester, 2021

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  9. Optimal Design and Model Predictive Control of an Over Actuated UAV for Internal Wind Turbine Blade Inspection

    David Ársælsson, Daniel Revsbech Pedersen, Jesper Friis Ankersen

    Bæredygtig Energiteknik, Kandidat, (Kandidatuddannelse) 4. semester, 2021

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  10. Security Analysis of IP-cameras

    Thue Vestergaard Iversen, Thomas Lundsgaard Kammersgaard

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  11. Static Taint Analysis in Rust: Using Rusts Ownership System for Precise Static Analysis

    Hilmar Gústafsson, Emil Jørgensen Njor

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  12. 2020
  13. Data Flow Analysis for Discovering Bitflip Vulnerabilities in TinyARM

    Henrik Herbst Sørensen, Anton Christensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  14. KubeSharper: An SDK for Building Kubernetes Operators in C#

    Valér Orlovsky

    Computer Science (IT - International Track), (Kandidatuddannelse) 4. semester, 2020

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  15. Leveraging Symbolic Execution on Event-based Languages to Detect Data-Races

    Jacob Askløf Svenningsen, Casper Møller Grosen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  16. 2019
  17. Big Data Cloud Computing Infrastructure Framework: A framework for developing reproducible cloud computing infrastructures suitable for big data processing jobs

    Charles Robert McCall, Cristian Viorel Buda

    Computer Science (IT - International Track), (Kandidatuddannelse) 4. semester, 2019

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  18. Deep Learning Based Adversarial Examples Detection for Speech Recognition: A Comparative Study of Speech Processing Methods

    Amalie Vistoft Petersen, Jacob Theilgaard Lassen, Sebastian Biegel Schiøler

    Signalbehandling og Beregning (cand.polyt.), Kandidat, (Kandidatuddannelse) 4. semester, 2019

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  19. Strategisk analyse og værdiansættelse af Coloplast A/S

    Louise Lilleriis Larsen, Anders Tousgaard Kjær

    HD 2. del (Regnskab og Økonomistyring), (Diplomuddannelse) 4. semester, 2019

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  20. The Automata Learning Tool

    Morten Stig Mortensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  21. 2018
  22. Finding Data Leaks in Xamarin Apps by Performing Taint Analysis on CIL Code

    Simon Ellegaard Larsen, Mikkel Christian Lybeck Christensen, Thomas Pilgaard Nielsen, Søren Aksel Helbo Bjergmark

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  23. Kvantitativ Analyse af Single Event Upsets i ARM

    Morten Korsholm Terndrup, Thomas Rafn Andersen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  24. 2017
  25. icon.png

    VisuAAL - An Application for Visualizing Realistic Mesh Network Protocol Behavior Through UPPAAL Simulations

    Niels Bjørnbak Christoffersen, Rasmus Dan Petersen, Tim Hjermitslev Gjøderum, Kevin Haugaard Jørgensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  26. 2016
  27. PyT - A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

    Stefan Marstrand Getreuer Micheelsen, Bruno Thalmann

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  28. 2015
  29. Detecting Incorrect Wordpress Plugin Function Usage

    Jens Thomas Vejlby Nielsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  30. Eir - Statisk Sårbarheds Analyse i PHP Applikationer

    Mikkel-Alexander Vej, Morten Nørtoft, Kenneth Michael Jepsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  31. En Kop Joe: Et aktør-baseret programmeringssprog med indlejret samtidighed

    Birgir Mar Eliasson, Johannes Lindhart Borresen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  32. Moddelering af Java Card Applikationer Med Beskyttelsesmetoder I UPPAAL

    Anders Kaastrup Vinther, Jakob Jørgensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  33. 2014
  34. Botnet detektion ved brug af Skjulte Markov Modeller

    Egon Kidmose

    Netværk og Distribuerede Systemer (cand.polyt.), Kandidat, (Kandidatuddannelse) 4. semester, 2014

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  35. Sædelighed og offentlig orden i forbindelse med bioteknologiske opfindelser

    Sezen Andersen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  36. 2013
  37. SAT solving for minimering af antal falske positiver

    Milad Ruben Soro

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  38. SpideyBC: Static Resource Analysis of Safety-Critical Java Applications

    Mikkel Todberg, Jeppe Lund Andersen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  39. 2012
  40. Model-Based Schedulability Analysis of Hard Real-Time Java Programs using Software Transactional Memory

    Marcus Calverley, Anders Christian Sørensen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  41. 2011
  42. Accelerated Parallel Library: A .NET library for GPGPU programming using the Task Parallel Library abstraction

    Søren Alsbjerg Hørup, Søren Andreas Juul, Henrik Holtegaard Larsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  43. Java for Real-Time Embedded Systems

    Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow

    Software, Kandidat, (Kandidatuddannelse) 3. semester, 2011

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  44. WCET Analysis of Java Bytecode Featuring Common Execution Environments

    Christian Frost, Casper Svenning Jensen, Kasper Søe Luckow

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  45. 2010
  46. Multi-Camera Person Tracking using Particle Filters based on Foreground Estimation and Feature Points

    Rasmus Skovgaard Andersen, Martin Andersen

    Vision, Grafik og Interaktive Systemer, Kandidat, (Kandidatuddannelse) 4. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  47. OOPEG: An Object-Oriented Parser Generator Based on Parsing Expression Grammars

    Jacob Korsgaard, Jørgen Ulrik B. Krag

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2010

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  48. 2009
  49. Modular Execution Time Analysis using Model Checking: METAMOC

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

    Datalogi, Kandidat, (Kandidatuddannelse) 2. semester, 2009

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  50. Modular Execution Time Analysis using Model Checking (METAMOC)

    Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  51. 2008
  52. Automated Unit Testing: Developing a prototype for .NET

    Mads Bach-Sørensen, Mikael Malm

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  53. Automated Unit Testing - Developing a prototype for .NET

    Mads Bach-Sørensen, Mikael Malm

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  54. Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  55. Model-Based Schedulability Analysis of Real-Time Systems

    Henrik Kragh-Hansen, Petur Olsen, Thomas Bøgholm

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  56. 2007
  57. Monitor for GPS

    Olivier Bourrel

    Elektronik og IT, Kandidatuddannelsen (Spec. GPS Technology), 10. semester, 2007

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  58. Slicing for UPPAAL

    Uffe Sørensen, Claus Rørbæk Thrane

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  59. 2003
  60. k-divisive hierarchical clustering

    Addin Osman Mohamed Addin

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)

  61. 2002
  62. Genetic Programming applied to a real time game domain

    Jørn Holm, Jens Dalgaard Nielsen

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

    Studenteropgave: Speciale (inkl. HD afgangsprojekt)