Bachelor's Theses

On this page we present links to the bachelor's theses that have been produced by students of Computing Science and students of Informational Sciences at the Radboud University.

2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006

2025

  1. Abdullah Mahamed: Evaluating Sparse Convolutional Neural Networks for Binary Classification in Medical Imaging
  2. Alexandru Aioanei: ARMageddon - A Microarchitectural Duel Between the Cortex-M4 and M33
  3. Alwin van den Eyssel: Detecting Thai Speech Mispronunciation with Modern Automatic Speech Recognition
  4. Anna Lorenz: A Comparative Study of the Simplex Method and Bit-blasting for Linear Integer Feasibility
  5. Arvid Bonten: Soundness for program synthesis using separation logic
  6. Beau Maas: Firmware Extraction and Analysis of the TP-Link TL-MR3020 Router
  7. Ben van Wijngaarden: Linear type inference through use of standard types
  8. Bezayite Amenu: Developing a maritime cybersecurity threat and mitigation catalog
  9. Boldizsár Dénes: An investigation into the expressive power of Persistent and Reactive Turing machines
  10. Călin Iaru: Fuzzing the data link layer of ZigBee
  11. Carina Costache: A Comparative Analysis of Traditional Time Series and Machine Learning Models for Forecasting Influenza Patterns Across European Countries
  12. Catalin Sabau: Automation of Data Flow Analysis of Cryptographic Implementations
  13. Christy Bongers: Control Improvisation for Deterministic Finite Tree Automata
  14. Daan Eijkman: An Analysis of Apple's iMessage PQ3 Algorithm Using ProVerif
  15. Daan Mooij: Greener Thinking - can a sustainability model help professionals make more technically sustainable choices
  16. Daan Weessies: Side-channel resistant implementation of ASCON for RISC-V architectures
  17. Daniel Matias Suryadi Putra: User Intent Prediction for Improved E-Shopping Product Recommendations
  18. Daniel Schenk: Experimenting with measuring energy consumption of synchronous versus asynchronous programming
  19. Daniël Schuver: The Usability Cost of Privacy - User Burden of Browser-Based PETs
  20. Dieks Scholten: Playing Quantum Tic-Tac-Toe
  21. Dinand Blom: What does not kill you makes you stronger - employing an attack on MEDS constructively to reduce its signature size
  22. Dinesh Kumar: Evaluating Falco’s ability to detect lateral movement in Kubernetes
  23. Dylan Elens: An LLM-Based End-to-End Testing Agent for Web Applications
  24. Emmy Postma: Deep Acoustic Feature Extraction Using Pre-Trained Audio Embedding Models for Parkinson’s Disease Classification
  25. Emre Akdag: DisARMing Side Channels - Register Classification from Power Traces on ARM Cortex-M4
  26. Erica Fey: Do online trackers collect user selected text on web pages
  27. Floris Reuvers: Formalising Modal Embeddings of Call-by-Name and Call-by-Value
  28. George Dan: Natural Language Processing - Migraine and Diet
  29. Gideon de Hoop: Array Transformations and the Groupoid of Generalized Shuffles
  30. Harm Corporaal: Implementing the active automata learning algorithm L# in the AALpy framework
  31. Hung Pham: Evaluating LLMs for Personalized Movie Recommendations
  32. Ioana Dunăre: Fine Grained Leakage Models in a Simulated Pipeline Component for an arbitrary RISC-V Microcontroller
  33. Ioan-Radu Bocu: Object detection classification and depth estimation approach deployed on excavators in simulated environments
  34. Jarno van Arkel: Video games and privacy - A study of data linkage opportunities
  35. Joey van den Eijnden: Localhost Port Scanning via JavaScript and Its Security Implications
  36. Jord Cluitmans: Learning Predictive Monitors for Autonomous Vehicles Using Binary Decision Trees - A Case Study
  37. Jorn van Eldik: Neural networks in anti adblocker detection
  38. Konrad Błachnio: Computing correlations over the round function of SuperSonic
  39. Lars van der A: Dynamic Travel Suggestions with LLMs
  40. Laurian Duma: Private by Design or Exposed by Default
  41. Leonne Snel: Automata learning with an Incomplete Teacher using Apartness - An extension of the L# algorithm
  42. Lisa Aalbrecht: Municipal Data Transparency - Designing a digital platform for citizens about their data at the municipality
  43. Luuk Kablan: Misleading Ad Detection - Cryptocurrency scam ad classification on Facebooks ad library
  44. Luuk van der Heijden: Personalisation of e-mail subject generation using LLMs
  45. Marcelo Ribero Cerro: PhishGPT - Automating HTML Phishing Emails Using ChatGPT
  46. Markus-Hermann Raica: MITHril - Matrix Code Equivalence in the Head Digital Signature
  47. Martan van der Straaten: Diversity Of Topics as a consequence of Cutting Out Marginalisation
  48. Matej Hora: Grafting Dynamic Editor Trees - Recycling children and modular selector adding for Dynamic Editors in iTasks
  49. Matteo Gamberoni: When Bots Meet Blocks - CAPTCHAs in the age of AI
  50. Mihai-Alin Postolache: Transforming Audio Signals into Haptic Feedback for Deaf Individuals
  51. Niek Adams: Atomic Tasks in Task-Oriented Programming
  52. Niek van den Kieboom: Trusting Eduroam - Analysing Eduroam’s security
  53. Nikita Kuprins: Toward Sustainable Software Energy Strategies for Communication
  54. Noah Romeijnders: Portia Puzzles - Formalizing and Solving Portia Puzzles Using Logic and SAT Solvers
  55. Novi Liuther: Impact Analysis of Refactoring Methods on Energy Consumption
  56. Ophir Ackerman: Sustainable Code Intelligence - Evaluating AST-Based Batching for Large Language Model Code Analysis
  57. Paweł Wolny: Design and Optimization of a Grover's Oracle for Quantum Preimage Attacks on SPONGENT Hash Function
  58. Pelle Meijer: Verifying Structural Red-Black Tree Invariants using Liquid Haskell
  59. Peter Klein Haneveld: Reducing the Energy Usage of Android Applications - An Assessment of the Available Tools
  60. Rens Weerman: Implementing a Fully Homomorphic Encryption Scheme in Rust
  61. Robert Blaauwendraad: Evaluating Large Language Models for Code Smell Detection
  62. Robert van der Maas: The Potential Of Reducing Carbon Emissions By Demand Shifting In Dutch Data Centers
  63. Roel van Maanen: Investigating Adversarial prompts in Llama 2 Using Attention Maps
  64. Ruben van de Sande: Defining Apartness for Coupled Similarity on Labelled Transition Systems
  65. Sarp Ilgaz: Investigating High Entropy Client Hint usage in HTTP-2 and HTTP-3
  66. Sem Stammen: Package hierarchy recovery using word embeddings for flattened remodularized Java systems
  67. Siebe Hooghof: Revisiting the analysis of Latin sentence structure using mathematics
  68. Sjeng Vullers: Conformance Testing and Concrete Queries for Active Learning of Mealy Machines with one Timer
  69. Sjoerd van Dis: Integrating the principles of Responsive Web Design into iTasks
  70. Slavi Ivanov: Building a Pipeline to Connect Automatic Crossword Parsing with Solving
  71. Stefan Roman: Learn, Visualize, Assess - An accessible platform for teaching Graph Algorithms and Data Structures in undergraduate education
  72. Steyn Hommes: Canceled Security Policy - Examining the applicability of the Content Security Policy for WordPress websites
  73. Teodor Andrei Macovei: Comparison of TLS energy overhead in C and Rust and Python
  74. Thijs van de Griendt: The Complexity of Two Polyomino Region Puzzles
  75. Tijs Wouters: Hardware Implementation and Evaluation of the ROCKY Countermeasure for Ascon Against Fault Injection Attacks
  76. Tim Jansen: Using reinforcement learning to help with balancing a tower defense game
  77. Timo van der Straaten: Integrating Static Index Pruning methods into Zoekeend
  78. Todd Bellavia: Evaluating Local and Remote Storage Efficiency and Query Performance for CIFF-Based Inverted Indices
  79. Wassim Kebli: Evaluating the Susceptibility of Optical Character Recognition Systems to Homoglyph-Based Backdoor Attacks
  80. Wessel van der Lans: Extending String Diagrams of MDPs
  81. Yves van Haaren: Active Learning - A pessimistic approach to beat random sampling in expectation
  82. Zuzanna Pawlikowska: Spatial Analysis of Lymphocyte Positions in Cancer Tissue

