LEADER 05390nam 22006735 450 001 996418284503316 005 20200701114616.0 010 $a3-030-38471-3 024 7 $a10.1007/978-3-030-38471-5 035 $a(CKB)4900000000505226 035 $a(DE-He213)978-3-030-38471-5 035 $a(MiAaPQ)EBC6112015 035 $a(PPN)242844898 035 $a(EXLCZ)994900000000505226 100 $a20200109d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSelected Areas in Cryptography ? SAC 2019$b[electronic resource] $e26th International Conference, Waterloo, ON, Canada, August 12?16, 2019, Revised Selected Papers /$fedited by Kenneth G. Paterson, Douglas Stebila 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XV, 715 p. 323 illus., 66 illus. in color.) 225 1 $aSecurity and Cryptology ;$v11959 311 $a3-030-38470-5 327 $aBlock Cipher Modes of Operation and Provable Security -- Looking Back|My Life as a Mathematician and Cryptographer -- Supersingular Isogeny Key Exchange for Beginners -- Probabilistic Mixture Di erential Cryptanalysis on round-reduced AES -- Iterative Differential Characteristic of TRIFLE-BC -- Plaintext Recovery Attacks against XTS Beyond Collisions -- Cryptanalysis of SKINNY in the Framework of the SKINNY 2018-2019 Cryptanalysis Competition -- Algebraic Cryptanalysis of Variants of Frit -- Improved Interpolation Attacks on Cryptographic Primitives of Low Algebraic Degree -- A General Framework for the Related-key Linear Attack against Block Ciphers with Linear Key Schedules -- Towards a Practical Cluster Analysis over Encrypted Data -- Breaking the Bluetooth Pairing { The Fixed Coordinate Invalid Curve Attack -- Using TopGear in Overdrive: A more e cient ZKPoK for SPDZ -- On the Real-World Instantiability of Admissible Hash Functions and Effcient Verifiable Random Functions -- Tight Security Bounds for Generic Stream Cipher Constructions -- On the Data Limitation of Small-State Stream Ciphers: Correlation Attacks on Fruit-80 and Plantlet -- A Lightweight Alternative to PMAC -- An Improved Security Analysis on an Indeterminate Equation Public Key Cryptosystem by Evaluation Attacks -- Ternary Syndrome Decoding with Large Weight -- Exploring Trade-o s in Batch Bounded Distance Decoding -- On Quantum Slide Attacks -- XMSS and Embedded Systems: XMSS Hardware Accelerators for RISC-V 1 -- A timing attack on the HQC encryption scheme -- Block-Anti-Circulant Unbalanced Oil and Vinegar -- A DFA Attack on White-Box Implementations of AES with External Encodings -- Parallelizable Authenticated Encryption with Small State Size -- Deep Neural Network Attribution Methods for Leakage Analysis and Symmetric Key Recovery -- BBQ: Using AES in Picnic Signatures -- Towards practical GGM-based PRF from (Module-)Learning-with Rounding. 330 $aThis book contains revised selected papers from the 26th International Conference on Selected Areas in Cryptography, SAC 2019, held in Waterloo, ON, Canada, in August 2019. The 26 full papers presented in this volume were carefully reviewed and selected from 74 submissions. They cover the following research areas: Design and analysis of symmetric key primitives and cryptosystems, including block and stream ciphers, hash functions, MAC algorithms, and authenticated encryption schemes, efficient implementations of symmetric and public key algorithms, mathematical and algorithmic aspects of applied cryptology, cryptography for the Internet of Things. 410 0$aSecurity and Cryptology ;$v11959 606 $aComputer security 606 $aData protection 606 $aComputer organization 606 $aData structures (Computer science) 606 $aArtificial intelligence 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 606 $aSecurity$3https://scigraph.springernature.com/ontologies/product-market-codes/I28000 606 $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006 606 $aData Structures and Information Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/I15009 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputer security. 615 0$aData protection. 615 0$aComputer organization. 615 0$aData structures (Computer science). 615 0$aArtificial intelligence. 615 14$aSystems and Data Security. 615 24$aSecurity. 615 24$aComputer Systems Organization and Communication Networks. 615 24$aData Structures and Information Theory. 615 24$aArtificial Intelligence. 676 $a001.5436 702 $aPaterson$b Kenneth G$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aStebila$b Douglas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418284503316 996 $aSelected Areas in Cryptography ? SAC 2019$91961608 997 $aUNISA LEADER 04743nam 22007215 450 001 996465786703316 005 20200701053730.0 010 $a3-319-93581-X 024 7 $a10.1007/978-3-319-93581-2 035 $a(CKB)3810000000358675 035 $a(DE-He213)978-3-319-93581-2 035 $a(MiAaPQ)EBC6295174 035 $a(PPN)229494463 035 $a(EXLCZ)993810000000358675 100 $a20180620d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAgents and Artificial Intelligence$b[electronic resource] $e9th International Conference, ICAART 2017, Porto, Portugal, February 24?26, 2017, Revised Selected Papers /$fedited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XV, 223 p. 58 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v10839 300 $aIncludes index. 311 $a3-319-93580-1 327 $aA Description Logic Based Knowledge Representation Model for Concept Understanding -- Reasoning for Autonomous Agents in Dynamic Domains: Towards Automatic Satisfaction of the Module Property -- Chest X-Ray Image Analysis - A Vision of Logic Programming -- Text Classification and Transfer Learning based on Character-level Deep Convolutional Neural Networks -- A Hierarchical Playscript Representation of Distributed Words for Effective Semantic Clustering and Search -- Data Harvesting and Event Detection from Czech Twitter -- Variants of Independence Detection in SAT-based Optimal Multi-Agent Path Finding -- ?-Strong Privacy Preserving Multi-agent Planning -- A Quantitative Assessment of the JADEL Programming Language -- Analogical Reasoning in Clinical Practice with Description Logic ELH -- Advanced User Interfaces for Semantic Annotation of Complex Relations in Text. 330 $aThis book contains the revised and extended versions of selected papers from the 9th International Conference, ICAART 2017, held in Porto, Portugal, in February 24-26, 2017. The 11 full papers were carefully reviewed and selected from 158 initial submissions. The papers are organized in two tracks. The first focuses on agents, multi-agent systems, software platforms, distributed problem solving and distributed AI in general. The second track focuses mainly on artificial intelligence, knowledge representation, planning, learning, scheduling, perception, reactive AI systems, evolutionary computing, and other topics related to intelligent systems and computer intelligence. 410 0$aLecture Notes in Artificial Intelligence ;$v10839 606 $aArtificial intelligence 606 $aApplication software 606 $aData mining 606 $aMathematical logic 606 $aSoftware engineering 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aData mining. 615 0$aMathematical logic. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aData Mining and Knowledge Discovery. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputer Appl. in Administrative Data Processing. 615 24$aSoftware Engineering/Programming and Operating Systems. 676 $a006.3 702 $avan den Herik$b Jaap$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRocha$b Ana Paula$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFilipe$b Joaquim$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465786703316 996 $aAgents and artificial intelligence$91904835 997 $aUNISA