yusuke1997/dblp-id-title huggingface dataset:
Exploring the Characteristics of Hyperledger Fabric in Resource Consumption
Coupling Smart Contracts: A Comparative Case Study
6th Conference on Blockchain Research & Applications for Innovative Networks and Services , BRAINS 2024, Berlin, Germany, October 9-11, 2024
Invited Paper: Further Decentralizing Decentralized Finance: Loss vs Rebalancing Without a Shared Reference Market
4th Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2022, Paris, France, September 27-30, 2022
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2021, Paris, France, September 27-30, 2021
Blockstash Intelligence: Real-time Crypto Crime Investigation and Forensics tool
Engineering Economics in the Conflux Network
Blockprint Accuracy Study
An analysis of digital identity management systems - a two-mapping view
Optimizing multi-party agreement protocols
Distributed-Ledger-based Authentication with Decentralized Identifiers and Verifiable Credentials
Reward Mechanism for Blockchains Using Evolutionary Game Theory
Scaling a Blockchain System from Eventual to Full Atomicity Using Confederation Approach
Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis
Fairness Notions in DAG-Based DLTs
Performance and Cost Evaluation of Public Blockchain: An NFT Marketplace Case Study
Cross-Chain Non-Fungible Assets Sharing on Polkadot
Empirical Evaluation of MakerDAO's Resilience
Is the blockchain a relevant technology for the industry 4.0?
Blockchain-based Rental Documentation Management with Audit Support
Adaptive layer-two dispute cutoffs in smart-contract blockchains
Salt-based autopeering for DLT-networks
SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph
Deferral: on the Feasibility of High-Volume Blockchain-based Referral Systems
A Cooperative Optimal Mining Model for Bitcoin
Fair Reward Distribution in Federated Byzantine Agreement Systems
Partial Order Transactions on Permissioned Blockchains for enhanced Scalability
DefenseChain: Consortium Blockchain for Cyber Threat Intelligence Sharing and Defense
AUGME: Trust-Minimized Bitcoin Layer2
3BI-ECC: a Decentralized Identity Framework Based on Blockchain Technology and Elliptic Curve Cryptography
Innovative Wallet Using Trusted On-Line Keystore
Threshold Signature in Off-Chain Components to Manage Inter-chain Transactions
DAO Governance Protocols and their Vulnerabilities
Trusting a Smart Contract Means Trusting its Owners: Understanding Centralization Risk
On using Blockchain in beyond 5G: Roaming Improvements
Risk Analysis Methodology to Blockchain-based Solutions
Moving Towards Open Radio Access Networks with Blockchain Technologies
Deep Learning-Based Cryptocurrency Price Prediction: A Comparative Analysis
A Taxonomy of Anti-Fraud Measures within Token Economy: Insights from Rug Pull Schemes
Towards Scaling Byzantine Consensus Using Random Network Topology And Multi-Signatures
A Distributed Calibration Certificate Infrastructure
Who is Smarter? An Empirical Study of AI-Based Smart Contract Creation
FAWAC: An Attack-Resistant, Multi-Enclave Distributed Ledger Architecture
A platform to ease dApp development and adoption
The Miner's Dilemma With Migration
SmartWarden: Automated Intrusion Detection System for Smart Contracts
Gas Optimization Patterns in Move Smart Contracts on the Aptos Blockchain
A secure, distributed and scalable infrastructure for remote generation and use of cryptographic keys
Cost-Efficient Anonymous Authentication Scheme Based on Set-Membership Zero-Knowledge Proof
The Best of Both Worlds: A New Composite Framework Leveraging PoS and PoW for Blockchain Security and Governance
5th Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2023, Paris, France, October 11-13, 2023
Proven Transaction Flow Control for zk-Rollups
The impact of block mining time distribution on the probability of forks
Blockchain framework for real-time streaming data generated in image sensor networks for smart monitoring
Facilitating the Decentralised Exchange of Cryptocurrencies in an Order-Driven Market
A Comprehensive Study of the Bitcoin P2P Network
Towards a Blockchain Voting Roadmap
Auditable Medical Data Sharing through Recoverable Key Agreement
Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities
Lifecycle Management of Resumés with Decentralized Identifiers and Verifiable Credentials
Preserving data privacy and confidentiality in a distributed ledger : a use case in logistics
GeoBlocks: Trustless Geospatial Data Sharing with Accountability and Decentralized Access Control
Generative Adversarial Networks for Bitcoin Data Augmentation
Financial Instruments Generation via Tokenization into Commodity
An Anti-Money Laundering Approach for the Brazilian Smart Contract/Digital Currency (DREX) Platform
DeFi-ning DeFi: Challenges & Pathway
An Evaluation of Gas Consumption Prediction on Ethereum based on Transaction History Summarization
On the Blockchain Selection in Agri-Food Tracking Systems: Student Paper
Algorithmic balancing of hashrate in a Proof-of-Work (PoW) consensus protocol
Peer Review Aggregation utilizing blockchain technology
Study of Blockchain Forensics and Analytics tools
Poster: I Know What Crypto You Got Last Summer: A Study on Web3 Wallet Security and Privacy
The Flexible Interledger Bridge Design
Peer-to-Peer Energy Market Place Powered by Blockchain and Vehicle-to-Grid Technology
SUPRA, a distributed publish/subscribe protocol with blockchain as a conflict resolver
Implementing SAMOS in Mandala
Risk Analysis for Abusing Blockchain Poisoning
2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2020, Paris, France, September 28-30, 2020
Resource Analysis of Ethereum 2.0 Clients
A Transpilation-Based Approach to Writing Secure Access Control Smart Contracts
Benchmarking Large Language Models for Ethereum Smart Contract Development
SoK: Bridging Trust into the Blockchain A Systematic Review on On-Chain Identity
Leader election protocol based on external RNG services
A Fundamental Analysis of Caching Data Protection Scheme using Light-weight Blockchain and Hashchain for Information-centric WSNs
Advocate - Trustworthy Evidence in Cloud Systems
Enhancing Trust in Industry 4.0 Traceability Data using Confidentiality-Preserving Digital Ledger
Byzantine Fault-Tolerant Time in Hyperledger Fabric
Predicting Node Colocality for an Auto-Scaling Multi-Tiered Node-Organizing Blockchain Architecture for IoT
DePhi: Decentralizing Philanthropy via Blockchain for Traceable Micro-transactions
TEMBUV: Trust Ensuring Mechanism Based on Blockchain using UAVs and VANETs
DeCoCo: Blockchain-based Decentralized Compensation of Digital Content Purchases
AfriBit: A People-Oriented Wallet Fostering Financial Inclusion in Kibera
Veritaa - The Graph of Trust
Integrating Blockchain for Enhanced Subscription Management in B5G and 6G Networks
A Blockchain-based Platform for Mobile Telcos for the Provision of Private Networks in the Context of Beyond-5G and 6G
Blockchain-Enabled Car Sharing Platform: Enhancing Reliability and Vehicle History Management
Attention to Lightning Change: Utilizing BERTs to Detect Bitcoin Change Address with Lightning Network Information
Architecture for Smart SAFE Contracts
Blockchain for V2X: A Taxonomy of Design Use Cases and System Requirements
Architecture Design of Blockchain-Based Applications
Notara: Efficient Blockchain Asset Notarization Service
Research Note on the Heterogeneity of the Tokenization of Financial Assets
To Fork or Not To Fork? Bitcoin Forks' Success Analysis Using Twitter Data: Preliminary Results
Blockchain Integration in 5G Technologies: SDN and Network Slicing
Mathematical Modelling of Dual-Layer Byzantine Fault-Tolerant Consensus Process for Optimal Sharding and Mitigation of Blockchain Trilemma
Web3-Powered Service Provisioning in Cellular Networks using NFT and Self-Sovereign Identity
AI pedigree verification platform using blockchain
Decentralized Wireless (DeWi): Which Perspectives for Blockchain-Based Mobile Networks?
Security threshold for FPCS on star graphs
On Addressing Governance Challenges in Blockchain Networks
MedTech Chain Demo: Decentralised, Secure and Privacy-preserving Platform for Medical Device Data Research *
Developing Payment Channels on the Algorand Blockchain
Smart Contracts Refinement for Gas Optimization
A Truth-Inducing Sybil Resistant Decentralized Blockchain Oracle
Blockchain brings confidence to facilitate the flow of data in the agricultural field
Taxonomy and Universal Success Parameters of Token Models in Distributed Ledger Systems
DEIMOSBC: A Blockchain-based System for Crowdsensing after Natural Disasters
Blockchain-based Approaches for Secure Federated Learning
Impacts of Trust Measurements on the Reputation-Based Mining Paradigm
E-IOTA: an efficient and fast metamorphism for IOTA
Enhancing Multi-Label Vulnerability Detection of Smart Contract Using Language Model
Multi-Layer Aggregate Verification for IoT Blockchain
A Purely Posted-Price Transaction Fee Mechanism for Leaderless Blockchains
A Deeper Grasp of Handshake: A Thorough Analysis of Blockchain-based DNS Records
Simulation study of Sycomore ++ , a self-adapting graph-based permissionless distributed ledger
Cost-aware Blockchain Mining Strategy: Dynamic Energy Pricing (DEP) Model
Static Application Security Testing of Consensus-Critical Code in the Cosmos Network
View-Based Federated Byzantine Agreement System for Environmental Blockchain
zkHawk: Practical Private Smart Contracts from MPC-based Hawk
Computing the Heaviest Conflict-Free Sub-DAG in DAG-Based DLTs
Decentralized Credential Status Management: A Paradigm Shift in Digital Trust
A Scalable State Sharing Protocol for Low-Resource Validator Nodes in Blockchain Networks
On the Design of Ethereum's Data Availability Sampling: A Comprehensive Simulation Study
Connecting AI-based Oracles to Blockchains via an Auditable Auction Protocol
Proof of Experience: empowering Proof of Work protocol with miner previous work
Blockchain-Based Implementation of Service Function Chains in Multicloud and Multitenant Environments Over Containerized Networks
Decentralized NFT-based Evolvable Games
Demystifying Just-in-Time (JIT) Liquidity Attacks on Uniswap V3
Distributed Ledger Technologies for Cellular Networks and Beyond 5G: a survey
Blockchain-Based, Privacy-Preserving, First Price Sealed Bid Auction (FPSBA) Verifiable by Participants
Reputation System for Local Flexibility Market
A Co-Simulation Approach of Blockchain Connected Last-Mile Delivery Using Autonomous Robots
Blockchain-based User Profile and Mobile Number Portability for Beyond 5G Mobile Communication Networks
IMBIE: Identity Management with Blockchain Information Exchange
Exploring blockchain-based Self Sovereign Identity Systems: challenges and comparative analysis
MovER: Stabilize Decentralized Finance System with Practical Risk Management
BlockFed: A Novel Federated Learning Framework Based On Hierarchical Aggregation
TrustVote: On Elections We Trust with Distributed Ledgers and Smart Contracts
Building Trustworthy AI Systems: AI Inference Verification with Blockchain and Zero-Knowledge Proofs
Characteristics of Wallet Contracts on Ethereum
We Are Launching our Own NFT! Characterizing Fashion NFT Transactions - Preliminary Results
An Implementation of a Blockchain-based Data Marketplace using Geth
Debt-Financed Collateral and Stability Risks in the DeFi Ecosystem
Integration, Execution and Monitoring of Business Processes with Chaincode
Blockchain Ecosystem for Verifiable Qualifications
COVERT-Blockchain: Privacy-Aware Contact Tracing for COVID-19 on a Distributed Ledger
Generic and Universal Local Cryptocurrency: LCoin
A Rational Mining Strategy for Proof-of-Work Consensus Algorithms
Collaborative Administration of Role-Based Access Control in Smart Contracts
Matching in decentralized two-sided markets via Blockchain-based deferred acceptance
CUSC: Composable User-Centric Smart Contracts
Authentication and Access Control based on Distributed Ledger Technology: A survey
DMix: decentralized mixer for unlinkability
Exploring Locality in Ethereum Transactions
Data Capsule: A Self-Contained Data Model as an Access Policy Enforcement Strategy
Non-Fungible Tokens (NFTs) as a Means for Blockchain Networks Integration in Healthcare
BeSharing: A Copyright-aware Blockchain-enabled Knowledge Sharing Platform
Decentralized Ethereum-Based Solution for Mitigating Oracle Single Point of Failure
Detecting Malicious Ethereum Entities via Application of Machine Learning Classification
A Review on Privacy in DAG-Based DLTs
Exploring Ethereum's Data Stores: A Cost and Performance Comparison
Project Depolymerization: Tokenization of Blockchains
Verifiable Decentralized IPFS Cluster: Unlocking Trustworthy Data Permanency for Off-Chain Storage
BeepTrace for COVID-19 Pandemic: A Demo
Fitting and Regression for Distributions of Ethereum Smart Contracts
Using Blockchain to Secure Passenger Name Records and Effectively Protect Citizen Rights
Process Scheduling of Personal Identity Verification on Decentralized Trust
A New Blockchain Digital MRV (Measurement, Reporting, and Verification) Architecture for Existing Building Energy Performance
DASP: Distributed and Autonomic Scientific Publisher Proposal for Editorial Process Management on Permissioned Blockchain
DisCO: Peer-to-Peer Random Number Generator in Partial Synchronous Systems
A Survey on Blockchain-based Identity Management and Decentralized Privacy for Personal Data
Performance Diagnosis and Optimization for Hyperledger Fabric
Performance Optimization of High-Conflict Transactions within the Hyperledger Fabric Blockchain
A Descriptive Analysis of US Initial Coin Offerings
MedTech Chain: Decentralised, Secure and Privacy-preserving Platform for Medical Device Data Research
EOS Blockchain-Based Electronic Voting System
EU Battery Regulation and the Role of Blockchain in Creating Digital Battery Passports
A Permissioned Blockchain with Proof of Location for Digital Cinema
Demonstrating Trusted Blockchain IoT Device Based On TLS-PSK Secure Element
IOTA-Based Access Control Framework for the Internet of Things
Coq: the world's best macro assembler?
A linear concurrent constraint approach for the automatic verification of access permissions
Mobile calculi for distributed programming
Engineering definitional interpreters
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem
Verified Linear Session-Typed Concurrent Programming
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria
Solving coverability problems of petri nets by partial deduction
Declarative Software Development: Distilled Tutorial
Characterizations of polynomial complexity classes with a better intensionality
Formalizing Languages with Binding Operators in Rewriting Logic
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy
Real-time rewriting semantics of orc
A declarative and bidirectional model transformation approach based on graph co-spans
Higher-order semantic labelling for inductive datatype systems
Future contracts
Graph queries through datalog optimizations
Distributed Programming in a Multi-Paradigm Declarative Language
A gentle introduction to semantic subtyping
Programming with proofs and explicit contexts
Polymorphic Typestate for Session Types
Precision and complexity of XQuery type inference
Concurrent monads for shared state
Fixture Layout Optimization in Wood Industry: A Case Study
Tor: extensible search with hookable disjunction
TopHat: A formal foundation for task-oriented programming
An abductive framework for a-priori verification of web services
Verse: An EDSL for Cryptographic Primitives
Concolic testing for functional languages
From datalog rules to efficient programs with time and space guarantees
Concurrent constraint programming and linear logic (abstract)
L2C2: logic-based LSC consistency checking
A Faithful Description of ECMAScript Algorithms
A lazy narrowing calculus for declarative constraint programming
Determinism Types for Functional Logic Programming
Compiling CHR to parallel hardware
Optimality for dynamic patterns
Computing with subspaces
True separate compilation of Java classes
A bottom-up semantics for linear logic programs
Statically assuring secrecy for dynamic concurrent processes
Automatic synthesis of specifications for first order curry programs
Real-Time Matching of Antescofo Temporal Patterns
Declarative workflows to efficiently manage flexible and advanced business processes
Operational Game Semantics for Generative Algebraic Effects and Handlers
Static analysis of pattern-free properties
Symbolic analysis of network security policies using rewrite systems
Finding all minimal unsatisfiable subsets
Exploration of language specifications by compilation to first-order logic
Extensible sparse functional arrays with circuit parallelism
Un-projectable Global Types for Multiparty Sessions
A Semantic Account of Type-Directed Partial Evaluation
An efficient algorithm for XML type projection
Systematic generation of glass-box test cases for functional logic programs
Additive Cellular Automata Graded-Monadically
Coercion as homomorphism: type inference in a system with subtyping and overloading
Practical use of polynomials over the reals in proofs of termination
Trust in the Pi-Calculus
A contextual semantics for concurrent Haskell with futures
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024
Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters: System Description
Type safe dynamic linking for JVM access control
Heuristics, optimizations, and parallelism for protein structure prediction in CLP( FD )
Nonmonotonic inductive logic programming by instance patterns
Type inference for spreadsheets
ViMer: a visual debugger for mercury
Exception handling for copyless messaging
ReactiveML, ten years later
Declarative abstractions for tensor program partitioning
Practical evaluation of the Lasp programming model at large scale: an experience report
NuITP: An Inductive Theorem Prover for Equational Program Verification
PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022
Lazy Abstraction for Higher-Order Program Verification
Environments and the complexity of abstract machines
On translating geometric solids to functional expressions
PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021
Efficient abstract interpretation using component-wise homomorphisms
Declarative Macro-Programming of Collective Systems with Aggregate Computing: An Experience Report
Simplifying termination proofs for rewrite systems by preprocessing
Integrating finite domain constraints and CLP with sets
Proving inductive validity of constrained inequalities
Iterated process analysis over lattice-valued regular expressions
Macros for context-free grammars
Functional programming with λ-tree syntax
Bellman's GAP: a declarative language for dynamic programming
Nitpicking C++ concurrency
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes
Simplification and termination of strategies in rule-based languages
Polymorphic Directional Types for Logic Programming
Automated Trust Analysis of Copland Specifications for Layered Attestations✱
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions
JaVerT: JavaScript Verification and Testing Framework: Invited Talk
Towards Elastic Incrementalization for Datalog
An Internalist Approach to Correct-by-Construction Compilers
Analysis of access control policy updates through narrowing
Deep Semantic Versioning for Evolution and Variability
An Operational Semantics of Starlog
From Non-determinism to Goroutines: A Fair Implementation of Curry in Go
Closure Conversion in Little Pieces
A framework for typed HOAS and semantics
Decentralized execution of constraint handling rules for ensembles
From the π-calculus to flat GHC
PrivaLog: a Privacy-aware Logic Programming Language
Three Improvements to the Top-Down Solver
Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation
Regular directional types for logic programs
Deriving predicate statistics in datalog
Regular expression sub-matching using partial derivatives
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas
OPENLOG: A Logic Programming Language Based on Abduction
Semantics-based generation of verification conditions by program specialization
Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs
Trace effects and object orientation
Comprehending queries over finite maps
Functional Plus Logic Programming with Built-In and Symbolic Constraints
On modeling planning problems in tabled logic programming
Towards a primitive higher order calculus of broadcasting systems
Causally consistent reversible choreographies: a monitors-as-memories approach
A Typed Slicing Compilation of the Polymorphic RPC calculus
Practical aspects of declarative debugging in Haskell 98
Conditional narrowing modulo SMT and axioms
Formalizing and verifying semantic type soundness of a simple compiler
Session types for linear multithreaded functional programming
Declarative event-oriented programming
Type-based Enforcement of Infinitary Trace Properties for Java
Making induction manifest in modular ACL2
Algorithmic specifications in linear logic with subexponentials
Theory propagation and rational-trees
Functional reactive robotics: an exercise in principled integration of domain-specific languages
Lasp: a language for distributed, coordination-free programming
Parallel Functional Programming at Two Levels of Abstraction
Semantic Equivalence Checking for HHVM Bytecode
Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems
On the expressive power of priorities in CHR
Implicit Parameters for Logic Programming
Foundations of session types
Precise pair-sharing analysis of logic programs
Jthread, a deadlock-free mutex library
Database Queries that Explain their Work
Scrap your boilerplate: prologically!
Semantics of the reFL ect language
Dependent type inference with interpolants
Typing control operators in the CPS hierarchy
Model-driven constraint programming
On the expressive power of temporal concurrent constraint programming languages
A parallel implementation for optimal lambda-calculus reduction
Linearity and recursion in a typed Lambda-calculus
Termination of On-Demand Rewriting and Termination of OBJ Programs
Relational Symbolic Execution
Inferring dynamic credentials for rôle-based trust management
An embedded declarative data transformation language
Automated verification of safety properties of declarative networking programs
Compiling ML polymorphism with explicit layout bitmap
Automatic amortized analysis
Verifying Fail-Free Declarative Programs
A semantics for weakly encapsulated search in functional logic programs
The Machinery of Interaction
Copattern matching and first-class observations in OCaml, with a macro
Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis
Elimination of Square Roots and Divisions by Partial Inlining
Extracting programs from type class proofs
15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013
From logic to stochastic processes (abstract only)
Event choice datalog: a logic programming language for reasoning in multiple dimensions
Efficiently compiling a functional language on AMD64: the HiPE experience
Linear dependent types in a call-by-value scenario
Unveiling and Veiling Information in Programs
Logical relations, data abstraction, and structured fibrations
Semi-naive evaluation in linear tabling