2024

  1. Adam Farrag: Stellar Classification of Main Sequence Stars using Vision Transformers
  2. Alex Feenstra: Proving Correctness of Cryptographical Primitives through While
  3. Andrei-Radu Milicin: Investigating the impact of GitHub repository features on popularity
  4. Andrei-Sorin Ujica: Summarization for Long-Form Documents
  5. Anne den Hartog: Database energy benchmarks - an evaluation
  6. Artur Wiadrowski: Visualising divide-and-conquer algorithms with self-similar fractals
  7. Axel van Abkoude: Addressing the Addressability Problem - Dense-Padded Packed Booleans in SaC
  8. Bryan Rinders: Integrating PostGuard into Filesender
  9. Casper de With: choosing words algorithmically makes texts more beautiful
  10. Cato van Ojen: Think of your MEDS - Applying the MPC-in-the-head paradigm to MEDS for reduced signature size
  11. Chris Musteata: Detecting Brandjacking-Based Malvertising
  12. Clemens van den Braak: Predicting time intervals between epilepsy hospital checkups
  13. Daan Smeets: WhisperSage - Making Side-Channel Analysis for Post-Quantum Cryptography Accessible
  14. Eline Stehouwer: Measuring the energy overhead of computer language features
  15. Esther Kinderman: Evaluating and improving the accessibility of the NS ticket machine for illiterate users
  16. Faycel Harrathi: Fine-tune Whisper for Speaker Recognition
  17. George-Nicolas Nadejde: Improving AprèsSQI-s cost model for verification
  18. Hugo Hakkenberg: Utilizing machine learning and SHAP to uncover key variables for a healthier lifestyle in Type 2 Diabetes management
  19. Illya van Knippenberg: Implementations based on weighted Finite State Automata improve efficiency of Negative Selection Algorithms
  20. Imke Huisink: Data analysis on motivation for lifestyle changes
  21. Ivo Melse: Sufficient Conditions for k-completeness using Observation Trees and Apartness
  22. Jaap Aarts: Implementing in-Database Similarity Search
  23. Jasmijn Bookelmann: FPGA High Performance Computing
  24. Jasper Laumen: Minimising Q-Weighted Finite Automata over Z
  25. Jen Dusseljee: Optimising Lung Cancer Detection by Oversampling Malignant Nodules
  26. Jermo van Oort: Differential fuzzing of stateful systems using FlexFringe
  27. Jokubas Tumelis: Collecting and analysing signal measurements to localise cell towers
  28. Joram Ruijtenberg: Implementation of an Optimized Version of the Post-Quantum Signature Scheme ALTEQ
  29. Joris Ballemans: Using Scraped Data from Web Pages for Improving the Efficiency of Location Disambiguation
  30. Josja Koopmans: Distributed Virtual Waiting Room
  31. Julian Put: Learning Mealy Intersections
  32. Kutay Sezer: An Algorithmic Approach to Fixing Friet
  33. Lars Esselink: The state of OSS-Fuzz
  34. Lavika Singhal: Map your Neighborhood - Assessing an algorithm for solving the Isomorphism of Polynomials problem
  35. Luc Schrauwen: A SaC plotting visualisation integration in Jupyter
  36. Madelief Slaats: Exploring the Usability of Recursive Morphism Duality in the Fast Fourier Transform - An Implementation in Haskell
  37. Mark de Jong: Exploring sustainability in the computing science bachelor at Radboud University
  38. Martijn Sanders: The Lsharp Algorithm for Deterministic Finite Automata
  39. Martijn van de Wouw: Generalisations in Equivalence Proofs Using Rewriting Induction and Logically Constrained Term Rewriting Systems
  40. Michel van Wijk: Evaluating Reinforcement Learning Strategies in the Card Game Gin Rummy
  41. Mika Sipman: Constructing Zero-Knowledge Proof Systems on Sudoku Variants
  42. Mikhail Ushakov: Compiling While++ into Logically Constrained Term Rewriting Systems
  43. Milan Pullens: Using Large Language Models as an Information Retrieval Tool on Safety Data Sheets
  44. Mitchell Boesveld: From Multi Server Authentication to Multi Server Authorisation
  45. Mohamad Naseb Aljalab: Oracle Component Analysis on Pyannote speaker-diarization-3.1 Pipeline
  46. Nathalie Saba: Enhance engagement from middle school students with music as a context
  47. Nemo Ingendaa: Analysis and exploration of polynomial activation function - softRmax
  48. Nick van Oers: Pattern as an SAT problem
  49. Niels Boegman: Determining the core of the web
  50. Nikolai Savulkin: Investigating effects of electromagnetic noise on screen gleaning side-channel attack against HDMI connections
  51. Philipp Küppers: Exploring the Chemical Universe with Spiking Neural Networks
  52. Pim Leerkes: Finding New Asymptotic Bounds on the Minimal Optimal Strategy Sets of Parametric MDPs
  53. Rijk Kregting: Designing a Visualisation Tool for Energy Consumption Models in IT
  54. Robin Put: Efficient Elastic Alignment in CUDA
  55. Rowan van Rooijen: Model Learning of Lexers
  56. Ruben te Morsche: Finding the Optimal Backdoor Data Poisoning Attack
  57. Rutger Broekhoff: Formally defining the semantics for the Nix expression language
  58. Sabin-Gabriel Iacob: Polyhedra Folding Algorithms
  59. Samuel Padron: Predicting DNA sequence pair similarity with HyenaDNA
  60. Sofie Vos: Running iTasks tasks in the browser
  61. Stijn Vandenput: Lock-based Authenticated Encryption in a Multi-user Setting
  62. Sven Meijboom: Enhancing Large Language Models for Structured Data Extraction
  63. Taha Hammouchi: Intrusion Detection System for 5G Core Systems
  64. Teun van Gisteren: Filtered Feelings - Investigating Frequency Filters in Speech Emotion Recognition Models
  65. Thijs van den Berg: Analysing the structure of Latin sentences using formal grammar
  66. Thomas Ilmer: Bot Board - Design and preliminary evaluation of a dashboard visualizing GitHub bot activity
  67. Vincent Dankbaar: The disappearance of constant-time execution
  68. Violeta Sizonenko: Measuring Evolution of Cookie Dialogues
  69. Wout van den Berg: An analysis of Javascript sendBeacon method
  70. Yiğit Batuhan Yiğin: Developer-ChatGPT Conversations - Analyzing Developer Prompts
  71. Yori Jonkman: Evaluating The Use Of Entity Triggers As Explanations In Named Entity Recognition
  72. Yousif Badawi: Can we use Large Language Models to improve Automatic Speech Recognition and if so by how much

