Download or read book Foundations and Practice of Security written by Esma Aïmeur and published by Springer Nature. This book was released on 2022-06-14 with total page 422 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the revised selected papers of the 14th International Symposium on Foundations and Practice of Security, FPS 2021, held in Paris, France, in December 2021. The 18 full papers and 9 short paper presented in this book were carefully reviewed and selected from 62 submissions. They cover a range of topics such as Analysis and Detection; Prevention and Efficiency; and Privacy by Design. Chapters “A Quantile-based Watermarking Approach for Distortion Minimization”, “Choosing Wordlists for Password Guessing: An Adaptive Multi-Armed Bandit Approach” and “A Comparative Analysis of Machine Learning Techniques for IoT Intrusion Detection” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Download or read book Applied Cryptography and Network Security Workshops written by Jianying Zhou and published by Springer Nature. This book was released on 2023-10-03 with total page 733 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the satellite workshops held around the 21st International Conference on Applied Cryptography and Network Security, ACNS 2023, held in Kyoto, Japan, in June 2023. The 34 full papers and 13 poster papers presented in this volume were carefully reviewed and selected from 76 submissions. They stem from the following workshops: · 1st ACNS Workshop on Automated Methods and Data-driven Techniques in Symmetric-key Cryptanalysis (ADSC 2023) · 5th ACNS Workshop on Application Intelligence and Blockchain Security (AIBlock 2023) · 4th ACNS Workshop on Artificial Intelligence in Hardware Security (AIHWS 2023) · 5th ACNS Workshop on Artificial Intelligence and Industrial IoT Security (AIoTS 2023) · 3rd ACNS Workshop on Critical Infrastructure and Manufacturing System Security (CIMSS 2023) · 5th ACNS Workshop on Cloud Security and Privacy (Cloud S&P 2023) · 4th ACNS Workshop on Secure Cryptographic Implementation (SCI 2023) · 4th ACNS Workshop on Security in Mobile Technologies (SecMT 2023) · 5th ACNS Workshop on Security in Machine Learning and its Applications (SiMLA 2023)
Download or read book Smart Card Research and Advanced Applications written by Shivam Bhasin and published by Springer Nature. This book was released on 2024 with total page 283 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 22nd International Conference on Smart Card Research and Advanced Applications, CARDIS 2023, held in Amsterdam, The Netherlands, during November 14–16, 2023. The 13 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: fault attacks; side-channel analysis; smartcards & efficient Implementations; and side-channel & neural networks.
Download or read book Information Security Theory and Practice written by Maryline Laurent and published by Springer Nature. This book was released on 2020-03-02 with total page 254 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the refereed proceedings of the 13th IFIP WG 11.2 International Conference on Information Security Theory and Practices, WISTP 2019, held in Paris, France, in December 2019. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: authentication; cryptography; threats; cybersecurity; and Internet of Things.
Download or read book Automated Methods in Cryptographic Fault Analysis written by Jakub Breier and published by Springer. This book was released on 2019-03-19 with total page 334 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a collection of automated methods that are useful for different aspects of fault analysis in cryptography. The first part focuses on automated analysis of symmetric cipher design specifications, software implementations, and hardware circuits. The second part provides automated deployment of countermeasures. The third part provides automated evaluation of countermeasures against fault attacks. Finally, the fourth part focuses on automating fault attack experiments. The presented methods enable software developers, circuit designers, and cryptographers to test and harden their products.
Download or read book PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN FMCAD 2023 written by Alexander Nadel and published by TU Wien Academic Press. This book was released on 2023-10-13 with total page 332 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
Download or read book Constructive Side Channel Analysis and Secure Design written by Josep Balasch and published by Springer Nature. This book was released on 2022-03-25 with total page 279 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes revised selected papers from the 13th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2022, held in Leuven, Belgium, in April 2022. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The papers cover the following subjects: implementation attacks, secure implementation, implementation attack-resilient architectures and schemes, secure design and evaluation, practical attacks, test platforms, and open benchmarks.
Download or read book Mathematical Aspects of Computer and Information Sciences written by Johannes Blömer and published by Springer. This book was released on 2017-12-20 with total page 466 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017. The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.
Download or read book Languages and Compilers for Parallel Computing written by Mary Hall and published by Springer Nature. This book was released on 2019-11-12 with total page 193 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT, USA, in October 2018. The 14 revised full papers were carefully reviewed and selected from 26 submissions. Specific topics are compiling for parallelism and parallel compilers, static, dynamic, and adaptive optimization of parallel programs, parallel programming models and languages, formal analysis and verification of parallel programs, parallel runtime systems and libraries, performance analysis and debugging tools for concurrency and parallelism, parallel algorithms and concurrent data structures, parallel applications, synchronization and concurrency control, software engineering for parallel programs, fault tolerance for parallel systems, and parallel programming and compiling for heterogeneous systems.
Download or read book Data Driven Mining Learning and Analytics for Secured Smart Cities written by Chinmay Chakraborty and published by Springer Nature. This book was released on 2021-04-28 with total page 383 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides information on data-driven infrastructure design, analytical approaches, and technological solutions with case studies for smart cities. This book aims to attract works on multidisciplinary research spanning across the computer science and engineering, environmental studies, services, urban planning and development, social sciences and industrial engineering on technologies, case studies, novel approaches, and visionary ideas related to data-driven innovative solutions and big data-powered applications to cope with the real world challenges for building smart cities.
Download or read book Secure IT Systems written by Nicola Tuveri and published by Springer Nature. This book was released on 2021-11-13 with total page 217 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 26th Nordic Conference on Secure IT Systems, NordSec 2021, which was held online during November 2021. The 11 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They were organized in topical sections named: Applied Cryptography, Security in Internet of Things, Machine Learning and Security, Network Security, and Trust.
Download or read book Constructive Side Channel Analysis and Secure Design written by Guido Marco Bertoni and published by Springer Nature. This book was released on 2021-02-05 with total page 341 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes revised selected papers from the 11th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2020, held in Lugano, Switzerland, in April 2020. Due to COVID-19, the workshop was held online. The 15 papers presented in this volume were carefully reviewed and selected from 36 submissions. The workshop covers subjects from wide ranges such as secure design, side channel attacks and countermeasures, and architectures and protocols.
Download or read book Topics in Cryptology CT RSA 2023 written by Mike Rosulek and published by Springer Nature. This book was released on 2023-04-18 with total page 697 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2023, CT-RSA 2023, held in San Francisco, CA, USA, in April 2023. The 26 full papers presented in this volume were carefully reviewed and selected from 76 submissions. The conference presents papers on subjects such as Cryptographic Implementations, Quantum Cryptanalysis, Advanced Public-Key Encryption, Tools for Privacy-Enhancing Technologies, Symmetric Cryptanalysis, Multiparty Protocols, Digital Signatures, Fault Attacks and Side Channels, Heuristic Approaches, Symmetric-Key Constructions, and Key Agreement.
Download or read book Classical and Physical Security of Symmetric Key Cryptographic Algorithms written by Anubhab Baksi and published by Springer Nature. This book was released on 2022-01-01 with total page 295 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book consolidates several key aspects from the state-of-the-art research in symmetric key cryptography, which is among the cornerstones of digital security. It presents the content in an informative yet beginner-friendly, accompanied with toy examples and comprehensible graphics. In particular, it highlights the recent developments in tool-assisted analysis of ciphers. Furthermore, promising device-dependent attacks, such as fault attack and side channel attacks on symmetric key ciphers, are discussed in detail. One salient feature of this book is to present a detailed analysis of various fault countermeasures. The coverage of our book is quite diverse—it ranges from prerequisite information, latest research contribution as well as future research directions. It caters to students and researchers working in the field of cryptography.
Download or read book Progress in Cryptology INDOCRYPT 2021 written by Avishek Adhikari and published by Springer Nature. This book was released on 2021-12-08 with total page 639 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 22nd International Conference on Cryptology in India, INDOCRYPT 2021, which was held in Jaipur, India, during December 12-15, 2021. The 27 full papers included in these proceedings were carefully reviewed and selected from 65 submissions. They were organized in topical sections as follows: authenticated encryption; symmetric cryptography; lightweight cryptography; side-channel attacks; fault attacks; post-quantum cryptography; public key encryption and protocols; cryptographic constructions; blockchains.
Download or read book ISTFA 2017 Proceedings from the 43rd International Symposium for Testing and Failure Analysis written by and published by ASM International. This book was released on 2017-12-01 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: The theme for the November 2017 conference was Striving for 100% Success Rate. Papers focus on the tools and techniques needed for maximizing the success rate in every aspect of the electronic device failure analysis process.
Download or read book Advances in Cryptology EUROCRYPT 2020 written by Anne Canteaut and published by Springer Nature. This book was released on 2020-05-01 with total page 805 pages. Available in PDF, EPUB and Kindle. Book excerpt: The three volume-set LNCS 12105, 12106, and 12107 constitute the thoroughly refereed proceedings of the 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2020, which was due to be held in Zagreb, Croatia, in May 2020. The conference was held virtually due to the COVID-19 pandemic. The 81 full papers presented were carefully reviewed and selected from 375 submissions. The papers are organized into the following topical sections: invited talk; best paper awards; obfuscation and functional encryption; symmetric cryptanalysis; randomness extraction; symmetric cryptography I; secret sharing; fault-attack security; succinct proofs; generic models; secure computation I; quantum I; foundations; isogeny-based cryptography; lattice-based cryptography; symmetric cryptography II; secure computation II; asymmetric cryptanalysis; verifiable delay functions; signatures; attribute-based encryption; side-channel security; non-interactive zero-knowledge; public-key encryption; zero-knowledge; quantum II.