{"title":"Foundations And Trends In Electronic Design Automation","description":"\u003cp\u003eExplore the cutting edge of electronic design automation with this essential series. Dive into expert analyses and emerging trends shaping the future of electronic systems and integrated circuits. Start your discovery here.\u003c\/p\u003e","products":[{"product_id":"secure-processors-part-ii-book-victor-costan-9781680833027","title":"Secure Processors Part II","description":"This monograph is the second of a two-part survey and analysis of the state of the art in secure processor systems, with a specific focus on remote software attestation and software isolation. The first part established the taxonomy and prerequisite concepts relevant to an examination of the state of the art in trusted remote computation: attested software isolation containers (enclaves). This second part extends Part I’s description of Intel’s Software Guard Extensions (SGX), an available and documented enclave-capable system, with a rigorous security analysis of SGX as a system for trusted remote computation. This part documents the authors’ concerns over the shortcomings of SGX as a secure system and introduces the MIT Sanctum processor developed by the authors: a system designed to offer stronger security guarantees, lend itself better to analysis and formal verification, and offer a more straightforward and complete threat model than the Intel system, all with an equivalent programming model. This two-part work advocates a principled, transparent, and well scrutinized approach to system design, and argues that practical guarantees of privacy and integrity for remote computation are achievable at a reasonable design cost and performance overhead. See also: Secure Processors Part I: Background, Taxonomy for Secure Enclaves and Intel SGX Architecture (ISBN 978-1-68083-300-3). Part I of this survey establishes the taxonomy and prerequisite concepts relevant to an examination of the state of the art in trusted remote computation: attested software isolation containers (enclaves).","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":49799938801937,"sku":"CIN1680833022G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51046031261969,"sku":"NIN9781680833027","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1680833022.jpg?v=1750831626"},{"product_id":"contracts-for-system-design-book-albert-benveniste-9781680834024","title":"Contracts for System Design","description":"Recently, contract-based design has been proposed as an orthogonal approach that complements system design methodologies proposed so far to cope with the complexity of system design. Contract-based design provides a rigorous scaffolding for verification, analysis, abstraction\/refinement, and even synthesis. Several results have been obtained in this domain but a unified treatment of the topic that can help put contract-based design in perspective has been missing. Contracts for System Design provides such a treatment where contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity. It identifies the essence of complex system design using contracts through a mathematical meta-theory, where all the properties of the methodology are derived from a very abstract and generic notion of contract. This meta-theory provides deep and illuminating links with existing contract and interface theories, as well as guidelines for designing new theories. It encompasses contracts for both software and systems, with emphasis on the latter. Contracts for System Design illustrates the use of contracts with two examples: requirement engineering for a parking garage management, and the development of contracts for timing and scheduling in the context of the AUTOSAR methodology in use in the automotive sector.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51045348344081,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51045350310161,"sku":"NIN9781680834024","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1680834029.jpg?v=1750928609"},{"product_id":"secure-processors-part-i-book-victor-vlad-costan-9781680833003","title":"Secure Processors Part I","description":"This manuscript is the first in a two part survey and analysis of the state of the art in secure processor systems, with a specific focus on remote software attestation and software isolation. This manuscript first examines the relevant concepts in computer architecture and cryptography, and then surveys attack vectors and existing processor systems claiming security for remote computation and\/or software isolation. This work examines in detail the modern isolation container (enclave) primitive as a means to minimize trusted software given practical trusted hardware and reasonable performance overhead. Specifically, this work examines in detail the programming model and software design considerations of Intel's Software Guard Extensions (SGX), as it is an available and documented enclave-capable system. Part II of this work is a deep dive into the implementation and security evaluation of two modern enclave-capable secure processor systems: SGX and MIT's Sanctum. The complex but insufficient threat model employed by SGX motivates Sanctum, which achieves stronger security guarantees under software attacks with an equivalent programming model. This work advocates a principled, transparent, and well-scrutinized approach to secure system design, and argues that practical guarantees of privacy and integrity for remote computation are achievable at a reasonable design cost and performance overhead.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51045557633297,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51045561434385,"sku":"NIN9781680833003","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1680833006.jpg?v=1750800101"},{"product_id":"non-boolean-computing-with-spintronic-devices-book-kawsher-a-roxy-9781680833621","title":"Non-Boolean Computing with Spintronic Devices","description":"One of the most promising emerging non-volatile memories is magnetic tunnel junction (MTJ); this is a Spintronic element where electronic charge and spin are both used for storing and manipulating digital information. Indeed, many companies have proposed this as a universal memory targeting embedded RAM, DRAM, and storage class memory domains primarily due to features like non-volatility, ultra-low power consumption, high endurance, rad-hardness, etc. However, the increasingly popular data-centric approach for solving non-Boolean problems, often called in memory computing, may also benefit by exploiting this kind of device.Non-Boolean Computing with Spintronic Devices explores the latest research areas that employ spintronic devices for non-Boolean computing purposes. Due to the physical limits of traditional computing frameworks, researchers have focused on unconventional solving paradigms like neural networks, associative memory, neuromorphic computing, etc. This monograph also illustrates a novel mechanism to solve computationally expensive binary quadratic optimization problems via an energy minimization framework of nanomagnets. This hardware platform opens the possibility of achieving energy efficient processors such as the Ising model and Bayesian inference co-processor. However, the technology readiness level of spintronic devices is still maturing, so the research on the computing frameworks based on these devices is not static, rather dynamic. This monograph surveys the research to date and is an ideal reference for anyone interested in how the field is developing.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51046418448657,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51046422741265,"sku":"NIN9781680833621","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1680833626.jpg?v=1750800102"}],"url":"https:\/\/www.worldofbooks.com\/de-ch\/collections\/foundations-and-trends-in-electronic-design-automation-buchreihe.oembed","provider":"World of Books ","version":"1.0","type":"link"}