2023

  1. Alex Bui Nhat Linh: Analysing open-source 5G core networks for TLS vulnerabilities and 3GPP compliance
  2. Alperen Özkurt: Detection of AI-Made Artworks With One-Class Classification Algorithms
  3. Barıs Cagrı Atik: NFC - Exploring the Current NFC Market - Assessing Security Vulnerabilities and Potential Attacks
  4. Bart Veldman: Multi-user security analysis of three finalists of the NIST ligthweight cryptography competition
  5. Boudewijn van Gils: 3D Fishualizer
  6. Bram Kapteijns: Evaluating as a human
  7. Bram van Veenschoten: Syntax and Type Checking of Truncated Type Theory
  8. Bryan van de Ven: Cheating and anti-cheat system action impacts on user experience
  9. Camile Lendering: Inside the Cookie Jar - Tracking Consent in Digital Advertising
  10. Casper Fabritius: Level 1 BLAS routines in SaC
  11. Dick Blankvoort: Implementing Patch Theories in Homotopy Type Theory
  12. Dion Bremer: Visual Programming with the TopHat Builder
  13. Dirk Doesburg: Signatures in IRMAseal
  14. Ege Sarı: Improving Entity Linking Systems With DuckDB
  15. Elianne Heuer: Predicting wine prices using weather data
  16. Els de Haan: Differential Cryptanalysis of the SIMON block cipher
  17. Esther Shi: Developing a fallback decryption method for Postguard
  18. Falko Jansen: Deep Learning for Video Game Music Generation
  19. Felix Mölder: An investigation of the nested subset differential attack on the lifted unbalanced oil and vinegar signature scheme
  20. Fouad Lamsettef: Extending ProFuzzBench - A Benchmark for Stateful Fuzzers
  21. Gabriele Serafini: Fast And Furious - Implementing Optuna and Early Stopping in CNN-based SCA
  22. Gabriël Krouwel: Investigating the behaviour of IoT devices undergoing a deauthentication attack and its countermeasures
  23. Gijs Kopmeiners: The landscape of (un)balanced choices in cookie consent dialogues in Europe
  24. Harm Jacobs: Developing a book recommendation system
  25. Harm Roukema: Fuzzing JSON API Clients
  26. Henk Berendsen: Leakage Resilience of the Suffix Keyed Sponge
  27. Jasper Hage: Comparing the performance of MLPs in side channel attacks with different dataset - architecture customizations
  28. Jelle Medendorp: Stealth Acoustic Communication Application
  29. Jonathan Jagt: Security analysis of a TETRA Base Station air interface implementation
  30. Joost Grunwald: Stronghold - Automating corporate security
  31. Jorn Heibrink: Antivirus and EDR bypasses for initial access
  32. Jorrit de Boer: Solving Robust Reachability Using Quantified Boolean Formulas
  33. Julian van der Horst: Backdoor attack on deep neural networks using inaudible triggers
  34. Kevin van de Glind: Control Improvisation for infinite regular languages and feature-based parameters
  35. Leon Zhang: The potential of user experience design in countering email-based social engineering attacks
  36. Lisanne Weidmann: Pentesting the Web Application of Open5gs and Free5gc
  37. Lucas van Kasteren: Misusing browsers login managers for data exfiltration by third parties
  38. Luuk Maas: Extending Matrix's Functionality in a Secure and Sustainable Way
  39. Maikel Jans: An Accompaniment Chatbot for People Onboarding to Open-Source Software Projects
  40. Marco Sousa-Poza: Subjective Well-Being and Temperature
  41. Marijn van Wezel: Formalizing the query language of Semantic MediaWiki
  42. Mark Fijneman: Fuzzing open source OPC UA implementations
  43. Menzo van Kessel: Achieving multiparty deadlock-free communication through linear typing
  44. Michiel Kraan: Bit-scale instead of byte-scale integer arrays in C
  45. Mick van Beijnen: Unsupervised Topic-Based Sentiment Analysis for Twitter
  46. Niels Feij: Karatsuba Algorithm for multiplication of Linearized Polynomials
  47. Norbert Boudens: Optimizing Elephant v2 for ARMv7-M
  48. Pepijn van Grunsven: Attacking the power grid by minimizing the IPv6 search space
  49. Pien van den Abeele: Designing and building a 5G security learning platform
  50. Quinn Ketelaars: A Linear Cryptanalysis of the DST40 Block Cipher
  51. Quinten Kock: Efficiently calculating reachability probabilities in Markov chains
  52. Quintine Sol: Demystifying Black-Box Survival Models
  53. Rick Litjens: Extracting firmware from flash memory chips
  54. Rico te Wechel: Bridges as an SMT problem
  55. Robin Foekens: Security of the Sponge Construction with a Random Transformation
  56. Rutger Dinnissen: Semantics of Languages with Goto
  57. Simcha van Collem: Verifying a Barrier using Iris
  58. Stefan Weijers: A feasibility study on analyzing and predicting client-side energy consumption of web browsing
  59. Stef Gijsberts: Prusti in Practice - A case study of using the Prusti auto-active program verifier for Rust
  60. Sven van der Post: Accessible Process Mining - Developing a Business User Application Utilizing the Heuristic Miner Algorithm
  61. Tea Coroş: The security risks of unverified and recycled email addresses
  62. Thijs de Jong: Mosaic as a SAT problem
  63. Thomas Broekman: Review of HLS Toolchain - Bringing Flexibility and Performance to Software Engineers
  64. Thomas Rhemrev: Creating Better Error Messages by Improving Their Presentation
  65. Tomas Woldu: Tackling the Far Output Distinction Problem
  66. Tygo Francissen: Exploring Feature Importances for Predicting Flight Delays Using Machine Learning Algorithms and Transfer Learning
  67. Walter Levens: Can a smartwatch measure sleep onset
  68. Willem Medendorp: Discovering the jump - Extending automated Kubernetes security assessment
  69. Wouter Doeland: Automated Formal Proofs Verification and Analysis of Security Protocols

2022

  1. Abdulkarim Abdulkadir: Bidirectional Context-Sensitive DGA Detection Using DistilBERT
  2. Abel Lucassen: Weighted Negative Selection
  3. Alexander Wolters: Formalizing the C preprocessor
  4. Alexandros Banos: WTFS - WebTorrent File System
  5. Alex van der Hulst: Exploring the difference between 2DFA and DFA for G-automata
  6. Anda Zāle: The Extent of Data Gathering by Third Parties on Dutch Health Websites
  7. Andrea Minichová: MM1T Learner for the 4-Way Handshake Protocol
  8. Bas van der Linden: A Component Analysis of Neural Network Architectures for Spectral based Audio Source Separation
  9. Cas Visser: Exploring Adaptive Experiments
  10. Ciske Harsema: A security analysis of the TP-Link TL-WR802N Router
  11. Daniël Vos: Data Freshness in Booking Support Systems
  12. Dante van Gemert: Task Oriented Programming in Lua
  13. Elina Antonova: mTask semantics and its comparison to TopHat
  14. Floris Valentijn: Systematic Analysis on the effect of 4G LTE Reconfiguration Settings on Measurement Report Generation
  15. Gijs Thuis: Comparing shallow autoencoders to normalization standardization and PCA as preprocessing step for outlier detection
  16. Hamzah Al Zubi: GASCAR - Genetically Automated Synthesizer Configuration for Audio Replication
  17. Hans Lous: The Influence of Graph Metrics on the Performance of Pathfinding Algorithms
  18. Iwan Litjens: An MCTS-based AI playing The Crew
  19. Jelmer Firet: Acyclic Push-Relabel
  20. Jelte Smits: Stop the infodemic - Designing and evaluating a misinformation warning mechanism based on expert voting
  21. Joshua Steinmann: Optimizing Kubernetes Cluster Down-Scaling for Resource Utilization
  22. Julius Benjamins: The covariance matrix adaptation evolution strategy - CMA-ES - as a method for fitting biological agent-based models
  23. Kimberley Frings: Formalizing and proving knights and knaves puzzles in three valued logic in Coq
  24. Koen Sauren: Improving reinforcement learning performance in 2048 using expert knowledge
  25. Laura Kolijn: Generating and Solving Skyscrapers Puzzles Using a SAT Solver
  26. Leon van den Boogaard: User understanding and user acceptance of biometric authentication on mobile phones
  27. Luke van Leijenhorst: Evaluation and analysis of a transformer model for detailed PIO element extraction on medical literature
  28. Marie-Sophie Simon: Judging a Tweets credibility - The effect of signature labels on perceived Tweet credibility
  29. Mario Tsatsev: Parameter Inference of Gravitational Waves using Inverse Autoregressive Spline Flow
  30. Marten Straatsma: Towards Formalising the Isoperimetric Theorem
  31. Max Jongmans: Online Political Participation in the Age of Digital Surveillance
  32. Michiel van de Noort: A Study of CNAME Cloaking-based Tracking on Dutch Websites
  33. Muhammad Salibi: A Comparative Study of Group Fairness Metrics for Ranked Outputs
  34. Nadezhda Dobreva: Combining Knowledge From Pre-trained Networks And Weight Agnosticism For Evolving Transferable Models
  35. Niccolò Carrivale: QuandleRUN
  36. Niek Terol: Computing apart states in a partial Mealy machine
  37. Niels Starren: Johnny can Encrypt - A Usability Study of IRMAseal
  38. Patrick van Beurden: Blueprints for out-of-core code generation using CUDA
  39. Polina Moroza: Comparison of temporal pooling methods and fusion strategies
  40. Quoc An Ha: Investigating Usability Problems in Email Encryption Tools Based on IBE
  41. Rick ten Tije: A comparison of counterexample processing techniques in Angluin-style learning algorithms
  42. Robin Holen: On iterated transducers and closure under hypotheses - Discussing the hidden relationship
  43. Robin Immel: Using automated feedback as a base for performing self-regulated learning in programming exercises
  44. Sam Haeck: Hack my audio back
  45. Sander Suverkropp: Towards a Formalization of Lsharp in Coq
  46. Seraph Jin: Classification and Interchange of Informal and Formal English Text
  47. Stefan Boneschanscher: Feature-based Randomness Constraints in Control Improvisation
  48. Stefan Jans: How to Visualise Decision-Making using Preferential Voting
  49. Stefan van Ieperen: Sniffing communications between an Arduino and its peripheral sensor
  50. Stefan Vlastuin: Educational Escape Rooms in Secondary Computer Science Education
  51. Thomas de Haan: Dark patterns in games - how do they influence player experiences and their willingness to give up personal information
  52. Thomas Klein Breteler: Improving OpenCRE
  53. Thomas Kolb: Fine-tuning Wav2vec2.0 on caption data
  54. Thomas Luijkman: Developing ELVis - A 4G network analysis and visualisation tool
  55. Ties Speel: Cryptanalysis of SPARKLE ARX-Box Alzette
  56. Tim van Alten: Investigating the Impact of Gamification on the Quality of Digital Mindfulness Practices
  57. Tom Rust: Fuzzing Zigbee using Z-Stack
  58. Tom van der Waa: The Acceptance of Digital ID Software among Dutch Elderly Citizens
  59. Vamsi Yerramsetti: ATIA - Automated Tongue Image Analysis for autoimmune disease detection with supervised machine learning models

