Explore our DIREC publications and research publications in fields such as artificial intelligence, cybersecurity, blockchain, IoT, software development, algorithms, HCI, automation of work and business processes, diversity and ethics.
Unionized Data Governance in Virtual Power Plants: Poster
Niels Ørbæk Chemnitz, Phillippe Bonnet, Sebastian Büttric, Irina Shklovski, Laura Watts
Improving Visual Classification using Textual Hints
Mikkel Godsk Jørgensen
Using Signals to Support Trust Building in Clinical Human-AI Collaboration
Naja Kathrine Kollerup, Mikael B. Skov, Niels Van Berkel
Measurements, Algorithms, and Presentations of Reality: Framing Interactions with AI-Enabled Decision Support
Niels van Berkel, Maura Bellio, Mikael B. Skov, Ann Blandford
Challenges arising in a Multi-Drone System for Search and Rescue
Maria-Theresa Oanh Hoang, Niels van Berkel, Mikael B. Skov, Timothy Merritt
Optimal Weak to Strong Learning
Kasper Green Larsen, Martin Ritzert
Designing Internet of Behaviour Systems
Mahyar T. Moghaddam, Henry Muccini, Julie Dugdale, Mikkel Baun Kjærgaard
Work of the Future
Melanie Duckert, Eve Hoggan, Louise Barkhuus, Pernille Bjørn, Nina Boulus-Rodje, Susanne Bødker, Naja Holten Møller, Irina Shklovski
Collocated Distance: A Fundamental Challenge for the Design of Hybrid Work Technologies
Melanie Duckert, Louise Barkhuus, Pernille Bjørn
Predicting Bearings Degradation Stages for Predictive Maintenance in the Pharmaceutical Industry
Dovile Juodelyte, Veronika Cheplygina, Therese Graversen, Philippe Bonnet
Trust Management for Internet of Things: A Systematic Literature Review
Alyzia Maria Konsta, Alberto Lluch Lafuente, Nicola Dragoni, 2022
Energy Consumption and Performance of Heapsort in Hardware and Software
Maja H. Kirkeby, Thomas Krabben, Mathias Larsen, Maria B. Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman
Towards Comparing Performance of Algorithms in Hardware and Software
Maja H. Kirkeby, Martin Schoeberl
A Primer for tinyML Predictive Maintenance: Input and Model Optimisation
Emil Jørgensen Njor, Jan Madsen, Xenofon Fafoutis
Data Aware Neutral Architecture Search
Emil Jørgensen Njor, Jan Madsen, Xenofon Fafoutis
Internet of Things – de fire udviklingstrin (PDF)
Jan Damsgaard
A Flexible Implementation Model for Neural Networks on FPGAs
Jesper Jakobsen, Mikkel Jensen, Iman Sharifirad, Jalil Boudjadar
JoT: A Jolie Framework for Testing Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana
Designing Internet of Behaviors Systems
Mahyar T. Moghaddam, Henry Muccini, Julie Dugdale, Mikkel Baun Kjærgaard
Emotional Internet of Behaviors: A QoE-QoS Adjustment Mechanism
Mina Alipour, Mahyar T. Moghaddam, Karthik Vaidhyanathan, Tobias Kristensen, Micolai Kroaager Asmussen
Emoticontrol: Emotions-based Control of User-Interfaces Adaptations
Mina Alipour, Mahyar T. Moghaddam, Karthik Vaidhyanathan, Mikkel Baun Kjærgaard
Towards Changing Users Behavior with Emotion-Based Adaptive Systems
Mina Alipour, Mahyar T. Moghaddam, Karthik Vaidhyanathan, Mikkel Baun Kjærgaard
Intelligent Building Evacuation: From Modeling Systems to Behaviors
Mahyar T. Moghaddam, Henry Muccini, Julie Dugdale
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds
MA Goorden, KG Larsen, JE Nielsen, TD Nielsen, MR Rasmussen, J Srba
Reinforcement Learning for Controlling Groundwater Extraction
Andreas Holck Høeg-Petersen
Automata Learning Meets Shielding
Martin Tappler, Stefan Pranger, Bettina Könighofer, Edi Muskardin, Roderick Bloem, Kim G. Larsen
Controlling Storm Water Detention Ponds under Partial Observability
Esther H. Kim, Martijn Goorden, Kim G. Larsen, Thomas D. Nielsen
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
End-to-end Simulated Urban Autonomous Driving using Reinforcement Learning
Kim Nguyen, Milad Samim
Monitoring Timed Properties
Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann
Playing Wordle with Uppaal Stratego
Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis
Deductive Verification of Probabilistic Programs
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego
Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao
Formal methods and tools for industrial critical systems
Maurice H. ter Beek, Kim G. Larsen, Dejan Nickovic, Tim A. C. Willemse
Formal Methods Meet Machine Learning (F3ML)
Kim G. Larsen, Axel Legay, Gerrit Nolte, Maximilian Schlüter, Mariëlle Stoelinga, Bernhard Steffen
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework
Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen
Domain-Specific Languages
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
A Quantitative Verification Infrastructure
Ezio Bartocci, Fredrik Dahlqvist, Sebastian Junges, Benjamin Kaminski, Christoph Matheja
Tetrad: Actively Secure 4PC for Secure Training and Inference
Nishat Koti, Arpita Patra, Rahul Rachuri, Ajith Suresh, June 2021
Le Mans: Dynamic and Fluid MPC for Dishonest Majority
Rahul Rachuri, Peter Scholl
Adversarial Attacks and Countermeasures on Private Training in MPC
D. Escudero, M. Jagielski, R. Rachuri, P. Scholl
Balancing Privacy and Accountability in Blockchain Identity Management
lvan Damgård, Chaya Ganesh, Hamidreza Khoshakhlagh, Claudio Orlandi, Luisa Siniscalchi
An Algebraic Framework for Silent Preprocessing with Trustless Setup and Active Security
Damiano Abram, Ivan Damgård, Claudio Orlandi, Peter Scholl
Fiat-Shamir Bulletproofs are Non Malleable (in the Algebraic Group Model)
Chaya Ganesh, Claudio Orlandi, Mahak Pancholi, Akira Takahashi, Daniel Tshudi
Low-Bandwidth Treshold ECDSA via Pseudorandom Correlation Generators
Damiano Abram, Ariel Nof, Claudio Orlandi, Peter Scholl, Omer Shlomovits
Laconic Private Set-Intersection From Pairing
Diego F. Aranha, Chuanwei Lin, Claudio Orlandi, Mark Simkin
Refresh When You Wake Up: Proactive Threshold Wallets with Offline Devices
Yashvanth Kondi, Bernardo Magri, Claudio Orlandi, Omer Shlomovits
The Rise of Pailier: Homomorphic Secret Sharing and Public-Key Silent OT
Claudio Orlandi, Peter Scholl, Sophia Yakoubov
Two-Round n-out-of-n Multi-signatures and Trapdoor Commitment from Lattices
Ivan Damgård, Claudio Orlandi, Akira Takahashi, Mehdi Tibouchi
Inventarisation of Concrete Security Case Studies at Companies
Zaruhi Aslanyan
SSProve: A Foundational Framework for Modular Cryptographic Proofs
Philipp G. Haselwarter, Exequiel Rivas, Antoine van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters
HACSPEC: A Gateway to High-assurance Cryptography
Bas Spitters, Lasse Letager Hansen, Manuel Barbosa, Pierre-Yves Strub Lucas Franceshino, Denis Merigoux
Verifying, Testing and Running Smart Contracts in ConCert
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
ConCert: A Smart Contract Certification Framework in Coq
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
ConCert: A Smart Contract Certification Framework in Coq
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
Extracting Functional Programs from Coq, in Coq
Danil Annenkov, Mikkel Milo, Jakob Botsch Nielsen, Bas Spitters
SOK: Privacy-Enhancing Technologies in Finance
Carsten Baum, James Hsin-yu Chiang, Bernardo David, Tore Kasper Frederiksen
Weighing the Pros and Cons: Process Discovery with Negative Examples
Tijs Slaats, Søren Debois & Christoffer Olling Back
When is a DAO Decentralized?
Henrik Axelsen, Johannes Rude Jensen, Omri Ross
How should DAOs be regulated? A new Perspective on Decentralization
Henrik Axelsen, Omri Ross
Computing Educational Activities Involving People rather than Things appeal more to Women (Recruitment Perspective)
Ingrid Maria Christensen, Melissa Høegh Marcher, Paweł Grabarczyk, Therese Graversen, Claus Brabrand
Computing Educational Activities Involving People rather than Things appeal more to Women (Appeal Perspective)
Melissa Høegh Marcher, Ingrid Maria Christensen, Paweł Grabarczyk, Therese Graversen, Claus Brabrand
Computing Educational Programmes with more Women are more about People & less about Things
Pawel Grabarczyk, Alma Freiesleben, Amanda Bastrup, Claus Brabrand
On the Effect of Onboarding Computing Students without Programming-Confidence or -Experience
Pawel Grabarczyk, Sebastian Mateos Nicolajsen, Claus Brabrand
Student Perspectives on On-site versus Online Teaching throughout the Covid-19 Pandemic
Björn Thór Jónsson, Magda Pischetola, Nanna Inie, Mats Daniels, Claus Brabrand
Diversity in Statistics Projects – Do Students Choose According to Their Gender?
Niels aske Lundtorp Olsen
