Cargando…

Fundamentals of smart contract security /

Smart contracts are an innovative application of blockchain technology. Acting as decentralized custodians of digital assets, they allow us to transfer value and information more effectively by reducing the need to trust a third party. By eliminating the need for intermediaries, smart contracts have...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Ma, Richard (Autor), Gorzny, Jan (Autor), Zulkoski, Edward (Autor), Bak, Kacper (Autor), Mack, Olga V. (Autor)
Otros Autores: Honda, Keisuke (writer of foreword.)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, New York (222 East 46th Street, New York, NY 10017) : Momentum Press, 2019.
Colección:Computer engineering foundations, currents, and trajectories collection.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Mi 4500
001 EBSCO_on1102625314
003 OCoLC
005 20231017213018.0
006 m eo d
007 cr cn||||m|||a
008 190417s2019 nyua fob 001 0 eng d
040 |a NYMPP  |b eng  |e rda  |c NYMPP  |d YDX  |d OCLCF  |d OCLCQ  |d OCLCO  |d N$T  |d OCLCO  |d OCLCQ  |d OCLCA 
020 |a 1949449378 
020 |a 9781949449372  |q (electronic bk.) 
020 |z 9781949449365  |q (print) 
029 1 |a AU@  |b 000065663814 
035 |a (OCoLC)1102625314 
050 4 |a HG1710  |b .M37 2019eb 
082 0 4 |a 332.178  |2 23 
049 |a UAMI 
100 1 |a Ma, Richard,  |e author. 
245 1 0 |a Fundamentals of smart contract security /  |c Richard Ma, Jan Gorzny, Edward Zulkoski, Kacper Bak, and Olga V. Mack ; foreword by Keisuke Honda. 
264 1 |a New York, New York (222 East 46th Street, New York, NY 10017) :  |b Momentum Press,  |c 2019. 
300 |a 1 online resource (1 PDF (xxiv, 137 pages)) :  |b illustrations (some color) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 isbdmedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Computer engineering foundations, currents, and trajectories collection 
504 |a Includes bibliographical references (pages 119-124) and index. 
505 0 |a 1. Introduction. 1.1. What are smart contracts? ; 1.2. A brief history of smart contracts ; 1.3. Uses of smart contracts ; 1.4. Where can smart contracts be used? ; 1.5. Major hacks ; 1.6. The need for secure smart contracts -- 2. The state of blockchain security. 2.1. Blockchain fundamentals ; 2.2. Blockchain environment security layers -- 3. Design choices, design flaws, and cryptoeconomics. 3.1. Design choices ; 3.2. Design flaws ; 3.3. Cryptoeconomics -- 4. Common security flaws. 4.1. Transactions on ethereum in depth ; 4.2. Integer overflows and underflows ; 4.3. Race conditions in ERC20 ; 4.4 Re-entrancy ; 4.5. Transaction-ordering dependence (TOD) and front running ; 4.6. Timestamp dependence ; 4.7. Denial-of-service: exceeding block gas limit ; 4.8. Denial-of-service: transaction revert ; 4.9. Attempts to generate random numbers ; 4.10. Ensuring contracts are called by humans ; 4.11. Zero initial balance assumption ; 4.12. Deprecated call stack depth attack ; 4.13. Library design flaws ; 4.14. Exception handling ; 4.15. Validated arguments and the ethereum short address attack -- 5. Writing secure smart contracts. 5.1. Engineering processes and standards; 5.2. Testing ; 5.3. Automated smart contract analysis with symbolic execution ; 5.4. Securify ; 5.5. Audits ; 5.6. Guidelines -- 6. Conclusion. 6.1. Security is a business strategy, not just a technical challenge ; 6.2. Applying an iterative approach to security ; 6.3. Security is a holistic problem that involves people, systems and processes ; 6.4. Building the world of programmable money together. 
520 3 |a Smart contracts are an innovative application of blockchain technology. Acting as decentralized custodians of digital assets, they allow us to transfer value and information more effectively by reducing the need to trust a third party. By eliminating the need for intermediaries, smart contracts have the potential to massively scale the world economy and unleash the potential for faster and more effcient solutions than traditional systems could ever provide. But there's one catch: while blockchains are secure, smart contracts are not. Security vulnerabilities in smart contracts have led to over 250 million USD in value to be lost or stolen. For smart contract technology to achieve its full potential, these security vulnerabilities need to be addressed. Written by security experts at the forefront of this dynamic industry, this book teaches state-of-the-art smart contract security principles and practices. Help us secure the future of blockchain technology and join us at the forefront today. 
588 0 |a PDF viewed 05/28/2019. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Blockchains (Databases) 
650 0 |a Data encryption (Computer science) 
650 0 |a Electronic funds transfers. 
650 6 |a Chaînes de blocs. 
650 6 |a Chiffrement (Informatique) 
650 6 |a Transferts électroniques de fonds. 
650 7 |a Blockchains (Databases)  |2 fast  |0 (OCoLC)fst01981761 
650 7 |a Data encryption (Computer science)  |2 fast  |0 (OCoLC)fst00887935 
650 7 |a Electronic funds transfers.  |2 fast  |0 (OCoLC)fst00907204 
653 |a Blockchain. 
653 |a Smart contracts. 
653 |a Smart contracts law. 
653 |a Security. 
653 |a Cybersecurity. 
653 |a DLT. 
653 |a Distributed ledger technology. 
653 |a Ethereum. 
653 |a Cryptocurrencies. 
653 |a Bitcoin. 
653 |a Fintech. 
653 |a Innovation. 
653 |a Decentralization. 
653 |a Blockchain programming. 
653 |a Blockchain applications. 
653 |a Solidity. 
653 |a Cryptography. 
700 1 |a Gorzny, Jan,  |e author. 
700 1 |a Zulkoski, Edward,  |e author. 
700 1 |a Bak, Kacper,  |e author. 
700 1 |a Mack, Olga V.,  |e author. 
700 1 |a Honda, Keisuke,  |e writer of foreword. 
776 0 8 |i Print version:  |z 9781949449365 
830 0 |a Computer engineering foundations, currents, and trajectories collection. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=2145748  |z Texto completo 
938 |a Momentum Press  |b NYMP  |n 9781949449372 
938 |a YBP Library Services  |b YANK  |n 300568961 
938 |a EBSCOhost  |b EBSC  |n 2145748 
994 |a 92  |b IZTAP