2021

  1. Alessandra van Veen: Cookie Compliance of Dutch Hospital Websites
  2. Amber Pater: Pumping Lemma for Deterministic Weighted Automata
  3. Astrid van der Jagt: Extending context-free grammars with conjunction and negation
  4. Bart Hofman: Automated Malware Attribution - Using machine learning on binaries
  5. Bart Janssen: Incorporating Computational Thinking in Calculus lessons - a Characterisation of Algorithmic Thinking and Generalisation Skills
  6. Bram Pulles: Analysis of Akari
  7. Cas Haaijman: Axiomatising Trace Semantics for an Algebra with Parallel Composition
  8. Daan Derks: Separating the Heartbeats of Twins during Pregnancy using Random Forest
  9. Denise Verbakel: Influence of Design on Differential and Linear Propagation Properties of Block Cipher Family Skinny
  10. Dor Mariel Alter: Optimizing the NIST Post Quantum Candidate SPHINCS+ using AVX-512
  11. Evert van 't Oor: How time affects Facebook Reactions
  12. Evgeniya Ovchinnikova: Implementation of Integer Addition on a Spiking Neural Network
  13. Ferran van der Have: The X3DH Protocol - A Proof of Security
  14. Gerhard van der Knijff: Solving and generating puzzles with a connectivity constraint
  15. Giovanni Uchoa de Assis: Differential Analysis of SATURNIN and SPONGENT
  16. Hermen van Westen: Effect of Surface Form Dictionary on Effectiveness in Entity Linking
  17. Jesse Ravensbergen: Biased Perceptions of Media Sources
  18. Jordy Aaldering: A new semantics for array programming languages - how to introduce some laziness without being lazy
  19. Julius Landsman: Analysis of Confined Blocks World
  20. Kirsten Hagenaars: Using Equations to Define Non-Structurally Recursive Functions in Coq
  21. Koen Verdenius: A POMDP model for safety-critical systems and its deteriorating sensors
  22. Lars Jeurissen: E-mail phishing prevention proposal - CEPP
  23. Lisa Hoek: Web classification using DMOZ
  24. Lisa Kalse: Supply of and Demand for Information Regarding Update Support when Buying Smartphones
  25. Mathieu Bangma: ECDSA Based 2FA in the Browser
  26. Maurice Dibbets: Discovery of information disclosure vulnerabilities in the software development process
  27. Maxim van Loo: Automating the Light Switch
  28. Menno Bartels: Closure Properties of Nominal Languages under Substitutions
  29. Michiel Philipse: Distributed Knowledge Proofs in the Coq Proof Assistant
  30. Michiel Verloop: A Critical Review - Exploring Optimization Strategies in Board Game Abalone for Alpha-Beta Search
  31. Mike Schopman: Validating the accuracy of the MaxMind GeoLite2 City database
  32. Mitchel Jansen: Recognising Client-side Behavioral Detection of Web Bots
  33. Niels van Harten: Generating Mutation Operators for a Search-Based Model-Driven Implementation of the Next Release Problem
  34. Onno de Gouw: Mutual privacy and good manners on the social web
  35. Paolo Scattolin: A proposal for the use of Attack Trees in a semi-formal framework for modelling attacks and tolerance solutions with Petri Nets
  36. Patrick Lodeweegs: Approaches to stateful fuzzing of the IRC protocol
  37. Reinier Sanders: To Click Or Not To Click - A User Study on Phishing Click-Through Rates in Instant Messaging Applications
  38. Roland Leferink: Search personalization on Google.nl
  39. Stefan Popa: You Have Been Previewed - Information Leaks of Content Previews in Mobile Messengers
  40. Steven Bronsveld: Transducer Degrees
  41. Steven Maarse: Coupled transformation of feature models and domain models for software product lines
  42. Suzan Erven: Fusible Numbers and the Provability of Computability
  43. Tijn Berns: Exploring Unlearnable Examples
  44. Tom Aarsen: Implementation Evaluation and Comparison of Python Modules implementing Morphological Analysis and Generation
  45. Willem Lambooy: Linearly and arboreally stackable quantum-dot cellular automata and their discrete simulation
  46. Wouter Damen: Generating Kick Drum Samples with Neural Networks
  47. Wouter van Battum: Using IRMA as an authentication method for eduVPN

