2025
FECAC: Fine-Grained and Efficient Capability-Based Access Control for Enterprize-Scale IoT Systems.
IEEE Internet Things J., April, 2025
Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role-based behaviors.
J. Softw. Evol. Process., January, 2025
Matching as You Want: A Decentralized, Flexible, and Efficient Realization for Crowdsourcing With Dual-Side Privacy.
IEEE Trans. Netw. Sci. Eng., 2025
Linking Souls to Humans: Blockchain Accounts with Credible Anonymity for Web 3.0 Decentralized Identity.
Proceedings of the ACM on Web Conference 2025, 2025
DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and Objects.
Proceedings of the Coordination Models and Languages, 2025
2024
VP$^{2}$2-Match: Verifiable Privacy-Aware and Personalized Crowdsourcing Task Matching via Blockchain.
IEEE Trans. Mob. Comput., October, 2024
Survey on Secure Keyword Search over Outsourced Data: From Cloud to Blockchain-assisted Architecture.
ACM Comput. Surv., March, 2024
Incentive Mechanism for Uncertain Tasks Under Differential Privacy.
IEEE Trans. Serv. Comput., 2024
A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance.
IACR Cryptol. ePrint Arch., 2024
A Study on Asynchronous Vote-based Blockchains.
CoRR, 2024
Publicly Verify While Hiding Data: Privacy-Aware Streaming Truth Discovery with Public Verifiability in Blockchain-Enhanced Crowdsensing.
Proceedings of the 21st Annual IEEE International Conference on Sensing, 2024
Privacy-Preserving UCB Decision Process Verification via zk-SNARKs.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Quantum Computing: Going Where No One Has Gone Before.
Proceedings of the 45th International Conference on Information Systems, 2024
Federated Unlearning in the Internet of Vehicles.
Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024
Bilateral Secure and Decentralized Crowdsourcing Task Matching Atop Consortium Blockchain.
Proceedings of the IEEE International Conference on Blockchain, 2024
2023
Security and privacy issues in blockchain and its applications.
IET Blockchain, December, 2023
Lessons Learned from Assessing Trustworthy AI in Practice.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Digit. Soc., December, 2023
MWPoW+: A Strong Consensus Protocol for Intra-Shard Consensus in Blockchain Sharding.
ACM Trans. Internet Techn., 2023
A two-dimensional sharding model for access control and data privilege management of blockchain.
Simul. Model. Pract. Theory, 2023
Incentive Mechanism for Uncertain Tasks under Differential Privacy.
CoRR, 2023
Reliable and Streaming Truth Discovery in Blockchain-based Crowdsourcing.
Proceedings of the 20th Annual IEEE International Conference on Sensing, 2023
Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs.
Proceedings of the IEEE/ACM International Conference on Software and System Processes, 2023
2022
Blockchain-Based Reliable and Privacy-Aware Crowdsourcing With Truth and Fairness Assurance.
IEEE Internet Things J., 2022
Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee.
Frontiers Blockchain, 2022
How to Assess Trustworthy AI in Practice.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2022
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain.
Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022
Event-based data-centric semantics for consistent data management in microservices.
Proceedings of the 16th ACM International Conference on Distributed and Event-based Systems, 2022
Incentive Mechanism Design for Uncertain Tasks in Mobile Crowd Sensing Systems Utilizing Smart Contract in Blockchain.
Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2022
Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit.
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
2021
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact).
Dagstuhl Artifacts Ser., 2021
BlockNet Report: Exploring the Blockchain Skills Concept and Best Practice Use Cases.
CoRR, 2021
BlockNet Report: Curriculum Guidance Document.
CoRR, 2021
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021
2020
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives.
Frontiers Blockchain, 2020
2018
Mixin Composition Synthesis based on Intersection Types.
Log. Methods Comput. Sci., 2018
Fast Verified BCD Subtyping.
Proceedings of the Models, Mindsets, 2018
2017
Timber Tracking - Reducing Complexity of Due Diligence by using Blockchain Technology (Position Paper).
Proceedings of the Joint Proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium co-located with 16th International Conference on Perspectives in Business Informatics Research (BIR 2017), Copenhagen, Denmark, August 28, 2017
2016
A Long and Winding Road Towards Modular Synthesis.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Combinatory Process Synthesis.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
Towards migrating object-oriented frameworks to enable synthesis of product line members.
Proceedings of the 19th International Conference on Software Product Line, 2015
Synthesizing type-safe compositions in feature oriented software designs using staged composition.
Proceedings of the 19th International Conference on Software Product Line, 2015
Staged Composition Synthesis.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
Combinatory Synthesis of Classes Using Feature Grammars.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
2014
Automatic synthesis of component & connector software architectures with bounded combinatory logic.
PhD thesis, 2014
Typing Classes and Mixins with Intersection Types.
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014
Combinatory Logic Synthesizer.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
2013
Intersection Type Matching with Subtyping.
Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013
2012
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis.
Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012
Bounded Combinatory Logic.
Proceedings of the Computer Science Logic (CSL'12), 2012