Publications

ORCID0000-0002-0241-7729
Google Scholarhttps://scholar.google.de/citations?hl=en&user=0ic62YwAAAAJ
DBLPhttps://dblp.uni-trier.de/pers/d/D=uuml=dder:Boris
SCOPUShttps://www.scopus.com/authid/detail.uri?authorId=55794748200

AI Blockchain Blockchain storage Combinatory Logic Coq Distributed Distributed Ledger Technology Ethics Features Formal Method Formal Verification Intersection Types Logistic Material Flow Material Flow System Mechanical Engineering Mixin Model Checking Modular Object-oriented Process Synthesis Product Line Program Synthesis published Software Staged Composition Synthesis Trait Type theory Workflow

Show all

2024

Wu, Haiqin; Düdder, Boris; Jiang, Shunrong; Wang, Liangmin

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

In: IEEE Transactions on Mobile Computing, pp. 1-18, 2024.

Links | BibTeX | Tags: Task analysis;Vectors;Privacy;Crowdsourcing;Blockchains;Cryptography;Encryption;Crowdsourcing;personalized task allocation;privacy protection;public verifiability;blockchain