yusuke1997/dblp-id-title huggingface dataset:
Automated Market Makers: A Stochastic Optimization Approach for Profitable Liquidity Concentration
ML2SC: Deploying Machine Learning Models as Smart Contracts on the Blockchain
Majority is not Needed: A Counterstrategy to Selfish Mining
A Process Adaptation Framework for Blockchain-Based Supply Chain Management
MPoC - A Metaheuristic Proof of Criteria Consensus Protocol for Blockchain Network
Putting Trust back in IP Licensing: DLT Smart Licenses for the Internet of Things
On-Chain Token Verification: A Feasibility Study
EtherBee: A Global Dataset of Ethereum Node Performance Measurements Coupled with Honeypot Interactions and Full Network Sessions
A Journey Towards the Most Efficient State Database for Hyperledger Fabric
Smart Donations for Software Development via Blockchain
InterAcct: Access Control for Permissioned Blockchain Interoperation
FPGALedger: FPGA based Decentralized Ledger for Enterprise Applications
Gated Tri-Tower Transformer (GT3) - An Inflated Power Generation Attack Detector for Microgrids
Optimizing Energy Costs in Blockchain Mining: A Multi-Source Approach
Revisiting security properties in Single Secret Leader Election
KRAMER: Kanaria NFT Collection Rarity Meter
Exploiting constrained IoT devices in a trustless blockchain-based water management system
Privacy and Transparency in CBDCs: A Regulation-by-Design AML/CFT Scheme
Æternum: A Decentralized Voting System with Unconditional Privacy
An Automated Policy Verification and Enforcement Framework for Ethereum Applications
Secure Threshold Wallet Supporting Full Stealth Address
Multimodal Data Fusion for Enhanced Smart Contract Reputability Analysis
Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid
Adaptation of Proof-of-Stake-based Blockchains for IoT Data Streams
AMM-based DEX on the XRP Ledger
LighTx: a lightweight transactions transfer system
A Line Graph-Based Model To Detect Optimal Routing Path in Decentralized Exchanges (DEXs)
Blockchain-enabled Decentralized Anonymous Crowdsourcing Based on Anonymous Payments
A Blockchain-Based Privacy-Preserving Intelligent Charging Station Selection for Electric Vehicles
Proliferation of the Service-centric Distributed Consensus Model and its Impact on Ethereum
FASTEN: Fair and Secure Distributed Voting Using Smart Contracts
Exploring the Universality of Finality Time in Proof-Of-Stake Blockchains: Empirical Analysis and Mathematical Formulation of Size-Synchrony Antagonism
MIRIAM: A Blockchain-based Web Application for Managing Professional Registrations of Medical Doctors in Brazil
Security Management and Visualization in a Blockchain-based Collaborative Defense
POSTER: Towards an Identity Authentication Layer in CBDC Networks using Self-Sovereign Identities
Blockchain Adoption in Public Administration: Insights from Romania
Testbed Design and Performance Analysis for Multilayer Blockchains
Accelerated carrier invoice factoring using predictive freight transport events
Cryptocurrency meets CAP Theorem
An Evaluation of Bitcoin Address Classification based on Transaction History Summarization
Hedging Against High Ethereum Gas Prices with On-Chain Derivatives
Mitigation of Sybil-based Poisoning Attacks in Permissionless Decentralized Learning
Decentralized Cross-Network Identity Management for Blockchain Interoperation
A Response to the United Nations CITES Blockchain Challenge: Incremental and Integrative PoA-based Permit Exchange
Towards a Trusted and Cryptocurrency-Enabled Decentralized Wireless Community Network
Leveraging Architectural Approaches in Web3 Applications - A DAO Perspective Focused
VSCL: Automating Vulnerability Detection in Smart Contracts with Deep Learning
Efficient Liquidity Providing via Margin Liquidity
Characterizing Orphan Transactions in the Bitcoin Network
Support Remote Attestation for Decentralized Robot Operating System (ROS) using Trusted Execution Environment
Performance and Fault Tolerance Trade-offs in Sharded Permissioned Blockchains
CypherChain: A Privacy-Preserving Data Aggregation Framework for Blockchain-Based DR Programs
Rational Economic Behaviours in the Bitcoin Lightning Network
Proactive Market Making and Liquidity Analysis for Everlasting Options in DeFi Ecosystems
SkipSim: Scalable Skip Graph Simulator
SM-SIM: A Simulator for Analyzing Selfish Mining Attacks in Blockchain Systems
Scalable BFT Consensus Mechanism Through Aggregated Signature Gossip
SRNG: An Efficient Decentralized Approach for Secret Random Number Generation
BlockZoom: Large-Scale Blockchain Testbed
Dynamic Automated Market Makers for Decentralized Cryptocurrency Exchange
Graph-Centric Crypto Price Prediction
Enhanced Spatio-Temporal Scalability in Data Management: Fostering Trusted On-Chain and Off-Chain Collaboration for Intelligent Transportation Systems
Automated Judging of LLM-based Smart Contract Security Auditors
NickPay, an Auditable, Privacy-Preserving, Nickname-Based Payment System
B4B.World: Decentralized Influencer Marketing Platform
OrderBookVis: A Visualization Approach for Comparing Order Books from Centralized Crypto Exchanges
Privacy-Preserving Netting in Local Energy Grids
Blue fish, red fish, live fish, dead fish
Demand Matrix Optimization for Offchain Payments in Blockchain
From Slow Propagation to Partition: Analyzing Bitcoin Over Anonymous Routing
Cuckoo's Nest: An Ultra-Lightweight DoS-resilient Bitcoin Mempool
A2C Reinforcement Learning for Cryptocurrency Trading and Asset Management
Pragmatic Analysis of Key Management for Cryptocurrency Custodians
An Anonymous Trust-Marking Scheme on Blockchain Systems
Secretation: Toward a Decentralised Identity and Verifiable Credentials Based Scalable and Decentralised Secret Management Solution
Anomaly Detection based on Traffic Monitoring for Secure Blockchain Networking
Proof of Directed Guiding Gradients: A New Proof of Learning Consensus Mechanism with Constant-time Verification
Enhanced mutation testing of smart contracts in support of code inspection
ASID: Accessible Secure Unique Identification File Based Device Security in Next Generation Blockchains
Abstracting Bitcoin Lightning Network Complexity with Ultraviolet
DePIN: A Framework for Token-Incentivized Participatory Sensing
Mint Centrality: A Centrality Measure for the Bitcoin Transaction Graph
HushRelay: A Privacy-Preserving, Efficient, and Scalable Routing Algorithm for Off-Chain Payments
A Cooperative Architecture of Data Offloading and Sharing for Smart Healthcare with Blockchain
Incident Analysis of Decentralized Finance
Enhancing Ethereum PoA Clique Network with DAG-based BFT Consensus
Privacy-Preserving Petitions on Public Blockchains
Tornado Vote: Anonymous Blockchain-Based Voting
FabricUnit: A Framework for Faster Execution of Unit Tests on Hyperledger Fabric
A Ripple for Change: Analysis of Frontrunning in the XRP Ledger
An Incentivization Scheme for a Fixed-Supply DLT with no Base Token Fees
Verifying Payment Channels with TLA +
Private Transaction Retrieval for Lightweight Bitcoin Client
A Fault Resilient Consensus Protocol for Large Permissioned Blockchain Networks
CryptoMamba: Leveraging State Space Models for Accurate Bitcoin Price Prediction
Leverage Staking with Liquid Staking Derivatives (LSDs): Opportunities and Risks
Design of Blockchain-based Travel Rule Compliance System
Tiramisu: Layering Consensus Protocols for Scalable and Secure Blockchains
Incorruptible Auditing: Blockchain-Powered Graph Database Management
Is Wireless Bad for Consensus in Blockchain?
Relationship Between Total Value Locked and the Yield Dynamics of Liquid Restaking Tokens
Formal Verification of Token Economy Models
Blockchain based Proxy Re-Encryption Scheme for Secure IoT Data Sharing
Distributed Ledger for Non-Selective Reporting
Lock-Free Concurrent Smart Contracts
Velocity: Scalability Improvements in Block Propagation Through Rateless Erasure Coding
Blockchain-Enabled Emergency Detection and Response in Mobile Healthcare System
RiskSEA : A Scalable Graph Embedding for Detecting On-chain Fraudulent Activities on the Ethereum Blockchain
Demo of the Future: Autonomous Web3 AI Agent Showcase
TenderWallet: A Private Access and Compliant Collateralized CBDC System
Software Architecture for Blockchain-based Trade Certificate Systems
FLOCK: Fast, Lightweight, and Scalable Allocation for Decentralized Services on Blockchain
On the Fairness of Distributed Ledger Technologies for the Internet of Things
EVM-Perf: High-Precision EVM Performance Analysis
On the Impact of Attachment Strategies for Payment Channel Networks
BCDM - A decision and operation model for blockchains
Optimal Smart Contracts with Costly Verification
Human-based Consensus for Trust Installation in Ontologies
PrivHChain: Monitoring the Supply Chain of Controlled Substances with Privacy-Preserving Hierarchical Blockchain
Farsighted Miners under Transaction Fee Mechanism EIP1559
Proof of Federated Training: Accountable Cross-Network Model Training and Inference
Incentives in Ethereum's Hybrid Casper Protocol
The Internet of Energy Systems: Blockchain and Smart Contracts meet Federated Learning
Wallet Contracts on Ethereum
The Spatiotemporal Scaling Laws of Bitcoin Transactions
Security Analyses of Misbehavior Tracking in Bitcoin Network
A Landscape of Cryptocurrencies
DecentPeeR: A Self-Incentivised & Inclusive Decentralized Peer Review System
Enhancing XCMP Interoperability Across Polkadot Paraverse
On Using Blockchain Based Workflows
Goldfish: Peer Selection using Matrix Completion in Unstructured P2P Network
Reasonableness discussion and analysis for Hyperledger Fabric configuration
Secure Transmission of Immutable Data for Low-Power, Long-Range Wireless IoT Services
DeFaaS: Decentralized Function-as-a-Service for Emerging dApps and Web3
PROOF: Decentralized Platform for Verifiable Outsourced Computation
DHTee: Decentralized Infrastructure for Heterogeneous TEEs
Securing Proof-of-Work Ledgers via Checkpointing
Elasticoin: Low-Volatility Cryptocurrency with Proofs of Sequential Work
Shared Send Mixers Untangling in Bitcoin Clustering Heuristics Adjustment
A containerized proof-of-concept implementation of LightChain system
Gas Cost Analysis of Fractional NFT on the Ethereum Blockchain
A Referable NFT Scheme
NFTs for Online Trading of Artworks
SoK: Anonymity of Lightweight Clients in Cryptocurrency Systems
CrossCoin: An International CBDC System with Optimal Investments
SOCIALTRUSTR: Blockchain Solution for the Traceability and Validity of Online Content Dissemination
Censorship by Procrastination Attack in Leader-Based BFT Blockchains
Decentralized Application Infrastructures as Smart Contract Codes
Protecting the Integrity of IoT Sensor Data and Firmware With A Feather-Light Blockchain Infrastructure
Fortuna: A Game-theoretic Protocol to Generate Secret Randomness on the Blockchain
Alchemist: LLM-Driven Test Generation using Solidity Mutants and the Scientific Method
A-PoA: Anonymous Proof of Authorization for Decentralized Identity Management
Attribute-based Multi-Signature and Encryption for EHR Management: A Blockchain-based Solution
DeMonitor: Monitoring Decentralization in Blockchains using BigQuery
Supply-Chain-Aligned Software Auditing and Usage Justification via Distributed Ledgers
An Evaluation of Lightweight CNNs for Smart Contract Vulnerability Detection
From Paper Trails to Trust on Tracks: Adding Public Transparency to Railways via zk-SNARKs
Dynamic Management of Identity Federations using Blockchain
LLD: A Low Latency Detection Solution to Thwart Cryptocurrency Pump & Dumps
Account Clustering in the Polkadot Network: Heuristic, Experiments, and Insights
Energy-recycling Blockchain with Proof-of-Deep-Learning
Optimized Consensus with DAGWise: A GNN-Enhanced Approach for Scalable and Fault-Tolerant DAG-Based BFT
A Closer Look at Cross-Domain Maximal Extractable Value for Blockchain Decentralisation
Message from the ICBC 2023 General and Technical Program Chairs
Grief-free Atomic Swaps
Crypto Terminal: A New Open Device For Securing Blockchain Wallets
SNARKlet: Efficient Mobile Wallet Synchronization with zk-SNARKs
Congesting Ethereum after EIP-1559
KeyLinker: Deductive Method for Bitcoin Address Grouping Based on Public Key Reuse
Enhancing Meme Token Market Transparency: A Multi-Dimensional Entity-Linked Address Analysis for Liquidity Risk Evaluation
Unraveling Ethereum's Mempool: The Impact of Fee Fairness, Transaction Prioritization, and Consensus Efficiency
A Blockchain Framework in Compliance with Data Protection Law to Manage and Integrate Human Knowledge by Fuzzy Cognitive Maps: Small Business Loans
Federated Governance and Decentralized Identities for Participatory Sensing Data Mesh
Not Your MPC, Not Your Coin
Sora: A Decentralized Autonomous Economy
Determining Optimal Shard Size in a Hierarchical Blockchain Architecture
Churn in the Bitcoin Network: Characterization and Impact
Decentralised Redactable Blockchain: A Privacy-Preserving Approach to Addressing Identity Tracing Challenges
Proof of Real-Time Transfer: A Consensus Protocol for Decentralized Data Exchange
Cross-Referencing Scheme to Ensure NFT and Platform Linkage Unaffected by Forking
Decentralized Identity and Trust Management Framework for Internet of Things
Public vs. Permissioned Blockchains for DAOs: Insights for Standardized Implementations
Generating efficient and semantic interoperable smart contracts for e-governance
SoK: Cryptocurrency Wallets - A Security Review and Classification based on Authentication Factors
A Unified Incentive Framework for Analysing Fees and Rewards in Distributed Ledgers
Fabchain: Managing Audit-able 3D Print Job over Blockchain
Partitionable Asynchronous Cryptocurrency Blockchain
Profiling of Malicious Users Using Simple Honeypots on the Ethereum Blockchain Network
LMPTs: Eliminating Storage Bottlenecks for Processing Blockchain Transactions
SkillCheck: An Incentive-based Certification System using Blockchains
Monero Traceability Heuristics: Wallet Application Bugs and the Mordinal-P2Pool Perspective
Trusted Compute Units: A Framework for Chained Verifiable Computations
Blockchain Explorer based on RPC-based Monitoring System
Location-aware Verification for Autonomous Truck Platooning Based on Blockchain and Zero-knowledge Proof
Converting Fuzzy Signatures into Anonymizable Signatures using Zero-Knowledge Proof
Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
Unlocking DeFi Literacy: Understanding NFT Market Microstructure in the Decentralized Finance Landscape
Tuning Block Size for Workload Optimization in Consortium Blockchain Networks
ShardingSim: A Modular Committee-Based Sharding Blockchain Simulator
Unpacking Maximum Extractable Value on Polygon: A Study on Atomic Arbitrage
Privacy-Preserving Decentralized Exchange Marketplaces
SecurShard: A Model for Hierarchical Fault Detection in Blockchain Sharding
A Data Science Approach for Detecting Honeypots in Ethereum
Integrating Behavioral Finance Factors with Temporal Convolutional Networks for Enhanced Cryptocurrency Return Predictions
Decentralized Provenance Metadata Registries for Asset-Referenced Tokens
Exploring Randomness in Blockchains
CaIV: Cast-as-Intended Verifiability in Blockchain-based Voting
Biometric Authentication Service on Smart Contract
Blockchain Smart Contract Vulnerability Detection and Segmentation Using ML
A low-cost and verifiable sealed bid auction protocol based on smart contracts
Alleviating Crypto Gas War in NFT Launching
Credit-based Peer-to-Peer Ride Sharing using Smart Contracts
Charting the Uncharted: The Landscape of Monero Peer-to-Peer Network
Gamified service exchange platform on blockchain for IoT business agility
Zipline - A Fault-Proof Blocker Header Oracle
ContractSafeguard: Practical Bug Bounty Platform for Smart Contracts with Intel SGX
Zero-Knowledge Proofs in Anti-Money Laundering Multiparty Computation
Verilay: A Verifiable Proof of Stake Chain Relay
Packet-Level System Performance of a Lightweight Consensus Cryptographic Protocol in Wireless Body Area Networks
Towards a deeper understanding of the Cardano macro-economics
POLYBRIDGE: A Crosschain Bridge For Heterogeneous Blockchains
Unleashing the Full Potential of Blockchain Technology for Security-Sensitive Business Applications
Improving Transaction Success Rate via Smart Gateway Selection in Cryptocurrency Payment Channel Networks
Bitcoin, Gold, Oil Implied Volatility Spillover to Stock Market: Evidence from an Asymmetric Quantile Regression Model
SoK: DePIN Data Layer for Modular Blockchain
Privacy-Preserving Claims Exchange Networks for Virtual Asset Service Providers
Decentralizing Custodial Wallets with MFKDF
Generation of Optimized Solidity Code for Machine Learning Models using LLMs
On Conditional Cryptocurrency With Privacy
Domain Specific Language for Smart Contract Development
Analysis of transaction flooding attacks against Monero
A Platform-independent, Generic-purpose, and Blockchain-based Supply Chain Tracking
Total Eclipse of the Enclave: Detecting Eclipse Attacks From Inside TEEs
Reducing the Gas Usage of Ethereum Smart Contracts without a Sidechain
An Ensemble Method of Deep Reinforcement Learning for Automated Cryptocurrency Trading
Cryptoeconomics and Tokenomics as Economics: A Survey with Opinions
vPass: Publicly Verifiable Fair Exchange Protocol for Vehicle Passports
SoK: Not Quite Water Under the Bridge: Review of Cross-Chain Bridge Hacks
SoK: DAG-based Consensus Protocols
Trinity: A Byzantine Fault-Tolerant Distributed Publish-Subscribe System with Immutable Blockchain-based Persistence
Permission less Block chains and Secure Logging
Central Bank Digital Currency (CBDC): Design Requirements & Challenges
Hashcashed Reputation with Application in Designing Watchtowers
Compliance Design Options for Offline CBDCs: Balancing Privacy and AML/CFT
End-to-End Verifiable Decentralized Federated Learning
Design patterns and framework for blockchain integration in supply chains
Banklaves: Concept for a Trustworthy Decentralized Payment Service for Bitcoin
Peer-to-Peer EnergyTrade: A Distributed Private Energy Trading Platform
Completely FROST-ed: IoT issued FROST signature for Hyperledger Fabric blockchain
Risk-Neutral Pricing Model of Uniswap Liquidity Providing Position: A Stopping Time Approach
Blockchain-Based Solution to Prevent Postage Stamps Fraud
Mempool optimization for Defending Against DDoS Attacks in PoW-based Blockchain Systems
A Predicament in Securing Blockchain Consensus via Controlling Cryptopuzzle Difficulty
Liveness and Consistency of Bitcoin and Prism Blockchains: The Non-lockstep Synchronous Case
Towards Privacy-preserving Digital Contact Tracing
Identification of Darknet Markets' Bitcoin Addresses by Voting Per-address Classification Results
Djed: A Formally Verified Crypto-Backed Autonomous Stablecoin Protocol
Agent-Based Modelling of Ethereum Consensus
Exploring the Market Dynamics of Liquid Staking Derivatives (LSDs)
Determining Optimal Incentive Policy for Decentralized Distributed Systems Using Reinforcement Learning
BakUP: Automated, Flexible, and Capital-Efficient Insurance Protocol for Decentralized Finance
Enhancing Coin Selection in UTXO-based Blockchains through Modified Greedy Algorithms
Short Paper: Unpredictable Transaction Arrangement for MEV Mitigation in Ethereum
Hephaistos: A Management System for Massive Order Book Data from Multiple Centralized Crypto Exchanges with an Internal Unified Order Book
A Blockchain-based Data Governance with Privacy and Provenance: a case study for e-Prescription
A Moderation Framework for the Swift and Transparent Removal of Illicit Blockchain Content
Adaptive Multi-Factor Scoring in Shared Blob for Improving Data Availability in Layer 2 Blockchains
Demonstrating Low Cost SIM Bluetooth Token For Generation Of Ethereum Transactions
Are you interested in computers and electronics?
A lab-based computer networking course at the University of Sydney
The versatile list: a pathway to abstraction
Authentication strategies for online assessments
Results of a PBL trial in first-year computer science
An interactive self-paced learning environment for the World Wide Web
Using and teaching information hiding in single-semester software engineering projects
Can we improve teaching in computer science by looking at how English Is Taugh?
Software testing in the computer science curriculum -- a holistic approach
A graduate course in software reuse
A tool for assisting the understanding of distributed programs
Support structures for students in information technology at QUT
Using literate programming notation in introductory programmingcourses
Integrating a networking simulation package into a data communications course to enhance student learning
Toward an understanding of teaching and learning about information systems
Student participation in computer science tutorials: why are their shoes so interesting?
The web with relevance
Social and ethical education in computing using virtual environments
Robo Wars: a software environment to enhance learning of programming and language design concepts
Experiences when migrating from structured analysis to object-oriented modelling
Integrating professional skills into the curriculum
Principles for designing programming exercises to minimise poor learning behaviours in students
Classical planning in an intelligent tutoring system (poster session)
A graphical restricted instructional programming environment
Data structures with Ada packages, laboratories, and animations
A structured review of reasons for the underrepresentation of women in computing
Puzzles (poster session): a tool for teaching knowledge based systems
Investigation of tutorials in a core computing subject
Creating and supporting learning environments
Obtaining maximum leverage from undergraduate software engineering projects
Supporting a diverse group of casual tutors and demonstrators: one size doesn't fit all
Personality type, career preference and implications for computer science recruitment and teaching
Technology support for authentic assessment in the new millennia: a case study on implementing digital portfolios
The impact on student performance of a change of language in successive introductory computer programming subjects
Web based teaching: a minimalist approach
Integrating group and learning skills into a first-year computer science subject
Jocula - an instructive compiler
Jumping into Java: object-oriented software development for the masses
An immersion model for software engineering projects
An interactive tutorial for UNIX
Improving gender equity in computing programmes: some suggestions for increasing female participation and retention rates
Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, ACSE 1996, Sydney, NSW, Australia, July 1996
Prediction of student performance using neurocomputing techniques
Hardware experiments with CISC and RISC computer architectures
Peer mentoring female computing students - does it make a difference?
Consolidate, preserve and build: a tutor training program for a new school
Tool support for informal deduction
Engaging students in information systems development - a detailed account of first encounters (poster session)
Proceedings of the ACM SIGCSE 4th Australasian Conference on Computer Science Education, ACSE 2000, Melbourne, Victoria, Australia, 2000
The first Novell education academic partner (NEAP) in Australia - The University of Ballarat
Teaching internet literacy to a large and diverse audience
Extending HCI in the computer science curriculum
Multimedia delivery of computer programming subjects: basing structure on instructional design
RCOS: yet another teaching operating system
Here, there and everywhere - on the recurring use of turtle graphics in CS1
Digital documents in educational environment (poster session): misuse, appropriation and detection issues
Software for detecting suspected plagiarism: comparing structure and attribute-counting systems
I/O considered harmful (at least for the first few weeks)
Tight spiral projects for communicating software engineering concepts
Asian women in IT education, an Australian examination
A logical foundation course for CS majors
Adopting a studio-based education approach into information technology (poster session)
A case-study based approach to assessment of systems design and implementation
Setting the PASE - the value of computer aided assessment