04676oam 2200625 450 99646615070331620210522172837.03-540-36504-410.1007/3-540-36504-4(CKB)1000000000548822(EBL)3061647(SSID)ssj0000323141(PQKBManifestationID)11277789(PQKBTitleCode)TC0000323141(PQKBWorkID)10296825(PQKB)10590726(DE-He213)978-3-540-36504-4(MiAaPQ)EBC3061647(MiAaPQ)EBC6413990(PPN)155199501(EXLCZ)99100000000054882220210522d2003 uy 0engur|n|---|||||txtccrFinancial cryptography 6th International Conference, FC 2002, Southampton, Bermuda, March 11-14, 2002 : revised papers /Matt Blaze, editor1st ed. 2003.Berlin, Germany :Springer,[2003]©20031 online resource (309 p.)Lecture Notes in Computer Science,0302-9743 ;2357Description based upon print version of record.3-540-00646-X Includes bibliographical references and index.E-voting without ‘Cryptography’ -- An Implementation of a Universally Verifiable Electronic Voting Scheme Based on Shuffling -- Financial Instruments in Recommendation Mechanisms -- Secure Combinatorial Auctions by Dynamic Programming with Polynomial Secret Sharing -- A Second-Price Sealed-Bid Auction with Verifiable Discriminant of p 0-th Root -- A Two-Server, Sealed-Bid Auction Protocol -- Secure Vickrey Auctions without Threshold Trust -- Almost Optimal Hash Sequence Traversal -- Cryptographic Primitives Enforcing Communication and Storage Complexity -- CryptoComputing with Rationals -- Privacy Tradeoffs: Myth or Reality? -- An Improved Fast Signature Scheme without Online Multiplication -- Timed Release of Standard Digital Signatures -- Quasi-Efficient Revocation of Group Signatures -- The Dark Side of Threshold Cryptography -- Split-and-Delegate: Threshold Cryptography for the Masses -- Redistribution of Mechanical Secret Shares -- Reliable MIX Cascade Networks through Reputation -- Offline Payments with Auditable Tracing -- Fileteller: Paying and Getting Paid for File Storage.The Sixth International Financial Cryptography Conference was held during March 11-14, 2002, in Southampton, Bermuda. As is customary at FC, these proceedings represent "final" versions of the papers presented, revised to take into account comments and discussions from the conference. Submissions to the conference were strong, with 74 papers submitted and 19 accepted for presentation and publication. (Regrettably, three of the submit­ ted papers had to be summarily rejected after it was discovered that they had been improperly submitted in parallel to other conferences.) The small program committee worked very hard under a tight schedule (working through Christmas day) to select the program. No program chair could ask for a better committee; my thanks to everyone for their hard work and dedication. In addition to the refereed papers, the program included a welcome from the Minister of Telecommunications and e-Commerce, Renee Webb, a keynote address by Nigel Hickson, and a panel on privacy tradeoffs cheiired by Rebecca Wright (with panelists Ian Goldberg, Ron Rivest, and Graham Wood). The traditional Tuesday evening "rump session" was skillfully officiated by Markus Jakobsson. My job as program chair was made much, much easier by the excellent work of our general chair, Nicko van Someren, who performed the miracle of hiding from me any evidence of the innumerable logistical nightmares associated with conducting this conference. I have no idea how he did it, but it must have involved many sleepless nights.Lecture Notes in Computer Science,0302-9743 ;2357Electronic funds transfersSecurity measuresCongressesData encryption (Computer science)CongressesElectronic commerceSecurity measuresCongressesElectronic funds transfersSecurity measuresData encryption (Computer science)Electronic commerceSecurity measures332.10285Blaze MattFC 2002MiAaPQMiAaPQUtOrBLWBOOK996466150703316Financial Cryptography772724UNISA03985nam 22006855 450 991025418270332120251023193424.03-319-22035-710.1007/978-3-319-22035-2(CKB)3710000000467434(EBL)4178452(SSID)ssj0001546797(PQKBManifestationID)16141534(PQKBTitleCode)TC0001546797(PQKBWorkID)14796161(PQKB)10125591(DE-He213)978-3-319-22035-2(MiAaPQ)EBC4178452(PPN)188461655(EXLCZ)99371000000046743420150827d2016 u| 0engur|n|---|||||txtccrIP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection /by Khaled Salah Mohamed1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (162 p.)Analog Circuits and Signal Processing,2197-1854Description based upon print version of record.3-319-22034-9 Includes bibliographical references at the end of each chapters.1. Introduction -- 2. IP Cores Design from Specifications to Production: Modeling, Verification, Optimization, and Protection -- 3. Analyzing the Trade-off between Different Memory Cores and Controllers -- 4. SOC BUSES AND PERIPHERALS: FEATURES AND ARCHITECTURES -- 5. Verilog for Implementation and Verification -- 6. New Trends in SoC Verification: UVM, Bug Localization, Scan-Chain-Based Methodology, GA-Based Test Generation -- 7. Conclusions.This book describes the life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection. Various trade-offs in the design process are discussed, including  those associated with many of the most common memory cores, controller IPs  and system-on-chip (SoC) buses. Readers will also benefit from the author’s practical coverage of new verification methodologies. such as bug localization, UVM, and scan-chain.  A SoC case study is presented to compare traditional verification with the new verification methodologies. ·         Discusses the entire life cycle process of IP cores, from specification to production, including IP modeling, verification, optimization, and protection; ·         Introduce a deep introduction for Verilog for both implementation and verification point of view.  ·         Demonstrates how to use IP in applications such as memory controllers and SoC buses. ·         Describes a new verification methodology called bug localization; ·         Presents a novel scan-chain methodology for RTL debugging; ·         Enables readers to employ UVM methodology in straightforward, practical terms.Analog Circuits and Signal Processing,2197-1854Electronic circuitsMicroprocessorsComputer architectureElectronicsElectronic Circuits and SystemsProcessor ArchitecturesElectronics and Microelectronics, InstrumentationElectronic circuits.Microprocessors.Computer architecture.Electronics.Electronic Circuits and Systems.Processor Architectures.Electronics and Microelectronics, Instrumentation.620Mohamed Khaled Salahauthttp://id.loc.gov/vocabulary/relators/aut761899MiAaPQMiAaPQMiAaPQBOOK9910254182703321IP Cores Design from Specifications to Production1543042UNINA