Boris Düdder

63 papers A* 4A 2B 8C 2Journal 29Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Give Me a Secure Ride: TEE-Blockchain Enabled Privacy-Aware and Verifiable Ride Sharing Services.
IEEE Trans. Serv. Comput.
Jucai Yang, Haiqin Wu, Boris Düdder, Xiao Chen, Xiaolei Dong, Zhenfu Cao
2026 J jnl
Sharded Consensus With Non-Sharded Security Bound.
IEEE Trans. Netw.
Yibin Xu, Yongluan Zhou, Boris Düdder, Tijs Slaats
2026 J jnl
TolerStore: Tolerating Malicious Nodes in Decentralized Storage Network.
IEEE Trans. Computers
Wanning Bao, Liangmin Wang, Haiqin Wu, Dian Shen, Boris Düdder
2025 C conf
DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and Objects.
COORDINATION
Tilman Zuckmantel, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt
2025 B conf
Data Integrity-by-Design: Combining Declarative Object-Centric Choreographies and Entity Relationship Models.
CoopIS
Tilman Zuckmantel, Hugo A. López, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt
2025 J jnl
FECAC: Fine-Grained and Efficient Capability-Based Access Control for Enterprize-Scale IoT Systems.
IEEE Internet Things J.
Qiong Wang, Xia Feng, Liangmin Wang, Haiqin Wu, Boris Düdder
2025 J jnl
IndusGCC: A Data Benchmark and Evaluation Framework for GUI-Based General Computer Control in Industrial Automation.
CoRR
Xiaoran Yang, Yuyang Du, Kexin Chen, Soung Chang Liew, Jiamin Lu, Ziyu Guo, Xiaoyan Liu, Qun Yang, Shiqi Xu, Xingyu Fan, Yuchen Pan, Taoyong Cui, Hongyu Deng, Boris Düdder, Jianzhang Pan, Qun Fang, Pheng-Ann Heng
2025 A* conf
Linking Souls to Humans: Blockchain Accounts with Credible Anonymity for Web 3.0 Decentralized Identity.
WWW
Taotao Wang, Zibin Lin, Shengli Zhang, Long Shi, Qing Yang, Boris Düdder
2025 J jnl
Matching as You Want: A Decentralized, Flexible, and Efficient Realization for Crowdsourcing With Dual-Side Privacy.
IEEE Trans. Netw. Sci. Eng.
Liang Li, Haiqin Wu, Liangen He, Jucai Yang, Zhenfu Cao, Boris Düdder
2025 J jnl
Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role-based behaviors.
J. Softw. Evol. Process.
Yibin Xu, Tijs Slaats, Boris Düdder, Thomas Troels Hildebrandt, Tom Van Cutsem
2025 B conf
Zero-Knowledge Quantized Weighted Majority Algorithm.
TrustCom
Li Quan, Xikun Jiang, Boris Düdder
2024 J jnl
A Study on Asynchronous Vote-based Blockchains.
CoRR
Yibin Xu, Jianhua Shao, Tijs Slaats, Boris Düdder, Yongluan Zhou
2024 A* conf
A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance.
NDSS
Yibin Xu, Jingyi Zheng, Boris Düdder, Tijs Slaats, Yongluan Zhou
2024 J jnl
A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance.
IACR Cryptol. ePrint Arch.
Yibin Xu, Jingyi Zheng, Boris Düdder, Tijs Slaats, Yongluan Zhou
2024 — conf
Bilateral Secure and Decentralized Crowdsourcing Task Matching Atop Consortium Blockchain.
Blockchain
Liang Li, Haiqin Wu, Boris Düdder, Jiachen Shen, Zhenfu Cao
2024 — conf
Federated Unlearning in the Internet of Vehicles.
DSN-S
Guofeng Li, Xia Feng, Liang-Min Wang, Haiqin Wu, Boris Düdder
2024 J jnl
Incentive Mechanism for Uncertain Tasks Under Differential Privacy.
IEEE Trans. Serv. Comput.
Xikun Jiang, Chenhao Ying, Lei Li, Boris Düdder, Haiqin Wu, Haiming Jin, Yuan Luo
2024 A* conf
Privacy-Preserving UCB Decision Process Verification via zk-SNARKs.
IJCAI
Xikun Jiang, He Lyu, Chenhao Ying, Yibin Xu, Boris Düdder, Yuan Luo
2024 J jnl
Privacy-Preserving UCB Decision Process Verification via zk-SNARKs.
CoRR
Xikun Jiang, He Lyu, Chenhao Ying, Yibin Xu, Boris Düdder, Yuan Luo
2024 B conf
Publicly Verify While Hiding Data: Privacy-Aware Streaming Truth Discovery with Public Verifiability in Blockchain-Enhanced Crowdsensing.
SECON
Ruikai Zheng, Haiqin Wu, Boris Düdder
2024 C conf
Quantum Computing: Going Where No One Has Gone Before.
ICIS
Michel Avital, Samir Chatterjee, Boris Düdder, Nishtha Langer, Jan Marco Leimeister, Natalia Levina, Jonathan Wareham
2024 J jnl
Survey on Secure Keyword Search over Outsourced Data: From Cloud to Blockchain-assisted Architecture.
ACM Comput. Surv.
Haiqin Wu, Boris Düdder, Liangmin Wang, Zhenfu Cao, Jun Zhou, Xia Feng
2024 J jnl
VP$^{2}$2-Match: Verifiable Privacy-Aware and Personalized Crowdsourcing Task Matching via Blockchain.
IEEE Trans. Mob. Comput.
Haiqin Wu, Boris Düdder, Shunrong Jiang, Liangmin Wang
2023 J jnl
A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance.
CoRR
Yibin Xu, Jingyi Zheng, Boris Düdder, Tijs Slaats, Yongluan Zhou
2023 J jnl
A two-dimensional sharding model for access control and data privilege management of blockchain.
Simul. Model. Pract. Theory
Yibin Xu, Tijs Slaats, Boris Düdder
2023 B conf
Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs.
ICSSP
Yibin Xu, Tijs Slaats, Boris Düdder, Thomas Troels Hildebrandt
2023 J jnl
Incentive Mechanism for Uncertain Tasks under Differential Privacy.
CoRR
Xikun Jiang, Chenhao Ying, Lei Li, Haiqin Wu, Yuan Luo, Boris Düdder
2023 J jnl
Lessons Learned from Assessing Trustworthy AI in Practice.
Digit. Soc.
Dennis Vetter, Julia Amann, Frédérick Bruneault, Megan Coffee, Boris Düdder, Alessio Gallucci, Thomas Krendl Gilbert, Thilo Hagendorff, Irmhild van Halem, Eleanore Hickman, Elisabeth Hildt, Sune Holm, Georgios Kararigas, Pedro Kringen, Vince I. Madai, Emilie Wiinblad Mathez, Jesmin Jahan Tithi, Magnus Westerlund, Renee Wurth, Roberto V. Zicari
2023 J jnl
MWPoW+: A Strong Consensus Protocol for Intra-Shard Consensus in Blockchain Sharding.
ACM Trans. Internet Techn.
Yibin Xu, Jianhua Shao, Tijs Slaats, Boris Düdder
2023 B conf
Reliable and Streaming Truth Discovery in Blockchain-based Crowdsourcing.
SECON
Prasanna Siddharth Mukkamala, Haiqin Wu, Boris Düdder
2023 J jnl
Security and privacy issues in blockchain and its applications.
IET Blockchain
Liangmin Wang, Victor S. Sheng, Boris Düdder, Haiqin Wu, Huijuan Zhu
2022 J jnl
Blockchain-Based Reliable and Privacy-Aware Crowdsourcing With Truth and Fairness Assurance.
IEEE Internet Things J.
Haiqin Wu, Boris Düdder, Liangmin Wang, Shipu Sun, Guoliang Xue
2022 — conf
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain.
Financial Cryptography Workshops
Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, Haiqin Wu
2022 J jnl
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain.
CoRR
Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, Haiqin Wu
2022 J jnl
Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee.
Frontiers Blockchain
Simon L. Bager, Boris Düdder, Fritz Henglein, Juan Manuel Hébert, Haiqin Wu
2022 — conf
Event-based data-centric semantics for consistent data management in microservices.
DEBS
Tilman Zuckmantel, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt
2022 J jnl
How to Assess Trustworthy AI in Practice.
CoRR
Roberto V. Zicari, Julia Amann, Frédérick Bruneault, Megan Coffee, Boris Düdder, Eleanore Hickman, Alessio Gallucci, Thomas Krendl Gilbert, Thilo Hagendorff, Irmhild van Halem, Elisabeth Hildt, Sune Holm, Georgios Kararigas, Pedro Kringen, Vince I. Madai, Emilie Wiinblad Mathez, Jesmin Jahan Tithi, Dennis Vetter, Magnus Westerlund, Renee Wurth
2022 — conf
Incentive Mechanism Design for Uncertain Tasks in Mobile Crowd Sensing Systems Utilizing Smart Contract in Blockchain.
CollaborateCom (1)
Xikun Jiang, Chenhao Ying, Xinchun Yu, Boris Düdder, Yuan Luo
2022 A* conf
Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit.
CCS
Yibin Xu, Tijs Slaats, Boris Düdder
2021 J jnl
BlockNet Report: Curriculum Guidance Document.
CoRR
Boris Düdder, Haiqin Wu, Michael Henke, Natalia Straub, Tan Gürpinar, Philipp Asterios Ioannidis, Vladislav Fomin, Raimundas Matulevicius, Mubashar Iqbal
2021 J jnl
BlockNet Report: Exploring the Blockchain Skills Concept and Best Practice Use Cases.
CoRR
Boris Düdder, Vladislav Fomin, Tan Gürpinar, Michael Henke, Philipp Asterios Ioannidis, Viktorija Janaviciene, Raimundas Matulevicius, Mubashar Iqbal, Natalia Straub
2021 J jnl
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact).
Dagstuhl Artifacts Ser.
Jan Bessai, George T. Heineman, Boris Düdder
2021 A conf
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems.
ECOOP
Jan Bessai, George T. Heineman, Boris Düdder
2020 J jnl
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives.
Frontiers Blockchain
Boris Düdder, Vladislav Fomin, Tan Gürpinar, Michael Henke, Mubashar Iqbal, Viktorija Janaviciene, Raimundas Matulevicius, Natalia Straub, Haiqin Wu
2018 — conf
Fast Verified BCD Subtyping.
Models, Mindsets, Meta
Jan Bessai, Jakob Rehof, Boris Düdder
2018 J jnl
Mixin Composition Synthesis based on Intersection Types.
Log. Methods Comput. Sci.
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
2017 J jnl
Mixin Composition Synthesis based on Intersection Types.
CoRR
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
2017 — conf
Timber Tracking - Reducing Complexity of Due Diligence by using Blockchain Technology (Position Paper).
BIR Workshops
Boris Düdder, Omri Ross
2016 — conf
A Long and Winding Road Towards Modular Synthesis.
ISoLA (1)
George T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof
2016 — conf
Combinatory Process Synthesis.
ISoLA (1)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
2016 — conf
ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction.
ISoLA (1)
Boris Düdder, George T. Heineman, Jakob Rehof
2015 — conf
Combinatory Synthesis of Classes Using Feature Grammars.
FACS
Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof
2015 — conf
Mixin Composition Synthesis Based on Intersection Types.
TLCA
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof
2015 — conf
Staged Composition Synthesis.
Software Engineering & Management
Boris Düdder, Moritz Martens, Jakob Rehof
2015 B conf
Synthesizing type-safe compositions in feature oriented software designs using staged composition.
SPLC
Boris Düdder, Jakob Rehof, George T. Heineman
2015 B conf
Towards migrating object-oriented frameworks to enable synthesis of product line members.
SPLC
George T. Heineman, Armend Hoxha, Boris Düdder, Jakob Rehof
2014 — —
Automatic synthesis of component & connector software architectures with bounded combinatory logic.
Boris Düdder
2014 — conf
Combinatory Logic Synthesizer.
ISoLA (1)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
2014 A conf
Staged Composition Synthesis.
ESOP
Boris Düdder, Moritz Martens, Jakob Rehof
2014 — conf
Typing Classes and Mixins with Intersection Types.
ITRS
Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro
2013 — conf
Intersection Type Matching with Subtyping.
TLCA
Boris Düdder, Moritz Martens, Jakob Rehof
2012 B conf
Bounded Combinatory Logic.
CSL
Boris Düdder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn
2012 — conf
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis.
ITRS
Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn