000 | 06438nam a22006735i 4500 | ||
---|---|---|---|
001 | 978-3-030-59013-0 | ||
003 | DE-He213 | ||
005 | 20240730202334.0 | ||
007 | cr nn 008mamaa | ||
008 | 200912s2020 sz | s |||| 0|eng d | ||
020 |
_a9783030590130 _9978-3-030-59013-0 |
||
024 | 7 |
_a10.1007/978-3-030-59013-0 _2doi |
|
050 | 4 | _aQA76.9.A25 | |
072 | 7 |
_aUR _2bicssc |
|
072 | 7 |
_aUTN _2bicssc |
|
072 | 7 |
_aCOM053000 _2bisacsh |
|
072 | 7 |
_aUR _2thema |
|
072 | 7 |
_aUTN _2thema |
|
082 | 0 | 4 |
_a005.8 _223 |
245 | 1 | 0 |
_aComputer Security - ESORICS 2020 _h[electronic resource] : _b25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II / _cedited by Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider. |
250 | _a1st ed. 2020. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020. |
|
300 |
_aXXVIII, 760 p. 391 illus., 81 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 |
_aSecurity and Cryptology, _x2946-1863 ; _v12309 |
|
505 | 0 | _aFormal Modelling -- Automatic generation of source lemmas in Tamarin: towards automatic proofs of security protocols -- When is a test not a proof -- Hardware Fingerprinting for the ARINC 429 Avionic Bus -- Applied Cryptography -- Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-based Definition -- SHECS-PIR: Somewhat Homomorphic Encryption-based Compact and Scalable Private Information Retrieval -- Puncturable Encryption: A Generic Construction from Delegatable Fully Key-Homomorphic Encryption -- Analyzing Attacks -- Linear Attack on Round-Reduced DES Using Deep Learning -- Detection by Attack: Detecting Adversarial Samples by Undercover Attack -- Big Enough to Care Not Enough to Scare! Crawling to Attack Recommender Systems -- Active Re-identification Attacks on Periodically Released Dynamic Social Graphs -- System Security -- Fooling primality tests on smartcards -- An Optimizing Protocol Transformation for Constructor Finite Variant Theories in Maude-NPA -- On the Privacy Risks of Compromised Trigger-Action Platforms -- Plenty of Phish in the Sea: Analyzing Potential Pre-Attack Surfaces -- Post-Quantum Cryptography -- Towards Post-Quantum Security for Cyber-Physical Systems: Integrating PQC into Industrial M2M Communication -- CSH: A Post-quantum Secret Handshake Scheme from Coding Theory -- A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing -- A Lattice-Based Key-Insulated and Privacy-Preserving Signature Scheme with Publicly Derived Public Key -- Post-Quantum Adaptor Signatures and Payment Channel Networks -- Security Analysis -- Linear-Complexity Private Function Evaluation is Practical -- Certifying Decision Trees Against Evasion Attacks by Program Analysis -- They Might NOT Be Giants: Crafting Black-Box Adversarial Examples Using Particle Swarm Optimization -- Understanding Object Detection Through An Adversarial Lens -- Applied Cryptography -- Signatures with Tight Multi-User Security from Search Assumptions -- Biased RSA private keys: Origin attribution of GCD-factorable keys -- MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation -- Evaluating the e ectiveness of heuristic worst-case noise analysis in FHE -- Blockchain -- How to Model the Bribery Attack: A Practical Quanti cation Method in Blockchain -- Updatable Blockchains -- PrivacyGuard: Enforcing Private Data Usage Control with Blockchain and Off-chain Contract Execution -- Applied Cryptography -- Identity-Based Authenticated Encryption with Identity Confidentiality -- Securing DNSSEC Keys via Threshold ECDSA From Generic MPC -- On Private Information Retrieval Supporting Range Queries -- Blockchain -- 2-hop Blockchain: Combining Proof-of-Work and Proof-of-Stake Securely -- Generic Superlight Client for Permissionless Blockchains -- LNBot: A Covert Hybrid Botnet on Bitcoin Lightning Network for Fun and Profit. | |
520 | _aThe two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format. The total of 72 full papers included in these proceedings was carefully reviewed and selected from 366 submissions. The papers were organized in topical sections named: database and Web security; system security; network security; software security; machine learning security; privacy; formal modelling; applied cryptography; analyzing attacks; post-quantum cryptogrphy; security analysis; and blockchain. . | ||
650 | 0 |
_aData protection. _97245 |
|
650 | 0 |
_aComputer networks _xSecurity measures. _93969 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aApplication software. _9170956 |
|
650 | 0 |
_aComputers, Special purpose. _946653 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 1 | 4 |
_aData and Information Security. _931990 |
650 | 2 | 4 |
_aMobile and Network Security. _933624 |
650 | 2 | 4 |
_aComputer Communication Networks. _9170957 |
650 | 2 | 4 |
_aComputer and Information Systems Applications. _9170958 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _946654 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
700 | 1 |
_aChen, Liqun. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9170959 |
|
700 | 1 |
_aLi, Ninghui. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9170960 |
|
700 | 1 |
_aLiang, Kaitai. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9170961 |
|
700 | 1 |
_aSchneider, Steve. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9170962 |
|
710 | 2 |
_aSpringerLink (Online service) _9170963 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783030590123 |
776 | 0 | 8 |
_iPrinted edition: _z9783030590147 |
830 | 0 |
_aSecurity and Cryptology, _x2946-1863 ; _v12309 _9170964 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-030-59013-0 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c96967 _d96967 |