The 4 Horsemen of Unsoundness in Object-Oriented Languages
Explore 4 subtle issues challenging OO verification: termination, leaky partial verification, ill-founded contracts, and reduction to primitive operations.
Trust but Verify: Scaling Deductive Verification with Abstract Interpretation - N40AI'24
Explore scaling deductive verification for smart contracts using abstract interpretation. Learn about pointer analysis algorithms, program simplifications, and challenges in low-level code analysis.
Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer
Explore innovative payment systems using Haskell for type-safe, continuous money transfers. Learn about generalizing payments and implementing blockchain protocols with functional programming concepts.
Predictable Systems Design with Clearly Defined Doubt and Uncertainty - Lambda Days 2023
Explore probabilistic design-time modeling for real-time distributed systems, focusing on functional programming principles to ensure quality and performance in complex software architectures.
Turning Smart Contracts into Indexers with Cross-Compilation in Rust
Explore cross-compilation techniques to transform smart contracts into indexers using Rust. Learn key concepts, blockchain basics, and practical applications with Aurora Engine.
Typesafe Client for Smart Contracts - JavaScript Implementation
Explore building typesafe JavaScript clients for smart contracts. Learn about Kadena, Pact language, and implementing subscription processes using blockchain technology.
Leveraging Blockchain for Secure and Immutable Firmware Updates
Explore blockchain-based secure firmware updates for IoT devices. Learn implementation strategies, smart contracts, and resilience against attacks through expert insights and a practical demo.
Confidential Computing - New Capabilities for New Workloads
Explore Confidential Computing's potential for secure, collaborative applications using hardware-based security and cryptography. Learn about Gen AI, Web3, and multi-party computation applications.
Cloud-Native, Consolidated, Globally Distributed Trade Ledger
Explore cloud-native architecture for a globally distributed trade ledger system, focusing on consolidation, scalability, and real-world implementation challenges.
Keep the Integrity of your Database with Azure SQL Ledger
Protect valuable company data using Azure SQL Ledger. Learn how to maintain data integrity and enhance security for your business's critical information.
Faster Image Pulling with IPFS Cache and eStargz Lazy Pulling
Explore IPFS cache and eStargz lazy pulling to enhance container image pulling speed and efficiency, addressing critical challenges in modern application deployment.
Weaving and Seaming Mocks in Ruby Testing - Techniques and Best Practices
Explore advanced mocking techniques in Ruby testing, including mock fixtures and contracts, to prevent false positives and ensure test reliability.
Is Metaverse the Next Big Thing After the Internet?
Explore the Metaverse's potential, adoption, and future impact. Discover enabling technologies and trends shaping this revolutionary digital realm.
The Future of IoT Payments: Trustworthy and Scalable Open-Source Solutions
Explore the future of IoT payments, focusing on trustworthy and scalable open-source solutions. Examine the challenges of blockchain-based networks and discover potential alternatives like GNU Taler for resource-constrained devices.
Carbon Trading and GHG Tracking on Blockchain - Blockchain TechFest 2022
Explore carbon trading, GHG tracking, and secure care architecture on blockchain through expert presentations from Blockchain TechFest 2022 in Noida. Gain insights into innovative applications of decentralized technologies.
Key Blockchain Developments in the Mortgage Industry in 2022
Explore key blockchain developments in the 2022 mortgage industry, including cryptocurrency impact and global industry updates. Gain insights on blockchain's current status in mortgages.
Hyperledger In-Depth: Provenance Built on Open Source with BTP
Explore BTP's Chronicle product for recording immutable provenance on distributed ledgers, built with open-source technologies like Hyperledger Sawtooth and PROV-O. Includes demo and insights into BTP's journey.
Self-Assessing Service Level Agreements (SLAs) with Hyperledger Fabric
Explore a prototype for fair SLA assessment in telecom using Hyperledger Fabric and Trusted Execution Environments. Learn how blockchain enhances Web3.0 ecosystem transparency and reliability.
Hybrid Blockchain: Future Applications in the Mortgage Industry
Explore the future of Hybrid Blockchain in mortgage industry with Kamlesh Nagware. Gain insights on blockchain's status, engage in Q&A, and learn about community updates and resources.
Protecting Software Supply Chains with Hyperledger Fabric
Explore Corsha's Zero Trust solution using Hyperledger Fabric to secure software supply chains. Learn about preventing attacks and protecting critical components through live demonstrations and expert insights.
Byzantine Swaps - A Rigorously Secure Way for Cross-Chain Asset Exchange
Explore Byzantine Swaps as a secure alternative for cross-chain asset exchange. Learn about blockchain interoperability and witness a live demonstration of cross-chain asset transfers using Hyperledger Weaver.