2020

  1. Abe Heemskerk: Introducing Programming in Primary Education - A Review of Scientific Literature
  2. Arie-Jan Kruijsse: Online verificatie van leeftijd en gezag
  3. Arne Diehl: Cognitive Psychology For Black Box Models - On Holistic And Featural Face Processing in Neural Networks
  4. Auke Zeilstra: An exploration of static analysis used on C cryptography libraries
  5. Bart Pleiter: Fuzzing Wi-Fi in IoT devices
  6. Bob Ruiken: The Impact Of Sorts On Non-Termination Analysis Of Term Rewriting Systems
  7. Ceel Pierik: Infinite Omniscient Sets in Constructive Mathematics
  8. Charlotte Leuverink: An implementation of Andersen-style pointer analysis for the x86 mov instruction
  9. Daniel Goßen: Design and implementation of a stealthy OpenWPM web scraper
  10. Dave Artz: Information Technology Support for the Arterial Thoracic Outlet Syndrome
  11. Egidius Mysliwietz: Identifying rootkit stealth strategies
  12. Eline Bovy: Comparison of the second round candidates of the NIST lightweight cryptography competition
  13. Ellen Gunnarsdóttir: Trezor One side-channel analysis setup
  14. Evelien van Workum: Perceptions of Dutch - Former - CS Teachers regarding the Assessment of Fundamentally New Learning Objectives
  15. Floris Hendriks: Analysis of key management in Matrix
  16. Gunnar Noordbruis: Energy efficient WLAN using WiFi standards on an Archer C7 AC1750 access point
  17. Hylke de Zee: Informatie behoeften Google Analytics gebruikers
  18. Ilse Arwert: Embryo Classification using Neural Networks
  19. Jaap Dijkstra: Gaussian Processes versus Autoregressive Wild Bootstrap - Climate Application
  20. Jan Aarts: A GWAS about the wingsize of Nasonia Vitripennis
  21. Jesse van Son: Security by design in Azure DevOps pipelines - a case study at SpendLab technology - redacted
  22. Job Doesburg: Using IRMA for small scale digital elections
  23. Johan Sijtsma: Creating a Formal Model of the Game 2048
  24. Joren Vrancken: A Methodology for Penetration Testing Docker Systems
  25. Josien Visschedijk: Text mining pathology reports
  26. Julian Besems: A Specification Language and Semantics for Architectural Design
  27. Kirsten Kingma: Parsons' puzzles as formative assessment
  28. Koen Wösten: Abstract Nonsense and Programming - Uses of Category Theory in Computer Science
  29. Lars Kuipers: Analysis of Attack Trees - fast algorithms for subclasses
  30. Lars van Rhijn: Using optimized electric vehicle charging for demand side management
  31. Laura Philipse: Routing Algorithms for Autonomous Agricultural Vehicles
  32. Luko van der Maas: Creating Canned Recursion in Functional Programming Languages from Category Theory
  33. Luna Elise Schernthaner: Mediation Analysis of Nurse Practitioner Impact on Renal Outcome in CKD Patients
  34. Marc van de Werfhorst: Security recommendations for Agile and DevOps development at Ridder Data Systems
  35. Maris Galesloot: Exploring taint analysis methods for the grey-box learning of Java systems
  36. Matti Eisenlohr: The effects of search languages on multilingual online news consumption
  37. Mauk Lemmen: Optimizing Elephant for RISC-V
  38. Michael de Jong: Java Implementation and Analysis of Multi-party Private Set Intersection Protocols
  39. Michel de Boer: Secure communication channels for the mTask system
  40. Milan van Stiphout: Flood-It as a SAT Problem
  41. Mischa van Reede: Evaluating the practicality of using blockchain technology in different use cases in the healthcare sector
  42. Pascal Bongartz: Automatic code generation for protocols via Dezyne and Nail
  43. Pascal Engelbarts: Technology usage patterns of the Dutch youth in relation to social isolation
  44. Rick Koenders: Intuitionism in Lean
  45. Rick van der Wal: The usefulness of automated style-related feedback to object-oriented programming students
  46. Romy Stähli: Access Control in a Task-Based Methodology
  47. Ruben Holubek: Designing and evaluating a learning activity about debugging for novice programmers
  48. Steven Wallis de Vries: Designing a simple and secure email delivery protocol - SMTPsec
  49. Tobias van der Werff: Detecting Fingerspelling in Sign Language Videos Using Pose Information
  50. Toine Hulshof: Cross-Platform Mobile App Development - Translating SwiftUI to Jetpack Compose and vice versa
  51. Tom Smitjes: Connecting Mixed-Integer Linear Programming and Finite-memory POMDP Strategies
  52. Tosca Klijnsma: Semantic Equivalence of Task-Oriented Programs in TopHat
  53. Yannick Hogewind: Data-Driven Estimation of Retail Building Energy Consumption

2019

  1. Constantin Blach: Xoodoo Trail Analysis
  2. David Korsman: De oorzaken en gevolgen van het uitstellen van de IPv6-adoptie
  3. Dennis Kleverwal: Writing with Dobot Magician
  4. Gijs Hendriksen: Extending WASP providing context to a personal web archive
  5. Hendrik Werner: The State of Entropy Generation in Practice
  6. Hendrik Willing: Effectiveness of Common Defense Mechanisms Against Adversarial Inputs for DNN based Android Malware Detectors
  7. Huy Nguyen: Exploring Python as a replacement for C++ in Imperative Programming for Computing Science at Radboud University
  8. Jeroen Wijenbergh: Performance comparison of DNS over HTTPS to unencrypted DNS
  9. Justin Hende: MineChecker - A tool for detecting click-based browser cryptomining
  10. Kevin Heijligers: Algoritmen unplugged - conceptueel begrip van leerlingen in het voortgezet onderwijs
  11. Lars Jellema: Optimizing Ascon on RISC-V
  12. Lennart Jansen: Maatregelen ter bescherming van patiëntendossiers van extra beschermde personen tegen oneigenlijke inzage in ziekenhuizen
  13. Maaike van Leuken: Comparing Correlation Coefficient and Difference of Means in a Differential Power Analysis Attack
  14. Maarten Dorrestijn: Finding the guard leveraging bandwidth statistics to identify TOR guard nodes
  15. Manuela Bergau: Human-in-the-loop Strategy Synthesis PAC-MAN verified
  16. Max van Deurzen: The anatomy of the modern window manager - a case study for X in an Agile manner
  17. Nick Nibbeling: Comparing privacy plugins
  18. Nienke Wessel: The Semantics of Ownership and Borrowing in the Rust Programming Language
  19. Raka Schipperheijn: Implementing Xoodoo with protection against single fault attacks on Cortex-M4
  20. Reinier Joosse: An Extended Algorithm for Learning Serial Compositions of Mealy Machines
  21. Richard van Ginkel: Security in public Wi-Fi networks
  22. Robin Smit: A machine learning approach for recommending items in League of Legends
  23. Sam Sweere: Increasing the Perceptual Image Quality of Adversarial Queries for Content-based Image Retrieval
  24. Thomas_van_der_Burgt___Implementing_the_NIST_lightweight_cryptography_candidates_Xooday_and_Subterranean_2.0
  25. Thomas van Ouwerkerk: Investigating the minimality of the ZH-calculus
  26. Thomas Welten: Predicting Pelvic Floor Surgery Outcomes

2018

  1. Aaron Visschedijk: Trading Bitcoin using artificial neural networks
  2. Aucke Bos: Visulizing differences between HTML documents
  3. Bart Gruppen: From mu-regular expressions to CFGs and back
  4. Bart van den Boom: State machine inference of thread networking protocol
  5. Bart van de Put: Scoring Entity-Relationship Diagrams Drawn by a Computer Algorithm
  6. Bas Hofmans: Transducers over G-sets and their properties
  7. Bram in t Zandt: Software Supply Chain Security for Banking Websites
  8. Dion Scheper: Irma over Bluetooth
  9. Evi Sijben: A deep residual network for recognizing cluster-based generic photo categories
  10. Frank Gerlings: Digital flowchart maker
  11. Giel Besouw: Simulating NXT robots
  12. Gijs Cuyck: A complete version of the ADS method for comformance testing
  13. Hoang Gia Linh: Optimization of the NTT function on ARMv8-A SVE
  14. Ischa Stork: Performing an online template attack on two different implementations of FourQ
  15. Janne van den Hout: Continuations in functional programming languages
  16. Jan Potma: An exponential construction for Sokoban
  17. Jasper Haasdijk: Searching IPFS
  18. Jelle Loman: Comparing the performance of the Laplace and Staircase mechanisms in differential privacy
  19. Jeremy Guijt: Checking model learning hypotheses with symbolic execution
  20. Jeroen van Alem: Improving Mobile Ad Hoc Networks in Realtime Situations
  21. Jeroen van Voorst: Augmented reality as a general indoor and outdoor navigation solution
  22. Joep Veldhoven: Automata extended to nominal sets
  23. Jonathan Moerman: Evaluating the performance of open source static analysis tools
  24. Joris den Elzen: Characteristic Formulas and CakeML
  25. Jos Craaijo: An efficient parsing machine for PEGs
  26. Jules van Thoor: Learning state machines of TLS 1.3 implementations
  27. Leo Cornelissen: Simulating Lego Mindstorms EV3 robits using Unity and Python
  28. Lotte Fekkes: Comparing Bitcoin and Ethereum
  29. Mark Wijkhuizen: Security analysis of the Itasks framework
  30. Marnix Suilen: Reachability properties for uncertain MDPs
  31. Max Leijtens: Solar panels and LoRaWAN
  32. Mees Neijenhuis: Improving decision tree learning by looking ahead
  33. Mick Koomen: Using power analysis to differentiate between malicious repackaged apps and clean apps
  34. Nathan van Beusekom: Properties of codings in lambda-calculus
  35. Niek Janssen: Stateful Programming in Clean
  36. Niels Drueten: Security analysis of DTLS 1 2 implementations
  37. Niels van den Hork: Data Representatie van Afbeeldingen in het VO Lesontwerp en Begripsproblemen
  38. Nikki van der Gouw: Representatie van spraak in diepe neurale netwerken
  39. Noel Bangma: Ascon An attempt in NEON on the Cortex-A8
  40. Phil Geelhoed: Investigation into voice search
  41. Randy Wanga: Analysing Spotify listening data from Armada music
  42. Rick Lukassen: Determining the Neo-Piagetian reasoning level of novice programmers
  43. Robin Elbers: On the replication of CycleGAN
  44. Sander Hendrix: Accessing PEP data
  45. Sebastiaan Versteeg: Inferring state machines of Tunneled Direct-Link Setup
  46. Serena Rietbergen: 2-Way Finite Automata
  47. Stan van Lier: Robustness of federated averaging for non-IID data
  48. Tiko Huizinga: Using NFC enabled Android devices to attack RFID systems
  49. Timo Maarse: Parsing with derivatives in Haskell
  50. Timo Schrijvers: Learning register automata using Taint analysis
  51. Tom Nijholt: Why do we need and want cryptocurrency
  52. Tom Sweers: Autoencoding credit card fraude
  53. Willem van Summeren: Tree Automata
  54. Wouter de Boer: Power Analysis of the Ledger NanoS

