LEADER 05395nam 22007335 450 001 996418218803316 005 20200703145229.0 010 $a3-030-43725-6 024 7 $a10.1007/978-3-030-43725-1 035 $a(CKB)4100000010672222 035 $a(DE-He213)978-3-030-43725-1 035 $a(MiAaPQ)EBC6134069 035 $a(Au-PeEL)EBL6134069 035 $a(OCoLC)1145605120 035 $a(PPN)243222874 035 $a(EXLCZ)994100000010672222 100 $a20200312d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFinancial Cryptography and Data Security$b[electronic resource] $eFC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18?22, 2019, Revised Selected Papers /$fedited by Andrea Bracciali, Jeremy Clark, Federico Pintore, Peter B. Rønne, Massimiliano Sala 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XIV, 347 p. 216 illus., 29 illus. in color.) 225 1 $aSecurity and Cryptology ;$v11599 311 $a3-030-43724-8 327 $aTwo-Party State Channels with State Assertions -- Secure Offline Payments in Bitcoin -- Proof-of-Work Sidechains -- You Sank my Battleship! A Case Study to Evaluate State Channels as a Scaling Solution for Cryptocurrencies -- Game-theoretic Analysis of an Incentivized Verifiable Computation System -- Sluggish Mining: Profiting from the Verier's Dilemma -- Deploying PayWord on Ethereum -- SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course -- Verification-Led Smart Contracts -- A Java Framework for Smart Contracts -- Is Solidity solid enough -- Building Executable Secure Design Models for Smart Contracts with Formal Methods -- SoK: Transparent Dishonesty: Front-running Attacks on Blockchain -- Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum -- Election Manipulation 100 -- A Manifest Improvement for Risk-Limiting Audits -- k-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-Election Audits -- How to Assess the Usability Metrics in E-Voting Schemes -- Improving the Performance of Cryptographic Voting Protocols (SoK) -- Short Paper: Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption -- Priv-Apollo - Secret Ballot E2E-V Internet Voting -- End-to-End Verifiable Quadratic Voting with Everlasting Privacy -- Lattice-Based Proof of a Shuffle. 330 $aThis book constitutes the refereed proceedings of two workshops held at the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, in St. Kitts, St. Kitts and Nevis, in February 2019. The 20 full papers and 4 short papers presented in this book were carefully reviewed and selected from 34 submissions. The papers feature the outcome of the 4th Workshop on Advances in Secure Electronic Voting, VOTING 2019 and the Third Workshop on Trusted Smart Contracts, WTSC 2019. VOTING covered topics like election auditing, voting system efficiency, voting system usability, and new technical designs for cryptographic protocols for voting systems. WTSC focuses on smart contracts, i.e., self-enforcing agreements in the form of executable programs, and other decentralized applications that are deployed to and run on top of (specialized) blockchains. . 410 0$aSecurity and Cryptology ;$v11599 606 $aData encryption (Computer science) 606 $aApplication software 606 $aArchitecture, Computer 606 $aDatabase management 606 $aComputer communication systems 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aData encryption (Computer science). 615 0$aApplication software. 615 0$aArchitecture, Computer. 615 0$aDatabase management. 615 0$aComputer communication systems. 615 14$aCryptology. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aComputer System Implementation. 615 24$aDatabase Management. 615 24$aComputer Communication Networks. 676 $a005.82 702 $aBracciali$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aClark$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPintore$b Federico$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRønne$b Peter B$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSala$b Massimiliano$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418218803316 996 $aFinancial Cryptography and Data Security$92568624 997 $aUNISA LEADER 03813nam 2200589 a 450 001 9910541978103321 005 20230725031454.0 010 $a1-283-15577-X 010 $a9786613155771 010 $a1-84593-777-5 035 $a(CKB)2670000000097900 035 $a(EBL)740104 035 $a(OCoLC)742416151 035 $a(SSID)ssj0000506420 035 $a(PQKBManifestationID)12204490 035 $a(PQKBTitleCode)TC0000506420 035 $a(PQKBWorkID)10515407 035 $a(PQKB)11692360 035 $a(MiAaPQ)EBC740104 035 $a(Au-PeEL)EBL740104 035 $a(CaPaEBR)ebr10480966 035 $a(CaONFJC)MIL315577 035 $a(EXLCZ)992670000000097900 100 $a20110124d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aStress response in pathogenic bacteria$b[electronic resource] /$fedited by Stephen P. Kidd 210 $aWallingford, Oxfordshire, U.K. $cCABI$dc2011 215 $a1 online resource (316 p.) 225 1 $aAdvances in molecular and cellular microbiology ;$v19 300 $aDescription based upon print version of record. 311 $a1-84593-760-0 320 $aIncludes bibliographical references and index. 327 $aOxidative and nitrosative stress defence systems in escherichia coli and pseudomonas aeruginosa : a model organism of study versus a human opportunistic pathogen / by James A. Imlay and Daniel J. Hassett -- Coordinated regulation of stress and virulence adaptations in stages of haemophilus pathogenesis / by Sandy M. S. Wong and Brain J. Akerley -- Nitric oxide stress in escherichia coli and salmonella / by Stephen Spiro -- Nitric oxide and gram-positive pathogens : host triggers and bacterial defence mechanisms / by Glen C. Ulett and Adam J. Potter -- Novel regulation in response to host generated stresses : the Merr family of regulators in pathogenic bacteria / by Stephen P. Kidd -- Stress responses in pathogenic neisseria : overlapping regulons and SRNA regulation / by Stuart A. Hill -- Acid survival mechanisms of bacterial pathogens of the digestive tract / by Hanan Gancz and D. Scott Merrell -- Urease and the bacterial acid stress response / by Peter Chivers -- Secretion systems and metabolism in pathogenic yersiniae / by Matthew S. Francis -- Response of neisseria gonorrhoeae to oxygen limitation and excess / by Jeffery A. Cole -- Copper and zinc stress in bacteria / by Selina R. Clayton, Karin Heurlier, Taku Oshim, and Jon. L. Hobman -- Metal ion sensing in mycobacterium tuberculosis / by Jennifer S. Cavet -- Salmonella and the host in the battle for iron -- by Elisa Deriu, Janet Z. Liu and Manuela Raffatellu. 330 $aThe ability of pathogenic bacteria to adapt to various chemical, biochemical and physical conditions within the human host and their ability to respond to stresses generated in these environments is a central feature of infectious diseases and the outcome of bacterial infection. This book covers the key aspects of this rapidly developing field, including the generation of stresses by the host immune system, bacterial response to reactive chemicals, and adaptation to environmental conditions of anatomical niches such as the gut, mouth and urogenital tract. It also addresses the increasing impor 410 0$aAdvances in molecular and cellular microbiology ;$v19. 606 $aPathogenic bacteria 606 $aStress (Physiology) 615 0$aPathogenic bacteria. 615 0$aStress (Physiology) 676 $a616.07/1 701 $aKidd$b Stephen P$01129290 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910541978103321 996 $aStress response in pathogenic bacteria$92661918 997 $aUNINA LEADER 01100nam 2200361 450 001 9910132569303321 005 20240206184544.0 010 $a1-4123-6744-1 024 7 $a10.1522/030146161 035 $a(CKB)3680000000165907 035 $a(NjHacI)993680000000165907 035 $a(EXLCZ)993680000000165907 100 $a20240206d2010 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aInculturation par les exemples /$fHerve? Carrier 210 1$aChicoutimi :$cJ.-M. Tremblay,$d2010. 215 $a1 online resource (12 pages) 225 1 $aClassiques des sciences sociales ;$v4187 410 0$aClassiques des sciences sociales ;$v4187. 606 $aFrench literature$xHistory and criticism 615 0$aFrench literature$xHistory and criticism. 676 $a840.9 700 $aCarrier$b Herve?$0409306 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910132569303321 996 $aInculturation par les exemples$93908869 997 $aUNINA