Showing 1–15 of 15 results
/ Date/ Name
Jul 27, 2020Extending Concurrent Separation Logic to Enhance Modular FormalizationMar 21, 2023Leveraging Self-Sovereign Identity in Decentralized Data AggregationDec 8, 2020Formalism-Driven Development of Decentralized SystemsSep 13, 2020Transition-Oriented Programming: Developing Provably Correct SystemsJan 22, 2025Chasing price drains liquidityDec 2, 2025Decentralized Multi-Agent System with Trust-Aware CommunicationApr 16, 2024Hunting DeFi Vulnerabilities via Context-Sensitive Concolic VerificationAug 19, 2020Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation LogicJun 2, 2024Model-Driven Security Analysis of Self-Sovereign Identity SystemsMay 17, 2022Self-Sovereign Identity as a Service: Architecture in PracticeNov 6, 2021Sunspot: A Decentralized Framework Enabling Privacy for Authorizable Data Sharing on Transparent Public BlockchainsMar 10, 2025DynTaskMAS: A Dynamic Task Graph-driven Framework for Asynchronous and Parallel LLM-based Multi-Agent SystemsApr 3, 2026NetAgentBench: A State-Centric Benchmark for Evaluating Agentic Network ConfigurationJun 6, 20241-D CNN-Based Online Signature Verification with Federated LearningMar 31, 2026Structural Feature Engineering for Generative Engine Optimization: How Content Structure Shapes Citation Behavior