000 05824nam a22006255i 4500
001 978-3-031-32415-4
003 DE-He213
005 20240423130241.0
007 cr nn 008mamaa
008 230721s2023 sz | s |||| 0|eng d
020 _a9783031324154
_9978-3-031-32415-4
024 7 _a10.1007/978-3-031-32415-4
_2doi
050 4 _aQA268
072 7 _aGPJ
_2bicssc
072 7 _aURY
_2bicssc
072 7 _aCOM083000
_2bisacsh
072 7 _aGPJ
_2thema
072 7 _aURY
_2thema
082 0 4 _a005.824
_223
245 1 0 _aFinancial Cryptography and Data Security. FC 2022 International Workshops
_h[electronic resource] :
_bCoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers /
_cedited by Shin'ichiro Matsuo, Lewis Gudgeon, Ariah Klages-Mundt, Daniel Perez Hernandez, Sam Werner, Thomas Haines, Aleksander Essex, Andrea Bracciali, Massimiliano Sala.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2023.
300 _aXXIV, 690 p. 166 illus., 133 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13412
505 0 _aCoDecFin22 -- Stakechains: A Bitcoin-backed Proof-of-Stake -- Drivers of Bitcoin Energy Use and Emissions -- Integrated Power Plant and Bitcoin Mining Economics -- Carbon-neutral bitcoin adoption for nation states -- Soundness of Stablecoins -- Estimating (Miner) Extractable Value is Hard, Let's Go Shopping! -- Explaining Proof Of Work in a classroom -- The compatibility of CBDCs with “DeFi” protocols: a governance rather than a technological issue to comply with financial crime regulations -- Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges -- Privacy-Preserving Post-Quantum Credentials for Digital Payments -- ZKFlow: Private Transactions in Corda with ZKP -- User-Perceived Privacy in Blockchain -- DeFi22 -- A Short Survey on Business Models of Decentralized Finance (DeFi) Protocols -- On-Chain Auctions with Deposits -- Beyond Staking: An Aphoristic design for Staking and Rewards -- The Case for Variable Fees in Constant Product Markets: An Agent Based Simulation -- An Empirical Study of Market Inefficiencies in Uniswap and SushiSwap -- SoK: Mitigation of Front-running in Decentralized Finance -- A Systematic Investigation of DeFi Compositions in Ethereum -- Privacy Preserving Decentralized Netting -- NFT Wash Trading: Quantifying suspicious behaviour in NFT markets -- Voting22 -- Individual Verifiability and Revoting in the Estonian Internet Voting System -- Breaking and Fixing Vote Privacy of the Estonian E-Voting Protocol IVXV -- German voters’ attitudes towards voting online with a verifiable system -- Simulations of Ballot Polling Risk-Limiting Audits -- Simulations of Ballot Polling Risk-Limiting Audits -- Short Paper: Verifiable Decryption for BGV -- RemoteVote and SAFE Vote: Towards Usable End-to-End Verification for Vote-by-Mail -- WTSC 2022 -- (short summary: WTSC22 - Current andfuture trends) -- Spark: Secure and Flexible Private Transactions -- Fides: A System for Verifiable Computation Using Smart Contracts -- Towards Smart Contract-based Verification of Anonymous Credentials -- Dispute-free Scalable Open Vote Network using zk-SNARKs -- Not All Code are Create2 Equal -- Not so immutable: Upgradeability of Smart Contracts on Ethereum -- Protocol-based smart contract generation -- Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain -- Experimenting with On-chain Order Books -- Experimenting with On-chain Order Books. -A Scalable Architecture for Electronic Payments -- UTS: the Universal Token Swapper.
520 _aThis book constitutes revised selected papers from the workshops that were affiliated with the 26th International Conference on Financial Cryptography and Data Security, FC 2022, which was held in Grenada during May 2022. FC 2022 presents the following four workshops: CoDecFin 2022: 3rd Workshop on Coordination of Decentralized Finance DeFi 2022: 2nd Workshop on Decentralized Finance Voting 2022: 7th Workshop on Advances in Secure Electronic Voting WTSC 2022: 6th Workshop on Trusted Smart Contracts.
650 0 _aCryptography.
650 0 _aData encryption (Computer science).
650 1 4 _aCryptology.
700 1 _aMatsuo, Shin'ichiro.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aGudgeon, Lewis.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aKlages-Mundt, Ariah.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPerez Hernandez, Daniel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWerner, Sam.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aHaines, Thomas.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aEssex, Aleksander.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBracciali, Andrea.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSala, Massimiliano.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031324147
776 0 8 _iPrinted edition:
_z9783031324161
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13412
856 4 0 _uhttps://doi.org/10.1007/978-3-031-32415-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c186634
_d186634