2017

  1. Bart Veldhuizen: Automated state machine learning of IPsec implementations
  2. Camil Staps: Code-generation-for-the-Thumb-2-instruction-set
  3. Erin van der Veen: The Practical Performance of Automata Minimization Algorithms
  4. Flip van Spaendonck: Comparing Web Page Layouts using Tree Edit Distance
  5. Jan Martens: Parsing-expression-grammars-constructing-a-linear-time-parser
  6. Jordy Gennissen: Gamut Sifting through Images to Detect Android Malware
  7. Laurens Kuiper: Axis-Parallel Five-in-a-Row is PSPACE-Complete
  8. Luuk Arts: Comparing Discretization Methods for Applying Q-learning in Continuous State-Action Space
  9. Martin Meyers: Side channel protected Keyak on ARM Cortex-M4
  10. Marvin van Bekkum: Een technische en juridische analyse van het protocol van de Veilige E-mail Coalitie
  11. Mathis Sackers: A Comparison of String Distance Metrics on Usernames for Cross Platform Identification
  12. Matthias Vogelaar: Defining the Undefined in C
  13. Michel Botros: Supervised Learning in Human Activity Recognition based on Multimodal Body Sensing
  14. Michel Kok: A Context-based Introduction to Finite State Automata in Secondary Education
  15. Oussama Danba: Implementing the authenticated cipher MORUS using NEON
  16. Robin Tonen: Exploring Variable Ranges in Machine Learned Models
  17. Sietse Mooren: Link prediction op het RU domein
  18. Stan Derksen: Creating-a-secure-virtual-private-network-using-minimal-code
  19. Tessa Schlief: Leren-Programmeren-in-Python
  20. Thijs Voncken: Procedural-maze-generation-an-L-System-based-approach
  21. Thijs Werrij: Het-uitbreiden-en-evalueren-van-scatterplots
  22. Tim van Dijk: A high-performance threshold implementation of a BaseKing variant on an ARM architecture
  23. Toon Lenaerts: Improving-protocol-state-fuzzing-of-SSH
  24. Twan Cuijpers: Recognizing text in the wild
  25. Ward Theunisse: Breaking the chain Security analysis of a pilot system for detainee monitoring in the Dutch Custodial Institutions Agency
  26. Willem Boumans: Web tracking and current countermeasures

2016

  1. Abdullah Rasool: AAWSOME
  2. Bauke Brenninkmeijer: Catching IMSI-catcher-catchers
  3. Gerben van der Lubbe: A New Hope for Nussbaumer
  4. Ivar Derksen: HTML5 Tracking Techniques in Practice
  5. Jan Schmidt: Towards More Flexible Automatic Decision Making
  6. Jeftha Spunda: Approximate Nearest Neighbor Field Computation via k-d Trees
  7. Justin Mol: The Evolvability of iTasks using Normalized Systems
  8. Koen Basten: Classifying Landsat Terrain Images via Random Forests
  9. Lars Kuijpers: Invloed van MetaCost op imbalanced classificatie problemen
  10. Laurens Brinker: Security analysis of the IRMA app using SPARTA and fuzzing
  11. Maarten Schellevis: Getting access to your own Fitbit data
  12. Matjah Sonneveld: Protecting app secrets in Android
  13. Matthias Ghering: Evil Twin Vulnerabilities in Wi-Fi Networks
  14. Nick Tönissen: Een tool voor acceptatieonderzoek naar IT
  15. Patrick Tan: How to Evaluate Network Models Used in Clinical Decision Making
  16. Paul Huberts: Het gebruik van architectuurconcepten bij de ontwikkeling van web-mobiele applicaties
  17. Sander van Dam: Sufficient conditions for sound hashing using a truncated permutation
  18. Stijn Meijer: Secure Location Verification for ADS-B
  19. Ties Robroek: Accelerating BCCD using parallel computing
  20. Timo van Niedek: Phonetic Classification in TensorFlow
  21. Tom Nies: Privacy Protection Against Cross-Device Tracking Methods
  22. Tom Nikken: Een Deductieve Semantiek voor iTasks
  23. Tom Sandmann: Relevant biomarkers in the prediction of good and bad days for multiple sclerosis patients
  24. Wietse Kuipers: Improving matchmaking with game data
  25. Wouter van der Linde: Parallel SHA 256 in NEON for use in hash based signatures

2015

  1. Aaron van Geffen: Digitizing an interactive collaborative teaching methodology using web technologies
  2. Bas Elbers: De menselijke maat in een zich ontwikkelende techniek
  3. Berry Lyklema: Social Media & Werkafspraken
  4. Charlie Gerhardus: Een ownership based garbage collector voor de taal cgt
  5. Daniel Roeven: Snap-to-Style
  6. Daniel van Loon: Het overzichtelijk houden van kennis bij het gebruik van Scrum
  7. Demian Janssen: On-parsing-expression-grammars
  8. Dion van de Vooren: Hoe accuraat kun je de populariteit van muziek voorspellen met behulp van social media
  9. Emma Gerritse: Herbrands theorem
  10. Jolein Kluten: Inzet-van-speelelementen-bij-organisatie-veranderingen
  11. Jonathan Seesink: The applicability of Grinbath EyeGuide Tracker to mobile devices for usability testing
  12. Julian Neeleman: Optimisations and Generalisations of Retrograde Analysis
  13. Koen Vijverberg: Finding hyperintensities in the brain using unsupervised feature learning
  14. Leon Botros: Optimizing NORX for Atmel 8bit AVR microcontrollers
  15. Luuk Scholten: Transforming ORM into O-RM
  16. Martin Huyben: Toepassingen in COcaml
  17. Mats Ouborg: Formalizing Group Model Building
  18. Maurice Knoop: Introduction to YARMIS a dynamic alternative to RMI
  19. Michael Jansen: Smartphone privacy demo
  20. Rick Erkens: The Turing machine model extended with interaction
  21. Rob ten Berge: Statistical Model Checking of a Digital Hydraulic Power Management System
  22. Ronnie Swanink: Persistent-effects-of-man-in-the-middle-attacks
  23. Sanne Boumans: Lost in Translation Automatic Learning of Statistical Models for Language Translation
  24. Simon Brugman: Computationally Feasible Logo Recognition using Deep Learning
  25. Stan Philipsen: Usability van Wikipedia editors
  26. Stijn Voss: Training the CIA model using back propagation
  27. Sven Arissen: 414 bit multiplication on the ARM Cortex M0
  28. Thomas de Bel: K Means clustering of a database with PTSD and other psychiatric patients
  29. Thom Wiggers: Implementing CAESAR candidate Prost on ARM11
  30. Tobias Schroeter: Het gebruik van Automated Assessment Tools in programmeercursussen
  31. Tom Evers: Twee-manieren-voor-het-leren-van-een-DTD-bij-voorbeelden-van-XML-documenten
  32. Tom van Bussel: Inferring gene regulatory data

