Publications

@inproceedings{Trustcom2025,

title = {Zero-Knowledge Quantized Weighted Majority Algorithm},

author = {Li Quan and Xikun Jiang and Boris Düdder},

year  = {2025},

date = {2025-01-01},

booktitle = {Proceedings of the 24th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2025)},

publisher = {IEEE},

keywords = {{published} %	doi={10.1007/978-3-031-24383-7_26}, %	isbn="978-3-031-24383-7", %	vol={460}},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{IndusGCC025,

title = {IndusGCC: A Data Benchmark and Evaluation Framework for GUI-Based General Computer Control in Industrial Automation},

author = {Xiaoran Yang and Yuyang Du and Kexin Chen and Soung Chang Liew and Jiamin Lu and Ziyu Guo and Xiaoyan Liu and Qun Yang and Shiqi XU and Xingyu Fan and Yuchen Pan and Taoyong Cui and Hongyu Deng and Boris Düdder and Jianzhang Pan and Qun Fang and Pheng-Ann Heng},

year  = {2025},

date = {2025-01-01},

booktitle = {Proceedings of the 39th Conference on Neural Information Processing Systems (NeurIPS 2025) Workshop: Scaling Environments for Agents (SEA)},

publisher = {Springer},

keywords = {published},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DACEO2025,

title = {Data Integrity-by-Design: Combining Declarative Object-Centric Choreographies and Entity Relationship Models},

author = {Tilman Zuckmantel and Hugo-Andrés López-Acosta and Yongluan Zhou and Boris Düdder and Thomas Hildebrandt},

year  = {2025},

date = {2025-01-01},

booktitle = {Proceedings of the 31st International Conference on Cooperative Information Systems, CoopIS 2025},

publisher = {Springer},

abstract = {This work proposes a novel technique to align Object-Centric Process models and data integrity constraints from Entity-Relationship (ER) Diagrams, supporting data-dependent access control and guaranteeing data-integrity-by-design in the execution of a business process. Recent developments in process modelling and mining notations have highlighted how critical data objects affect the evolution of process models. Yet, few works have considered the integration of data relationships between data objects in object-centric modelling notations. As a consequence, object-centric process models (OCPM) may violate data-integrity and existential dependency constraints that are necessary for the deployment of models in information systems. We examine how OCPM can integrate access control, cardinality constraints, existential dependency, total participation, and structural integrity. In particular, we extend the semantics of one OCPM language, the Object-Centric Condition Response Choreographies (OC-DCR choreographies), to include explicit identities of actors and object deletion and extend the execution semantics to respect the ER model constraints. We illustrate the idea with a running example of an OC-DCR graph and an ER model for a small healthcare process.},

keywords = {published},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{zuckmantel2025daceo,

title = {DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and Objects},

author = {Tilman Zuckmantel and Yongluan Zhou and Boris Düdder and Thomas Hildebrandt},

year  = {2025},

date = {2025-01-01},

booktitle = {International Conference on Coordination Models and Languages},

pages = {197–216},

organization = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{c6f8c8e9dd834d1e9c3037a13d777d4e,

title = {Data Integrity-by-Design: Combining Declarative Object-Centric Choreographies and Entity Relationship Models},

author = {Tilman Zuckmantel and Hugo-Andrés López-Acosta and Yongluan Zhou and Boris Düdder and Thomas Hildebrandt},

year  = {2025},

date = {2025-01-01},

booktitle = {Proceedings of the 31st International Conference on Cooperative Information Systems, CoopIS 2025},

publisher = {Springer},

abstract = {This work proposes a novel technique to align Object-Centric Process models and data integrity constraints from Entity-Relationship (ER) Diagrams, supporting data-dependent access control and guaranteeing data-integrity-by-design in the execution of a business process. Recent developments in process modelling and mining notations have highlighted how critical data objects affect the evolution of process models. Yet, few works have considered the integration of data relationships between data objects in object-centric modelling notations. As a consequence, object-centric process models (OCPM) may violate data-integrity and existential dependency constraints that are necessary for the deployment of models in information systems. We examine how OCPM can integrate access control, cardinality constraints, existential dependency, total participation, and structural integrity. In particular, we extend the semantics of one OCPM language, the Object-Centric Condition Response Choreographies (OC-DCR choreographies), to include explicit identities of actors and object deletion and extend the execution semantics to respect the ER model constraints. We illustrate the idea with a running example of an OC-DCR graph and an ER model for a small healthcare process.},

note = {To appear in the 31st International Conference on Cooperative Information Systems (CoopIS). October 20 - 22, 2025. This is the camera ready version of the paper.; The 31st International Conference on Cooperative Information Systems, CooIS ; Conference date: 20-10-2025 Through 22-10-2025},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{10.1145/3696410.3714784,

title = {Linking Souls to Humans: Blockchain Accounts with Credible Anonymity for Web 3.0 Decentralized Identity},

author = {Taotao Wang and Zibin Lin and Shengli Zhang and Long Shi and Qing Yang and Boris Düdder},

url = {https://doi.org/10.1145/3696410.3714784},

doi = {10.1145/3696410.3714784},

isbn = {9798400712746},

year  = {2025},

date = {2025-01-01},

booktitle = {Proceedings of the ACM on Web Conference 2025},

pages = {2668–2676},

publisher = {Association for Computing Machinery},

address = {Sydney NSW, Australia},

series = {WWW '25},

abstract = {A decentralized identity system that can provide users with self-sovereign digital identities to facilitate complete control over their own data is paramount to Web 3.0. The account system on blockchain is an ideal archetype for realizing Web 3.0 decentralized identity. However, a disadvantage of such completely anonymous identity system is that users can create multiple accounts without authentication to obfuscate their activities on the blockchain. In particular, the current anonymous blockchain account system cannot accurately register the social relationships and interactions between real human users, given the amorphous mappings between users and blockchain identities. This work proposes zkBID, a zero-knowledge blockchain-account-based Web 3.0 decentralized identity scheme, to overcome endemic mistrust in blockchain account systems. zkBID links souls (blockchain accounts) to humans (users' personhood credentials) in a one-to-one manner to truly reflect the social relationships and interactions between humans on the blockchain. zkBID conceals the one-to-one relationships between blockchain accounts and users' personhood credentials for privacy protection using zero-knowledge proofs and linkable ring signatures. Thus, with zkBID, the users' blockchain accounts are credibly anonymous. Importantly, zkBID is fully decentralized: all user-related data are generated by users and verified by smart contracts on the blockchain. We implemented zkBID and built a blockchain test network for evaluation purposes. Our tests demonstrate the effectiveness of zkBID and suggest proper ways to configure zkBID system parameters.},

keywords = {blockchain accounts, linkable ring signatures, web 3.0 identity, zero-knowledge proofs},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{NDDS2024,

title = {Two-Layer Blockchain Sharding Protocol Leveraging Safety and 

	Liveness for Enhanced Performance},

author = {Yibin Xu and Jingyi Zheng and Boris Düdder and Yongluan Zhou and Tijs Slaats},

year  = {2024},

date = {2024-01-01},

booktitle = {Proceedings of the Network and Distributed System 

	Security Symposium (NDDS)},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{xu2023adding,

title = {Adding Generic Role-and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs},

author = {Yibin Xu and Tijs Slaats and Boris Düdder and Thomas Troels Hildebrandt},

year  = {2023},

date = {2023-01-01},

booktitle = {2023 IEEE/ACM International Conference on Software and System Processes (ICSSP)},

pages = {70–80},

organization = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{HERALD2022b,

title = {Incentive Mechanism Design for Uncertain Tasks in Mobile Crowd Sensing Systems Utilizing Smart Contract in Blockchain},

author = {Xikun Jiang and Chenhao Ying and Yuan Luo and Boris Düdder},

year  = {2022},

date = {2022-01-01},

booktitle = {Proceedings of 18th International Conference on Collaborative Computing (CollabCom 2022)},

publisher = {IEEE},

keywords = {published},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{HERALD2022,

title = {Incentive Mechanism Design for Uncertain Tasks in Mobile Crowd Sensing Systems Utilizing Smart Contract in Blockchain},

author = {Xikun Jiang and Chenhao Ying and Yuan Luo1 and Boris Düdder},

year  = {2022},

date = {2022-01-01},

booktitle = {Proceedings of 18th International Conference on Collaborative Computing (CollabCom 2022)},

publisher = {Springer},

keywords = {published},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ActorModels21,

title = {Event-Based Data-Centric Semantics for Consistent Data Management in Microservices},

author = {Tilman Zuckmantel and Boris Düdder and Yongluan Zhou and Thomas Hildebrandt},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

booktitle = {Proceedings of the ACM International Conference on Distributed and Event‐Based Systems (DEBS 2022)},

keywords = {Distributed, Microservice, Semantic},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Algorand22,

title = {Distributed and Adversarial Adversary Workflow Execution on Algorand Blockchain},

author = {Yibin Xu and Tijs Slaats and Boris Düdder and Søren Debois and Haiqin Wu},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

booktitle = {6th International Workshop on Trusted Smart Contracts (WTSC)},

journal = {LNCS},

publisher = {Springer},

keywords = {Blockchain, BPM, Distributed, Distributed Ledger Technology, Workflow},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{EPCP21,

title = {Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems },

author = {Jan Bessai and George T Heineman and Boris Düdder},

editor = {Manu Sridharan},

year  = {2021},

date = {2021-01-01},

booktitle = {Proceedings of the 35th European Conference on Object-Oriented Programming (ECOOP)},

journal = {LIPIcs},

volume = {194},

pages = {27},

publisher = {Schloss Dagstuhl},

keywords = {published},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DR17,

title = {Timber Tracking: Reducing Complexity of Due Diligence by using Blockchain Technology},

author = {Boris Düdder and Omri Ross},

year  = {2017},

date = {2017-08-31},

booktitle = {Proceedings of 2nd Workshop on Managed Complexity},

keywords = {Blockchain, Distributed Ledger Technology, Due diligence},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BDHR15,

title = {Combinatory Synthesis of Classes using Feature Grammars},

author = {Jan Bessai and Boris Düdder and George T. Heineman and Jakob Rehof},

editor = {C. Braga and P.C. Olveczky},

doi = {10.1007/978-3-319-28934-2_7},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of the 12th International Conference on Formal Aspects of Component Software (FACS'15)},

journal = {LNCS},

volume = {9539},

pages = {1--18},

publisher = {Springer},

keywords = {Combinatory Logic, Features, Grammar, Product Line, Software, Synthesis},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{bddr16b,

title = {Extracting a Formally Verified Subtyping Algorithm for Intersection Types from Ideals and Filters},

author = {Jan Bessai and Andrej Dudenhefner and Boris Düdder and Jakob Rehof},

editor = {Silvia Ghilezan},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of 22nd International Conference on Types for Proofs and Programs},

publisher = {Schloss Dagstuhl},

series = {LIPIcs},

note = {abstract},

keywords = {Coq, Formal Verification, Intersection Types, Subtyping},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{bddr16a,

title = {Rank 3 Inhabitation of Intersection Types Revisited},

author = {Jan Bessai and Andrej Dudenhefner and Boris Düdder and Jakob Rehof},

editor = {Silvia Ghilezan},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of 22nd International Conference on Types for Proofs and Programs},

publisher = {Schloss Dagstuhl},

series = {LIPIcs},

note = {abstract},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BDHR16c,

title = {ModSyn-PP: Modular Synthesis of Programs and Processes (Track Introduction)},

author = {Boris Düdder and George T. Heineman and Jakob Rehof},

editor = {Tiziana Margaria and Bernhard Steffen},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},

journal = {LNCS},

volume = {9952},

pages = {263--267},

keywords = {Modular, Process Synthesis, Product Line, Program Synthesis, Synthesis},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BDHR16b,

title = {A Long and Winding Road Towards Modular Synthesis},

author = {Jan Bessai and Boris Düdder and George T. Heineman and Jakob Rehof},

editor = {Tiziana Margaria and Bernhard Steffen},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},

journal = {LNCS},

volume = {9952},

pages = {305--322},

keywords = {Modular, Software, Synthesis},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BDHR16a,

title = {Combinatory Process Synthesis},

author = {Jan Bessai and Boris Düdder and George T. Heineman and Jakob Rehof},

editor = {Tiziana Margaria and Bernhard Steffen},

year  = {2016},

date = {2016-01-01},

booktitle = {Proceedings of 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation},

journal = {LNCS},

volume = {9952},

pages = {268--283},

keywords = {Combinatory Logic, Process Synthesis, Program Synthesis, Type theory, Workflow},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DHR15a,

title = {Towards Migrating Object-Oriented Frameworks to Enable Synthesis of Product Line Members},

author = {Boris Düdder and George T. Heineman and Jakob Rehof},

url = {http://doi.acm.org/10.1145/2791060.2791076},

doi = {10.1145/2791060.2791076},

year  = {2015},

date = {2015-08-01},

booktitle = {Proceedings of the 19th International Software Product Line Conference (SPLC'15)},

pages = {56--60},

publisher = {ACM},

address = {Nashville, Tennessee},

series = {SPLC '15},

keywords = {Combinatory Logic, Framework, Object-oriented, Product Line, Program Synthesis, Software, Synthesis},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DHR15b,

title = {Synthesizing Type-safe Compositions in Feature Oriented Software Designs using Staged Composition},

author = {Boris Düdder and George T. Heineman and Jakob Rehof},

url = {http://doi.acm.org/10.1145/2791060.2793677},

doi = {10.1145/2791060.2793677},

isbn = {978-1-4503-3613-0},

year  = {2015},

date = {2015-01-01},

booktitle = {Workshop on Modular Synthesis of Product Lines (ModSyn-PL) in Proceedings of the 19th International Software Product Line Conference (SPLC'15)},

pages = {398--401},

publisher = {ACM},

address = {Nashville, Tennessee},

keywords = {Combinatory Logic, Features, Product Line, Staged Composition, Synthesis},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{BCDdLR15,

title = {Mixin Composition Synthesis based on Intersection Types},

author = {Jan Bessai and Tzu-Chun Chen and Andrej Dudenhefner and Boris Düdder and Ugo de'Liguoro and Jakob Rehof},

editor = {Thorsten Altenkirch},

url = {http://dx.doi.org/10.4230/LIPIcs.TLCA.2015.x},

doi = {10.4230/LIPIcs.TLCA.2015.x},

issn = {1868-8969},

year  = {2015},

date = {2015-01-01},

booktitle = {Proceedings of 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)},

volume = {38},

pages = {76--91},

publisher = {Schloss Dagstuhl},

series = {LIPIcs},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{ITRS14,

title = {Typing Classes and Mixins with Intersection Types},

author = {Jan Bessai and Andrej Dudenhefner and Boris Düdder and Moritz Martens and Tzu-Chun Chen and Ugo de'Liguoro},

url = {http://dx.doi.org/10.4204/EPTCS.177.7},

doi = {10.4204/EPTCS.177.7},

year  = {2015},

date = {2015-01-01},

booktitle = {Proceedings of Seventh Workshop on Intersection Types and Related Systems},

volume = {177},

pages = {79--93},

publisher = {EPTCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}