Publications |https://bemagri.xyz/publications/PublicationsHugoBlox Kit (https://hugoblox.com)en-usThu, 01 Jan 2026 00:00:00 +0000https://bemagri.xyz/media/icon_hu_b1b8ea8dd459471c.pngPublicationshttps://bemagri.xyz/publications/Meeting in the Middle: A Co-Design Paradigm for FHE and AI Inferencehttps://bemagri.xyz/publications/meeting-in-the-middle-a-co-design-paradigm-for-fhe-and-ai-in/Thu, 01 Jan 2026 00:00:00 +0000https://bemagri.xyz/publications/meeting-in-the-middle-a-co-design-paradigm-for-fhe-and-ai-in/The Cost of Fluidity: Communication Complexity Trade-offs in Fluid MPChttps://bemagri.xyz/publications/the-cost-of-fluidity-communication-complexity-trade-offs-in-1/Thu, 01 Jan 2026 00:00:00 +0000https://bemagri.xyz/publications/the-cost-of-fluidity-communication-complexity-trade-offs-in-1/The Cost of Fluidity: Communication Complexity Trade-Offs in Fluid MPChttps://bemagri.xyz/publications/the-cost-of-fluidity-communication-complexity-trade-offs-in/Thu, 01 Jan 2026 00:00:00 +0000https://bemagri.xyz/publications/the-cost-of-fluidity-communication-complexity-trade-offs-in/Guarding the Signal: Secure Messaging with Reverse Firewallshttps://bemagri.xyz/publications/guarding-the-signal-secure-messaging-with-reverse-firewalls-1/Wed, 01 Jan 2025 00:00:00 +0000https://bemagri.xyz/publications/guarding-the-signal-secure-messaging-with-reverse-firewalls-1/Guarding the Signal: Secure Messaging with Reverse Firewallshttps://bemagri.xyz/publications/guarding-the-signal-secure-messaging-with-reverse-firewalls/Wed, 01 Jan 2025 00:00:00 +0000https://bemagri.xyz/publications/guarding-the-signal-secure-messaging-with-reverse-firewalls/Key Exchange in the Post-snowden Era: Universally Composable Subversion-Resilient PAKEhttps://bemagri.xyz/publications/key-exchange-in-the-post-snowden-era-universally-composable/Mon, 01 Jan 2024 00:00:00 +0000https://bemagri.xyz/publications/key-exchange-in-the-post-snowden-era-universally-composable/Signature-based Witness Encryption with Compact Ciphertexthttps://bemagri.xyz/publications/signature-based-witness-encryption-with-compact-ciphertext-1/Mon, 01 Jan 2024 00:00:00 +0000https://bemagri.xyz/publications/signature-based-witness-encryption-with-compact-ciphertext-1/Signature-Based Witness Encryption with Compact Ciphertexthttps://bemagri.xyz/publications/signature-based-witness-encryption-with-compact-ciphertext/Mon, 01 Jan 2024 00:00:00 +0000https://bemagri.xyz/publications/signature-based-witness-encryption-with-compact-ciphertext/Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinementhttps://bemagri.xyz/publications/certified-private-inference-on-neural-networks-via-lipschitz/Sun, 01 Jan 2023 00:00:00 +0000https://bemagri.xyz/publications/certified-private-inference-on-neural-networks-via-lipschitz/Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement (Version 1)https://bemagri.xyz/publications/certified-private-inference-on-neural-networks-via-lipschitz-1/Sun, 01 Jan 2023 00:00:00 +0000https://bemagri.xyz/publications/certified-private-inference-on-neural-networks-via-lipschitz-1/Key Exchange in the Post-Snowden Era: UC Secure Subversion-Resilient PAKEhttps://bemagri.xyz/publications/key-exchange-in-the-post-snowden-era-uc-secure-subversion-re/Sun, 01 Jan 2023 00:00:00 +0000https://bemagri.xyz/publications/key-exchange-in-the-post-snowden-era-uc-secure-subversion-re/McFly: Verifiable Encryption to the Future Made Practicalhttps://bemagri.xyz/publications/mcfly-verifiable-encryption-to-the-future-made-practical/Sun, 01 Jan 2023 00:00:00 +0000https://bemagri.xyz/publications/mcfly-verifiable-encryption-to-the-future-made-practical/Revisiting Transaction Ledger Robustness in the Miner Extractable Value Erahttps://bemagri.xyz/publications/revisiting-transaction-ledger-robustness-in-the-miner-extrac/Sun, 01 Jan 2023 00:00:00 +0000https://bemagri.xyz/publications/revisiting-transaction-ledger-robustness-in-the-miner-extrac/Everlasting UC Commitments from Fully Malicious PUFshttps://bemagri.xyz/publications/everlasting-uc-commitments-from-fully-malicious-pufs/Sat, 01 Jan 2022 00:00:00 +0000https://bemagri.xyz/publications/everlasting-uc-commitments-from-fully-malicious-pufs/GearBox: Optimal-size Shard Committees by Leveraging the Safety-Liveness Dichotomyhttps://bemagri.xyz/publications/gearbox-optimal-size-shard-committees-by-leveraging-the-safe/Sat, 01 Jan 2022 00:00:00 +0000https://bemagri.xyz/publications/gearbox-optimal-size-shard-committees-by-leveraging-the-safe/McFly: Verifiable Encryption to the Future Made Practicalhttps://bemagri.xyz/publications/mcfly-verifiable-encryption-to-the-future-made-practical-1/Sat, 01 Jan 2022 00:00:00 +0000https://bemagri.xyz/publications/mcfly-verifiable-encryption-to-the-future-made-practical-1/Universally Composable Subversion-Resilient Cryptographyhttps://bemagri.xyz/publications/universally-composable-subversion-resilient-cryptography-1/Sat, 01 Jan 2022 00:00:00 +0000https://bemagri.xyz/publications/universally-composable-subversion-resilient-cryptography-1/Universally Composable Subversion-Resilient Cryptographyhttps://bemagri.xyz/publications/universally-composable-subversion-resilient-cryptography/Sat, 01 Jan 2022 00:00:00 +0000https://bemagri.xyz/publications/universally-composable-subversion-resilient-cryptography/Broadcast-Optimal Two Round MPC with an Honest Majorityhttps://bemagri.xyz/publications/broadcast-optimal-two-round-mpc-with-an-honest-majority/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/broadcast-optimal-two-round-mpc-with-an-honest-majority/Cryptographic reverse firewalls for interactive proof systemshttps://bemagri.xyz/publications/cryptographic-reverse-firewalls-for-interactive-proof-system/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/cryptographic-reverse-firewalls-for-interactive-proof-system/Everlasting UC Commitments from Fully Malicious PUFshttps://bemagri.xyz/publications/everlasting-uc-commitments-from-fully-malicious-pufs-1/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/everlasting-uc-commitments-from-fully-malicious-pufs-1/GearBox: An Efficient UC Sharded Ledger Leveraging the Safety-Liveness Dichotomyhttps://bemagri.xyz/publications/gearbox-an-efficient-uc-sharded-ledger-leveraging-the-safety/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/gearbox-an-efficient-uc-sharded-ledger-leveraging-the-safety/Immunization against complete subversion without random oracleshttps://bemagri.xyz/publications/immunization-against-complete-subversion-without-random-orac/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/immunization-against-complete-subversion-without-random-orac/Random-Index PIR and Applicationshttps://bemagri.xyz/publications/random-index-pir-and-applications/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/random-index-pir-and-applications/Refresh When You Wake Up: Proactive Threshold Wallets with Offline Deviceshttps://bemagri.xyz/publications/refresh-when-you-wake-up-proactive-threshold-wallets-with-of/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/refresh-when-you-wake-up-proactive-threshold-wallets-with-of/Reparo: Publicly Verifiable Layer to Repair Blockchainshttps://bemagri.xyz/publications/reparo-publicly-verifiable-layer-to-repair-blockchains/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/reparo-publicly-verifiable-layer-to-repair-blockchains/Weight-Based Nakamoto-Style Blockchainshttps://bemagri.xyz/publications/weight-based-nakamoto-style-blockchains/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/weight-based-nakamoto-style-blockchains/YOSO: You Only Speak Once - Secure MPC with Stateless Ephemeral Roleshttps://bemagri.xyz/publications/yoso-you-only-speak-once-secure-mpc-with-stateless-ephemeral/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/yoso-you-only-speak-once-secure-mpc-with-stateless-ephemeral/YOSO: You Only Speak Once / Secure MPC with Stateless Ephemeral Roleshttps://bemagri.xyz/publications/yoso-you-only-speak-once-secure-mpc-with-stateless-ephemeral-1/Fri, 01 Jan 2021 00:00:00 +0000https://bemagri.xyz/publications/yoso-you-only-speak-once-secure-mpc-with-stateless-ephemeral-1/Afgjort: A Partially Synchronous Finality Layer for Blockchainshttps://bemagri.xyz/publications/afgjort-a-partially-synchronous-finality-layer-for-blockchai/Wed, 01 Jan 2020 00:00:00 +0000https://bemagri.xyz/publications/afgjort-a-partially-synchronous-finality-layer-for-blockchai/Broadcast-Optimal Two Round MPC with an Honest Majorityhttps://bemagri.xyz/publications/broadcast-optimal-two-round-mpc-with-an-honest-majority-1/Wed, 01 Jan 2020 00:00:00 +0000https://bemagri.xyz/publications/broadcast-optimal-two-round-mpc-with-an-honest-majority-1/Cryptographic Reverse Firewalls for Interactive Proof Systemshttps://bemagri.xyz/publications/cryptographic-reverse-firewalls-for-interactive-proof-system-1/Wed, 01 Jan 2020 00:00:00 +0000https://bemagri.xyz/publications/cryptographic-reverse-firewalls-for-interactive-proof-system-1/Cryptographic Reverse Firewalls for Interactive Proof Systemshttps://bemagri.xyz/publications/cryptographic-reverse-firewalls-for-interactive-proof-system-2/Wed, 01 Jan 2020 00:00:00 +0000https://bemagri.xyz/publications/cryptographic-reverse-firewalls-for-interactive-proof-system-2/Leveraging Weight Functions for Optimistic Responsiveness in Blockchainshttps://bemagri.xyz/publications/leveraging-weight-functions-for-optimistic-responsiveness-in/Wed, 01 Jan 2020 00:00:00 +0000https://bemagri.xyz/publications/leveraging-weight-functions-for-optimistic-responsiveness-in/Minting Mechanism for Proof of Stake Blockchainshttps://bemagri.xyz/publications/minting-mechanism-for-proof-of-stake-blockchains/Wed, 01 Jan 2020 00:00:00 +0000https://bemagri.xyz/publications/minting-mechanism-for-proof-of-stake-blockchains/Random-index PIR with Applications to Large-Scale Secure MPChttps://bemagri.xyz/publications/random-index-pir-with-applications-to-large-scale-secure-mpc/Wed, 01 Jan 2020 00:00:00 +0000https://bemagri.xyz/publications/random-index-pir-with-applications-to-large-scale-secure-mpc/Reparo: Publicly Verifiable Layer to Repair Blockchainshttps://bemagri.xyz/publications/reparo-publicly-verifiable-layer-to-repair-blockchains-1/Wed, 01 Jan 2020 00:00:00 +0000https://bemagri.xyz/publications/reparo-publicly-verifiable-layer-to-repair-blockchains-1/Subversion-resilient signatures: Definitions, constructions and applicationshttps://bemagri.xyz/publications/subversion-resilient-signatures-definitions-constructions-an/Wed, 01 Jan 2020 00:00:00 +0000https://bemagri.xyz/publications/subversion-resilient-signatures-definitions-constructions-an/Afgjort - A Semi-Synchronous Finality Layer for Blockchainshttps://bemagri.xyz/publications/afgjort-a-semi-synchronous-finality-layer-for-blockchains/Tue, 01 Jan 2019 00:00:00 +0000https://bemagri.xyz/publications/afgjort-a-semi-synchronous-finality-layer-for-blockchains/Immunization against Complete Subversion without Random Oracleshttps://bemagri.xyz/publications/immunization-against-complete-subversion-without-random-orac-1/Tue, 01 Jan 2019 00:00:00 +0000https://bemagri.xyz/publications/immunization-against-complete-subversion-without-random-orac-1/Public Immunization Against Complete Subversion Without Random Oracleshttps://bemagri.xyz/publications/public-immunization-against-complete-subversion-without-rand/Tue, 01 Jan 2019 00:00:00 +0000https://bemagri.xyz/publications/public-immunization-against-complete-subversion-without-rand/Redactable Blockchain in the Permissionless Settinghttps://bemagri.xyz/publications/redactable-blockchain-in-the-permissionless-setting-1/Tue, 01 Jan 2019 00:00:00 +0000https://bemagri.xyz/publications/redactable-blockchain-in-the-permissionless-setting-1/Redactable Blockchain in the Permissionless Settinghttps://bemagri.xyz/publications/redactable-blockchain-in-the-permissionless-setting/Tue, 01 Jan 2019 00:00:00 +0000https://bemagri.xyz/publications/redactable-blockchain-in-the-permissionless-setting/Refresh When You Wake Up: Proactive Threshold Wallets with Offline Deviceshttps://bemagri.xyz/publications/refresh-when-you-wake-up-proactive-threshold-wallets-with-of-1/Tue, 01 Jan 2019 00:00:00 +0000https://bemagri.xyz/publications/refresh-when-you-wake-up-proactive-threshold-wallets-with-of-1/A Family of FDH Signature Schemes Based on the Quadratic Residuosity Assumptionhttps://bemagri.xyz/publications/a-family-of-fdh-signature-schemes-based-on-the-quadratic-res/Mon, 01 Jan 2018 00:00:00 +0000https://bemagri.xyz/publications/a-family-of-fdh-signature-schemes-based-on-the-quadratic-res/Minting Mechanisms for Blockchain - or - Moving from Cryptoassets to Cryptocurrencieshttps://bemagri.xyz/publications/minting-mechanisms-for-blockchain-or-moving-from-cryptoasset/Mon, 01 Jan 2018 00:00:00 +0000https://bemagri.xyz/publications/minting-mechanisms-for-blockchain-or-moving-from-cryptoasset/Secure Outsourcing of Cryptographic Circuits Manufacturinghttps://bemagri.xyz/publications/secure-outsourcing-of-cryptographic-circuits-manufacturing/Mon, 01 Jan 2018 00:00:00 +0000https://bemagri.xyz/publications/secure-outsourcing-of-cryptographic-circuits-manufacturing/Redactable Blockchain - or - Rewriting History in Bitcoin and Friendshttps://bemagri.xyz/publications/redactable-blockchain-or-rewriting-history-in-bitcoin-and-fr/Sun, 01 Jan 2017 00:00:00 +0000https://bemagri.xyz/publications/redactable-blockchain-or-rewriting-history-in-bitcoin-and-fr/Redactable Blockchain - or - Rewriting History in Bitcoin and Friendshttps://bemagri.xyz/publications/redactable-blockchain-or-rewriting-history-in-bitcoin-and-fr-1/Fri, 01 Jan 2016 00:00:00 +0000https://bemagri.xyz/publications/redactable-blockchain-or-rewriting-history-in-bitcoin-and-fr-1/Secure Outsourcing of Circuit Manufacturinghttps://bemagri.xyz/publications/secure-outsourcing-of-circuit-manufacturing/Fri, 01 Jan 2016 00:00:00 +0000https://bemagri.xyz/publications/secure-outsourcing-of-circuit-manufacturing/Subversion-Resilient Signature Schemeshttps://bemagri.xyz/publications/subversion-resilient-signature-schemes-1/Thu, 01 Jan 2015 00:00:00 +0000https://bemagri.xyz/publications/subversion-resilient-signature-schemes-1/Subversion-Resilient Signature Schemeshttps://bemagri.xyz/publications/subversion-resilient-signature-schemes/Thu, 01 Jan 2015 00:00:00 +0000https://bemagri.xyz/publications/subversion-resilient-signature-schemes/Certified Bitcoinshttps://bemagri.xyz/publications/certified-bitcoins-1/Wed, 01 Jan 2014 00:00:00 +0000https://bemagri.xyz/publications/certified-bitcoins-1/Certified Bitcoinshttps://bemagri.xyz/publications/certified-bitcoins/Wed, 01 Jan 2014 00:00:00 +0000https://bemagri.xyz/publications/certified-bitcoins/