2014

  1. Ben Brucker: Government intervention on consumer crypto hardware
  2. Gerco van Heerdt: Efficient Inference of Mealy Machines
  3. Gerdriaan Mulder: LTE WiFi Handover Strangelove
  4. Jip Dekker: Generating Google Go framework from Uppaal models
  5. Joep Top: Een BASS-FinLog achitectuuranalyse
  6. Jory van Keulen: Smart Charging A privacy and security analysis
  7. Lars Bade: Vertrouwelijkheid in het iRN
  8. Laurens van Dijk: Finding musical genre similarity using machine learning techniques
  9. Marvin Barron: Shortest Path Estimation for small world networks
  10. Max Tijssen: Automatic modeling of SSH implementations with state machine learning algorithms
  11. Mirjam van Nahmen: Automatically Learning a Model of the SSH2 Transport Layer
  12. Moritz Neikes: Efficiency of large scale DC networks
  13. Patrick Verleg: Cache Cookies searching for hidden browser storage
  14. Pien Walraven: Communicatie binnen software development teams Scrum versus waterval
  15. Rafael Alejandro Imamgiller: Formal Characterisation of the Functional Strategy
  16. Ramon van Sparrentak: A concrete deskolemization algorithm
  17. Rodin Aarssen: Proving a folk theorem using Kleene Algebra with Tests
  18. Tim Janssen: A Linear Quantile Mixed Regression Model for Prediction of Airline Ticket Prices
  19. Wesley Janssen: Curve25519 in 18 tweets

2013

  1. Bas van Zadelhoff: Towards Large Diagnostic Bayesian Network Models
  2. Ben Siebert: Smartphone-privacy
  3. Bram Arends: Quaternionen voor proper rigid body transformations in computer graphics
  4. Eduardo Pablo Novella Lorente: Reverse engineering Internet Banking
  5. Elmar Dongelmans: Leerstijlen en e-learning
  6. Idzard Stoker: Computational thinking in lesmateriaal voor informatica
  7. Joel Cox: Profiling knowledge workers using open online profiles
  8. Joeri Arendsen: Advance Organizers
  9. Joost Janssen: The ACCQ Methodology Assuring Consumer Satisfaction of Cloud Service Quality
  10. Joost Rijneveld: How the Dutch broke the Japanese Blue Code in the late 1930s
  11. Judith van Stegeren: Exploring the inference problem for D0L-Systems
  12. Kelley Philip van Evert: Graph models for the untyped lambda-calculus
  13. Kevin Valk: AndroidCard A framework for writing NFC applets on Android
  14. Koen Buitenhuis: DigiD vs. JavaScript the risk of using third party JavaScript on government websites
  15. Koen van Ingen: Cookiewalls Een probleem met een technische oplossing
  16. Linus van Elswijk: Hierarchical Path-Finding Theta star Combining HPA star and Theta star
  17. Maarten Bovy: Digitale medische verslaglegging Een koppeling tussen patient conditie en dossier
  18. Martijn Terpstra: WhatsApp and privacy
  19. Mathijs Vos: Voor de draad ermee Een vakdidactische verkenning van programmeren met threads
  20. Matthijs Hendriks: Analysing Multicriteria Route Planning
  21. Nicky van Rijsbergen: Responsible Disclosure een kritische beschouwing
  22. Niels van der Weide: Computing Exact Solutions of Initial Value Problems
  23. Petra van den Bos: Vakdidactische aspecten van security
  24. Ramon Janssen: Learning a State Diagram of TCP Using Abstraction
  25. Raoul Estourgie: Analysis of Android Authenticators
  26. Robin Munsterman: Equality of infinite objects
  27. Sanne Derckx: Is de smartphone smart genoeg voor ouderen
  28. Sven van Valburg: Security of Browser Add-ons A Firefox 21 Case Study
  29. Thomas Naegele: MapReduce Framework Performance Comparison
  30. Wouter Geraedts: Time-Based Modeling and Verification of Flow Systems in UPPAAL

2012

  1. Bas Visser: Facebook Privacy
  2. Bas Vossen: Problem Solving Perspectives
  3. Beau Verdiesen: The webmail experience
  4. Christiaan Hillen: The IT Anamnesis
  5. Danny Romme: Hoe denken middelbare scholieren over de Informatiewetenschappen
  6. Dennis Brentjes: Concurrency issues in the iTasks3 framework
  7. Eamonn Cassidy: Hoe draagt draadloze communicatie bij aan de procescommunicatie binnen de Nederlandse Spoorwegen
  8. Erik Boss: Evaluating implementations of SSH by means of model-based testing
  9. Feike Geerts: Usability Microsoft Word
  10. Ferdi van der Werf: Op zoek naar mogelijkheden en randvoorwaarden voor robotica onderwijs in het VWO
  11. Hans Harmannij: Logging NFC data on a Google Nexus S
  12. Ivan Koster: Reinforcement Learning and the Parallel Actions Common Goal problem
  13. Jan Vogels: Regels voor Serious Gaming in Requirements Engineering
  14. Jasper van Duijnhoven: How can game genres contribute to the learning process
  15. Joost Kraaijeveld: Probabilistic causal logic in discrete event training simulations
  16. Koray Yanik: Designing a functional and minimalistic Operating System
  17. Ko Stoffelen: Comparison of chain merge behaviour of TMTO methods
  18. Manu Drijvers: Model Checking Tamper-Evident Pairing
  19. Marcel van der Made: Een case-study naar het leren van real-time automaten
  20. Marc Schoolderman: Fuzzy lexical matching
  21. Marijn van der Zaag: Digitalisering van contant geld
  22. Mark Zandstra: Genereren van operationele specificaties aan de hand van UML diagrammen
  23. Mehdi Aqadjani Memar: Hardware Onafhankelijk Besturingssysteem
  24. Michiel van Lierop: Crossing Borders an Analysis of the Experiences of Dutch Bachelor Students Working on the Community Outreach Project in India and Zambia
  25. Niklas Weber: Typed Skipgrams Investigated
  26. Patrick Schileffski: Do not track
  27. Peter Maandag: Solving 3-Sat
  28. Philipp Jakubeit: Implementation and Analysis of OpenPGP Functionality via NFC
  29. Robert Kleinpenning: Is Javacardsign correct and secure
  30. Roberto Alves de Almeida Junior: Model-based Testing with a B Model of the EMV Standard
  31. Sjors Gielen: SIM Toolkit In Practice
  32. Stein Keijzers: Voxel Pad Reductie
  33. Tim Cooijmans: Internetverkeer als bewijsmateriaal
  34. Tom de Ruijter: Online and co-regularized algorithms for large scale learning
  35. Willem Burgers: Session Proxy A prevention method for session hijacking in Blackboard
  36. Xander Damen: Een keuze voor webserver architecturen afhankelijk van het dynamisch karakter van een website

