Boris Düdder
Lektor
- 2024
- Udgivet
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.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Chu-ko-nu: A Reliable, Efficient, and Anonymously Authentication-Enabled Realization for Multi-Round Secure Aggregation in Federated Learning
Cui, K., Feng, X., Wang, L., Wu, Haiqin, Zhang, X. & Duedder, Boris, 23 feb. 2024.Publikation: Working paper › Preprint › Forskning
- E-pub ahead of print
Incentive Mechanism for Uncertain Tasks under Differential Privacy
Jiang, Xikun, Ying, C., Li, Lei, Duedder, Boris, Wu, Haiqin, Jin, H. & Luo, Y., 2024, (E-pub ahead of print) I: IEEE Transactions on Services Computing. 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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) I: IEEE Transactions on Mobile Computing. 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2023
- Udgivet
Security and privacy issues in blockchain and its applications
Wang, L., Sheng, V. S., Duedder, Boris, Wu, Haiqin & Zhu, H., dec. 2023, I: IET Blockchain. 3, 4, s. 169-171 3 s.Publikation: Bidrag til tidsskrift › Leder › Forskning › fagfællebedømt
- Udgivet
Kunstig intelligens kommer ikke nødvendigvis patienter til gode
Holm, Sune Hannibal, Blomberg, S. N., Christensen, Helle Collatz & Duedder, Boris, 12 jun. 2023, I: Berlingske. s. 20-21 2 s.Publikation: Bidrag til tidsskrift › Bidrag til avis - Kommentar/debat › Formidling
- Udgivet
Incentive Mechanism for Uncertain Tasks under Differential Privacy
Jiang, Xikun, Ying, C., Li, Lei, Wu, Haiqin, Luo, Y. & Duedder, Boris, 26 maj 2023, arxiv.org, 15 s.Publikation: Working paper › Preprint › Forskning
- Udgivet
Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs
Xu, Yibin, Slaats, Tijs, Duedder, Boris & Hildebrandt, Thomas Troels, maj 2023, 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, s. 70-80Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A two-dimensional sharding model for access control and data privilege management of blockchain
Xu, Yibin, Slaats, Tijs & Duedder, Boris, 2023, I: Simulation Modelling Practice and Theory. 122, 102678.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 583–597 (Lecture Notes in Computer Science, Bind 13412).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, I: Digital Society. 2, 3, 25 s., 35.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
MWPoW+: a strong consensus protocol for intra-shard consensus in blockchain sharding
Xu, Yibin, Shao, J., Slaats, Tijs & Duedder, Boris, 2023, I: ACM Transactions on Internet Technology. 23, 2, s. 1-27 34.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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, s. 492-500Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Survey on Secure Keyword Search over Outsourced Data: From Cloud to Blockchain-assisted Architecture
Wu, Haiqin, Duedder, Boris, Wang, L., Cao, Z., Zhou, J. & Feng, X., 2023, I: ACM Computing Surveys. 56, 3, 63.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2022
- Udgivet
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), s. 3495–3497Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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 s.Publikation: Working paper › Preprint › Forskning
- Udgivet
Blockchain-Based Reliable and Privacy-Aware Crowdsourcing with Truth and Fairness Assurance
Wu, Haiqin, Duedder, Boris, Wang, L., Sun, S. & Xue, G., 2022, I: IEEE Internet of Things Journal. 9, 5, s. 3598-3598 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
- Udgivet
Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee
Bager, S. L., Duedder, Boris, Henglein, Fritz, Hebert, J. M. & Wu, Haiqin, 2022, I: Frontiers in blockchain. 5, 18 s., 846783.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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, s. 97-102Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 475-493 19 s. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, Bind 460 LNICST).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2021
- Udgivet
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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-25 4. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 194).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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 flere, , jul. 2021, I: Frontiers in Human Dynamics . 3, 20 s., 688152.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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 flere, , jul. 2021, I: Frontiers in Human Dynamics . 3, 24 s., 673104.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- Udgivet
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, s. 151-171Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- Udgivet
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 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- Udgivet
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, I: Frontiers in Blockchain . 3, 8 s., :578022.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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, I: IEEE Transactions on Technology and Society. 2, 2, s. 83 - 97 15 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2019
- Udgivet
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. (red.). Springer, s. 356-371 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11200 LNCS).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- 2018
Mixin Composition Synthesis based on Intersection Types
Bessai, J., Chen, T., Dudenhefner, A., Duedder, Boris, de'Liguoro, U. & Rehof, J., 2018, I: Logical Methods in Computer Science. 14, 1, 18.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2017
- Udgivet
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. (red.). CEUR-WS.org, 6 s. (CEUR Workshop Proceedings, Bind 1898).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2016
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. (red.). Springer Verlag, s. 303-317 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Springer Verlag, s. 266-281 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Springer Verlag, s. 123-140 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9539).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Springer Verlag, s. 261-265 5 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9952 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2015
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., s. 398-401 4 s. (ACM International Conference Proceeding Series, Bind 20-24-July-2015).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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., s. 56-60 5 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 76-91 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 38).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2014
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. (red.). Springer Verlag, s. 26-40 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8802).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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, s. 67-86 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8410 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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, s. 26-40 (Lecture Notes in Computer Science, Bind 8802).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2013
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. s. 125-139 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7941 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2012
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. s. 243-258 16 s. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 16).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 172785813
Flest downloads
-
196
downloads
On assessing trustworthy AI in healthcare: Best practice for machine learning as a supportive tool to recognize cardiac arrest in emergency calls
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
123
downloads
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
84
downloads
Co-design of a trustworthy AI system in healthcare: Deep learning based skin lesion classifier
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet