Boris Düdder

Boris Düdder

Associate Professor


  1. 2024
  2. Published

    A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance

    Xu, Yibin, Zheng, J., Duedder, Boris, Slaats, Tijs & Zhou, Yongluan, 26 Feb 2024, Network and Distributed System Security (NDSS) Symposium 2024.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. E-pub ahead of print

    VP2-Match: Verifiable Privacy-Aware and Personalized Crowdsourcing Task Matching via Blockchain

    Wu, Haiqin, Duedder, Boris, Jiang, S. & Wang, L., 2024, (E-pub ahead of print) In: IEEE Transactions on Mobile Computing. 18 p.

    Research output: Contribution to journalJournal articlepeer-review

  4. 2023
  5. Published

    Kunstig intelligens kommer ikke nødvendigvis patienter til gode

    Holm, Sune Hannibal, Blomberg, S. N., Christensen, Helle Collatz & Duedder, Boris, 12 Jun 2023, In: Berlingske. p. 20-21 2 p.

    Research output: Contribution to journalContribution to newspaper - Comment/debate

  6. Published

    Incentive Mechanism for Uncertain Tasks under Differential Privacy

    Jiang, Xikun, Ying, C., Li, Lei, Wu, Haiqin, Luo, Y. & Duedder, Boris, 26 May 2023, arxiv.org, 15 p.

    Research output: Working paperPreprintResearch

  7. Published

    Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs

    Xu, Yibin, Slaats, Tijs, Duedder, Boris & Hildebrandt, Thomas Troels, May 2023, 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, p. 70-80

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  8. Published

    A two-dimensional sharding model for access control and data privilege management of blockchain

    Xu, Yibin, Slaats, Tijs & Duedder, Boris, 2023, In: Simulation Modelling Practice and Theory. 122, 102678.

    Research output: Contribution to journalJournal articlepeer-review

  9. Published

    Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain

    Xu, Yibin, Slaats, Tijs, Duedder, Boris, Debois, S. & Wu, Haiqin, 2023, Financial Cryptography and Data Security. FC 2022 International Workshops. Matsuo, S., Gudgeon, L., Klages-Mundt, A., Perez Hernandez, D., Werner, S., Haines, T., Essex, A., Bracciali, A. & Sala, M. (eds.). Springer, p. 583–597 (Lecture Notes in Computer Science, Vol. 13412).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  10. Published

    Lessons Learned from Assessing Trustworthy AI in Practice

    Vetter, D., Amann, J., Bruneault, F., Coffee, M., Duedder, Boris, Gallucci, A., Gilbert, T. K., Hagendorff, T., Van Halem, I., Hickman, E., Hildt, E., Holm, Sune Hannibal, Kararigas, G., Kringen, P., Madai, V. I., Wiinblad Mathez, E., Tithi, J. J., Westerlund, M., Wurth, R. & Zicari, R. V., 2023, In: Digital Society. 2, 3, 25 p., 35.

    Research output: Contribution to journalJournal articlepeer-review

  11. Published

    MWPoW+: a strong consensus protocol for intra-shard consensus in blockchain sharding

    Xu, Yibin, Shao, J., Slaats, Tijs & Duedder, Boris, 2023, In: ACM Transactions on Internet Technology. 23, 2, p. 1-27 34.

    Research output: Contribution to journalJournal articlepeer-review

  12. Published

    Reliable and Streaming Truth Discovery in Blockchain-based Crowdsourcing

    Mukkamala, P. S., Wu, Haiqin & Duedder, Boris, 2023, 2023 20th Annual IEEE International Conference on Sensing, Communication, and Networking, SECON 2023. IEEE Computer Society Press, p. 492-500

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  13. 2022
  14. Published

    Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit

    Xu, Yibin, Slaats, Tijs & Duedder, Boris, 7 Nov 2022, CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), p. 3495–3497

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  15. Published

    How to Assess Trustworthy AI in Practice

    Zicari, R. V., Amann, J., Bruneault, F., Coffee, M., Duedder, Boris, Gallucci, A., Gilbert, T. K., Hagendorff, T., Halem, I. V., Hickman, E., Hildt, E., Holm, Sune Hannibal, Kararigas, G., Kringen, P., Madai, V. I., Mathez, E. W., Tithi, J. J., Vetter, D., Westerlund, M. & Wurth, R., 20 Jun 2022, arxiv.org, 52 p.

    Research output: Working paperPreprintResearch

  16. Published

    Blockchain-Based Reliable and Privacy-Aware Crowdsourcing with Truth and Fairness Assurance

    Wu, Haiqin, Duedder, Boris, Wang, L., Sun, S. & Xue, G., 2022, In: IEEE Internet of Things Journal. 9, 5, p. 3598-3598 12 p.

    Research output: Contribution to journalJournal articlepeer-review

  17. Published

    Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain

    Xu, Yibin, Slaats, Tijs, Duedder, Boris, Debois, S. & Wu, Haiqin, 2022, arxiv.org, 15 p.

    Research output: Working paperResearch

  18. Published

    Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee

    Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, In: Frontiers in blockchain. 5, 18 p., 846783.

    Research output: Contribution to journalJournal articlepeer-review

  19. Published

    Event-based data-centric semantics for consistent data management in microservices

    Zuckmantel, Tilman, Duedder, Boris, Zhou, Yongluan & Hildebrandt, Thomas Troels, 2022, DEBS '22: Proceedings of the 16th ACM International Conference on Distributed and Event-Based Systems. Association for Computing Machinery, p. 97-102

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  20. Published

    Incentive Mechanism Design for Uncertain Tasks in Mobile Crowd Sensing Systems Utilizing Smart Contract in Blockchain

    Jiang, Xikun, Ying, C., Yu, X., Duedder, Boris & Luo, Y., 2022, Collaborative Computing: Networking, Applications and Worksharing - 18th EAI International Conference, CollaborateCom 2022, Proceedings. Gao, H., Wang, X., Wei, W. & Dagiuklas, T. (eds.). Springer, p. 475-493 19 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Vol. 460 LNICST).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  21. 2021
  22. Published

    Covariant conversions (coco): A design pattern for type-safe modular software evolution in object-oriented systems

    Bessai, J., Heineman, G. T. & Duedder, Boris, 1 Jul 2021, 35th European Conference on Object-Oriented Programming, ECOOP 2021. Moller, A. & Sridharan, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-25 4. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 194).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  23. Published

    Co-design of a trustworthy AI system in healthcare: Deep learning based skin lesion classifier

    Zicari, R. V., Ahmed, S., Amann, J., Braun, S. A., Brodersen, J., Bruneault, F., Brusseau, J., Campano, E., Coffee, M., Dengel, A., Düdder, B., Gallucci, A., Gilbert, T. K., Gottfrois, P., Goffi, E., Haase, C. B., Hagendorff, T., Hickman, E., Hildt, E., Holm, S. & 15 others, Kringen, P., Kühne, U., Lucieri, A., Madai, V. I., Moreno-Sánchez, P. A., Medlicott, O., Ozols, M., Schnebel, E., Spezzatti, A., Tithi, J. J., Umbrello, S., Vetter, D., Volland, H., Westerlund, M. & Wurth, R., Jul 2021, In: Frontiers in Human Dynamics . 3, 20 p., 688152.

    Research output: Contribution to journalJournal articlepeer-review

  24. Published

    On assessing trustworthy AI in healthcare: Best practice for machine learning as a supportive tool to recognize cardiac arrest in emergency calls

    Zicari, R. V., Brusseau, J., Blomberg, S. N., Christensen, H. C., Coffee, M., Ganapini, M. B., Gerke, S., Gilbert, T. K., Hickman, E., Hildt, E., Holm, S., Kühne, U., Madai, V. I., Osika, W., Spezzatti, A., Schnebel, E., Tithi, J. J., Vetter, D., Westerlund, M., Wurth, R. & 20 others, Amann, J., Antun, V., Beretta, V., Bruneault, F., Campano, E., Duedder, Boris, Gallucci, A., Goffi, E., Haase, Christoffer Bjerre, Hagendorff, T., Kringen, P., Möslein, F., Ottenheimer, D., Ozols, M., Palazzani, L., Petrin, M., Tafur, K., Tørresen, J., Volland, H. & Kararigas, G., Jul 2021, In: Frontiers in Human Dynamics . 3, 24 p., 673104.

    Research output: Contribution to journalJournal articlepeer-review

  25. Published

    Curriculum Guidance Document - The BlockNet Consortium: WHITE PAPER

    Duedder, Boris, Wu, Haiqin, Henke, M., Straub, N., Gürpinar, T., Ioannidis, P. A., Fomin, V., Matulevičius, R. & Iqbal, M., Feb 2021, arXiv.org. 49 p.

    Research output: Book/ReportReport

  26. Published

    Ethical maintenance of artificial intelligence systems

    Duedder, Boris, Möslein, F., Stürtz, N., Westerlund, M. & Zicari, R. V., 1 Jan 2021, Artificial Intelligence for Sustainable Value Creation. Edward Elgar Publishing, p. 151-171

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  27. Published

    BlockNet Report: Exploring the Blockchain Skills Concept and Best Practice Use Cases

    Duedder, Boris, Fomin, V., Guerpinar, T., Henke, M., Ioannidis, P. A., Janaviciene, V., Matulevicius, R., Iqbal, M. & Straub, N., 2021, arXiv.org. 103 p.

    Research output: Book/ReportReport

  28. Published

    Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives

    Duedder, Boris, Vladislav V. Fomin, V. V. F., Tan Guerpinar, T. G., Michael Henke, M. H., Philipp Asterios Ioannidis, P. A. I., Mubashar Iqbal, M. I., Raimundas Matulevičius, R. M., Natalia Straub, N. S. & Wu, Haiqin, 2021, In: Frontiers in Blockchain . 3, 8 p., :578022.

    Research output: Contribution to journalJournal articlepeer-review

  29. Published

    Z-Inspection®: A Process to Assess Trustworthy AI

    Zicari, R. V., Brodersen, John Brandt, Brusseau, J., Duedder, Boris, Eichhorn, T., Ivanov, T., Kararigas, G., Kringen, P., McCullough, M., Moslein, F., Mushtaq, N., Roig, G., Sturtz, N., Tolle, K., Tithi, J. J., Halem, I. V. & Westerlund, M., 2021, In: IEEE Transactions on Technology and Society. 2, 2, p. 83 - 97 15 p.

    Research output: Contribution to journalJournal articlepeer-review

  30. 2019
  31. Published

    Fast Verified BCD Subtyping

    Bessai, J., Rehof, J. & Duedder, Boris, 1 Jan 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Margaria, T., Graf, S. & Larsen, K. G. (eds.). Springer, p. 356-371 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11200 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  32. 2018
  33. Mixin Composition Synthesis based on Intersection Types

    Bessai, J., Chen, T., Dudenhefner, A., Duedder, Boris, de'Liguoro, U. & Rehof, J., 2018, In: Logical Methods in Computer Science. 14, 1, 18.

    Research output: Contribution to journalJournal articlepeer-review

  34. 2017
  35. Published

    Timber tracking: reducing complexity of due diligence by using blockchain technology (position paper)

    Duedder, Boris & Ross, Omry, 2017, Pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017: joint proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium, Copenhagen, Denmark, August 28 - 30, 2017. Johansson, B. (ed.). CEUR-WS.org, 6 p. (CEUR Workshop Proceedings, Vol. 1898).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  36. 2016
  37. A long and winding road towards modular synthesis

    Heineman, G. T., Bessai, J., Duedder, Boris & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 303-317 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  38. Combinatory process synthesis

    Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 266-281 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  39. Combinatory synthesis of classes using feature grammars

    Bessai, J., Duedder, Boris, Heineman, G. T. & Rehof, J., 1 Jan 2016, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Revised Selected Papers. Braga, C. & Ölveczky, P. C. (eds.). Springer Verlag, p. 123-140 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9539).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  40. ModSyn-PP: Modular synthesis of programs and processes track introduction

    Duedder, Boris, Heineman, G. T. & Rehof, J., 1 Jan 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Verlag, p. 261-265 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9952 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  41. 2015
  42. Synthesizing type-safe compositions in feature oriented software designs using staged composition

    Duedder, Boris, Rehof, J. & Heineman, G. T., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., p. 398-401 4 p. (ACM International Conference Proceeding Series, Vol. 20-24-July-2015).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  43. Towards migrating object-oriented frameworks to enable synthesis of product line members

    Heineman, G., Hoxha, A., Duedder, Boris & Rehof, J., 20 Jul 2015, Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., p. 56-60 5 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  44. Mixin composition synthesis based on intersection types

    Bessai, J., Duedder, Boris, Dudenhefner, A., Chen, T. C., De'Liguoro, U. & Rehof, J., 1 Jul 2015, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015. Altenkirch, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 76-91 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 38).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  45. 2014
  46. Combinatory logic synthesizer

    Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2014, Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Margaria, T., Steffen, B. & Margaria, T. (eds.). Springer Verlag, p. 26-40 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8802).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  47. Staged composition synthesis

    Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2014, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 67-86 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8410 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  48. Combinatory Logic Synthesizer

    Bessai, J., Dudenhefner, A., Duedder, Boris & Martens, M., 2014, Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I. Springer, p. 26-40 (Lecture Notes in Computer Science, Vol. 8802).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  49. 2013
  50. Intersection type matching with subtyping

    Duedder, Boris, Martens, M. & Rehof, J., 27 Sep 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 125-139 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7941 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  51. 2012
  52. Bounded combinatory logic

    Duedder, Boris, Martens, M., Rehof, J. & Urzyczyn, P., 1 Dec 2012, Computer Science Logic 2012 - 26th International Workshop/21th Annual Conference of the EACSL, CSL 2012. p. 243-258 16 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 16).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ID: 172785813