2011

  1. Anne Westerhof: Antivirus software versus Malware
  2. Bart Leusink: Serious Gaming in Software Engineering
  3. Bart Lutgens: Stealth SMS Description of how it works
  4. Bram Vonk: Autoriteiten vinden op Twitter
  5. Christiaan Thijssen: Leefpatronen in Twitterberichten van actieve gebruikers
  6. Dennis Aarts: Modeling concepts taught by a board game
  7. Erik Maessen: FNWISurvey Nieuw enquete systeem voor de FNWI
  8. Geert Smelt: Programming Web Applications Securely
  9. Ilian van der Velden: Leren programmeren Programmeeronderwijs op de middelbare school
  10. Iris Trepels: The Open Source Community and Piracy
  11. Joost Kremers: Practical hacking AES using the S-box weakness
  12. Joost Timmerman: Where am I? Where should I go?
  13. Kevin Reintjes: Veiliger authenticeren met de Yubikey
  14. Nick Gubbels: Extending F-lite with generic: G-lite
  15. Niek Wolfkamp: Online and offline privacy
  16. Niels Braakensiek: Organisational Communication uitdrukbaar in Demo?
  17. Rens van Summeren: Security in Online Gaming
  18. Robin Oostrum: De kwaliteit van fonetische transcripties
  19. Rob Thijssen: Argument based modeling analyses on business process models
  20. Roel van Rijswijck: Negotiations as Conceptualizations
  21. Steffen Janssen: Decoding directed covert attention in BCIs using HMMs
  22. Tim van Lokven: Review and Comparison of Instant Messaging Protocols
  23. Wouter Lockefeer: CleanDoc

2010

  1. Albert Gerritsen: Expressieherkenning
  2. Antolin Janssen: Kernel Machines for Multi-Class Classification: A Joint Kernel Approach
  3. Bram Bruines: Plankalkul
  4. Carsten Ruetz: Timed Model-Based Conformance testing
  5. Jeffrey Kwee: Serious Gaming in Requirements Engineering
  6. Jeffrey Lemein: fMRI-Based Image Reconstruction Using the Elastic Net
  7. Lars Lockefeer: Encrypted SMS an analysis of the theoretical necessities and implementation possibilities
  8. Louis Onrust: Paraphrasing factoid dependency trees into fluent sentences in a natural language
  9. Marco Henrix: Aan de hand van hersenactiviteit reconstrueren wat iemand ziet
  10. Mark Spreeuwenberg: Het testen van smart meters
  11. Marlon Baeten: Rahisi simple web development
  12. Martin Devillers: Analyzing password strength
  13. Rik Janssen: Hoe ziet een systeem eruit dat klassiek slagwerkles computationeel kan ondersteunen?
  14. Robin Rutten: XMPP en het real-time web
  15. Royce Benda: Informatiekunde Inleven en laten Beleven

2009

  1. Daan Pijper: Requirements, informatica versus architectuur
  2. Feng Zhu: Smart Card Based Solutions for Secure Internet Banking with a primitive reader or mobile phone
  3. Freek van den Berg: Creating a meta model describing a production system's concepts and their relations
  4. Jelle Schuhmacher: Intrusion Detection met Core Vector Machines
  5. Jeroen Claassens: Hamminggetallen Een complexiteitsvergelijking tussen verschillende algoritmen
  6. Joost Koppers: Database encryptie schema's Omgaan met privacygevoelige informatie
  7. Jos Groenewegen: Supporting sign language in Human Computer Interaction Understanding the challenge
  8. Kevin Vriens: Automatisch parkeren: Hoe werkt het?
  9. Koen Hulsman: Persoonlijk nieuws: een kijkje in de keuken van de personalisatie van online nieuwswebsites
  10. Martijn Sprengers: The Effects of Different Bayesian Poison Methods on the Quality of the Bayesian Spam Filter SpamBayes
  11. Matthijs Smith: Implicit Information Retrieval
  12. Mirko van Ede: Testondersteuning in frameworks voor webapplicaties
  13. Pepijn Arts: Semantische Web Services
  14. Philipp van Bebber: Internet Banking Shopping: De gevaren achter het hangslot
  15. Richard Willems: Knowledge sharing and retention through the use of collaboration software
  16. Ruben Muijrers: Expressieherkenning met PCA en SVM
  17. Sander van Hooft: ICT for Ethiopia's land administration
  18. Steffen Michels: Analysing Onion Routing
  19. Thierry Stamper: Mislukte IT projecten: een kwestie van beter plannen?
  20. Walter Moerkerken: Conceptualiseringstechnieken uit de ICT toegepast op Enterprise Architecturing

2008

  1. Adam Cornelissen: A Modern Turing Test
  2. Bernard van Gastel: Reliability of a read-write lock implementation
  3. Erik Crombag: DigiCoach
  4. Erik Steinmann: De acceptatie van internetcensuur door bezoekers van Nederlandse online nieuwsgemeenschappen
  5. Fabian van den Broek: Static Code Analysis In Java
  6. Julian Verdurmen: Firefox extension security
  7. Julius Muecke: Database Schema Integratie
  8. Juul Coolen: Temporele doorloop in systeemontwikkeling recht-toe-recht-aan versus herhaling
  9. Laura Nij Bijvank: Automatische code generatie met de TimesTool
  10. Leon Swinkels: Towards a security-classification of wireless networks an empirical approach
  11. Leon Swinkels: Towards a security-classification of wireless networks an empirical approach
  12. Martijn Ermers: Datatranslatie met MT
  13. Robbert Krebbers: Uitdrukkingskracht van XML schema's
  14. Rolf Markwat: SOA: Bijdrage of hype voor portal Radboud Universiteit?

2007

  1. Allan van Hulst: From Java to mCRL2
  2. Bart Schotten: Een Vergelijking van Elektronische Betaalmethoden voor E-commerce
  3. Eddy Klomp: Quality Aspects and Decision Points
  4. Frank van der Loo: Error correctie in VOiP
  5. Freek Verbeek: Getallen En Functies In De Pi-Calculus
  6. Ilona Wilmont: Enhancing usability for elderly people
  7. Jean-Pierre de Rooij: Is an electronic passport usable as an authentication token?
  8. Johan Janssen: Using JML to protect Java code against SQL injection
  9. Jordy Voesten: Business Rules and iData: A Powerful Combination?
  10. Nina Hoedt: Internetverslaving onder Informatica en Informatiekunde studenten
  11. Sven Haster: Een technische analyse van RIESKOA
  12. Wouter Roelofs: The AOL Scandal

2006

  1. Alex Hamakers: Nieuwe werelden, oude gevaren: cheating in MMORPGs
  2. Daan Laros: Integriteit van mens en systeem
  3. Danny Sarbo: Bachelorscriptie Informatiekunde
  4. Dennis Janse: Het Semantische Web
  5. Dirk Tonnaer: Diagnostic decision support in de huisartsgeneeskunde
  6. Eelis van der Weegen: Formalizing the Hamming Stream in Coq
  7. Francois Kooman: Websurfen met onbetrouwbare computers
  8. Hensley Hanse: Formele talen voor een formele RE
  9. Johan Stortelder: Spraaksynthese
  10. John Akkermans: Online privacy in ruil voor terrorismebestrijding
  11. Mark Jenniskens: De toepasbaarheid van ISO 9126 voor kwaliteitsbeoordeling van m-services
  12. Mark van Liefland: Requirements Engineering bij marktgedreven IT-bedrijven
  13. Martijn Moraal: Massive Multiplayer Online Game Architectures
  14. Martin van de Goor: Genetische algoritmes en parallellisme
  15. Matthijs Mekking: Capability of Kerberos
  16. Matthijs van Roosmalen: Requirements & Verandering
  17. Paul Dekkers: Publieke Software
  18. Rene Joosten: Requirements Engineering voor informatiesystemen
  19. Rody Kersten: The composition Agreement in Ambient Networks
  20. Rogier Lommers: Profiling onder studenten Informatica en Informatiekunde
  21. Roy Bos: Informatiearchitectuur
  22. Thomas Dobbe: Requirements Traceability
  23. Thomas Janssen: Recommender Systems voor het realtime aanbieden van nieuwssecties
  24. Tom van den Broek: Object Relational Mappings
  25. Vincent Driessen: The Power of Wobbly Types

This page was generated on Mon Nov 3 03:33:39 AM CET 2025