Coding theory and cryptology Books

Book Synopsis

Read more less

Book SynopsisUse OpenSSL to add security features to your application, including cryptographically strong symmetric and asymmetric encryption, digital signatures, SSL/TLS connectivity, and PKI handlingKey Features Secure your applications against common network security threats using OpenSSL Get to grips with the latest version of OpenSSL, its new features, and advantages Learn about PKI, cryptography, certificate authorities, and more using real-world examples Book DescriptionSecurity and networking are essential features of software today. The modern internet is full of worms, Trojan horses, men-in-the-middle, and other threats. This is why maintaining security is more important than ever.OpenSSL is one of the most widely used and essential open source projects on the internet for this purpose. If you are a software developer, system administrator, network security engineer, or DevOps specialist, you've probably stumbled upon this toolset in the past – but how do you make the most out of it? With the help of this book, you will learn the most important features of OpenSSL, and gain insight into its full potential.This book contains step-by-step explanations of essential cryptography and network security concepts, as well as practical examples illustrating the usage of those concepts. You'll start by learning the basics, such as how to perform symmetric encryption and calculate message digests. Next, you will discover more about cryptography: MAC and HMAC, public and private keys, and digital signatures. As you progress, you will explore best practices for using X.509 certificates, public key infrastructure, and TLS connections.By the end of this book, you'll be able to use the most popular features of OpenSSL, allowing you to implement cryptography and TLS in your applications and network infrastructure.What you will learn Understand how to use symmetric cryptography Get to grips with message digests, MAC, and HMAC Discover asymmetric cryptography and digital signatures Focus on how to apply and use X.509 certificates Dive into TLS and its proper usage Manage advanced and special usages of TLS Find out how to run a mini certificate authority for your organization Who this book is forThis book is for software developers, system administrators, DevOps specialists, network security engineers, and analysts, or anyone who wants to keep their applications and infrastructure secure. Software developers will learn how to use the OpenSSL library to empower their software with cryptography and TLS. DevOps professionals and sysadmins will learn how to work with cryptographic keys and certificates on the command line, and how to set up a mini-CA for their organization. A basic understanding of security and networking is required.Table of ContentsTable of Contents OpenSSL and Other SSL/TLS Libraries Symmetric Encryption and Decryption Message Digests MAC and HMAC Derivation of an Encryption Key from a Password Asymmetric Encryption and Decryption Digital Signatures and Their Verification X.509 Certificates and PKI Establishing TLS Connections and Sending Data over Them Using X.509 Certificates in TLS Special Usages of TLS Running a Mini-CA

Read more less

Book SynopsisDemystify one of the most disruptive modern technologies and gain a deeper understanding of distributed ledgers, consensus protocols, smart contracts, DApps, cryptocurrencies, and more. Purchase of the print or Kindle book includes a free eBook in PDF format. Key Features Study new blockchains, including Polkadot, Solana, and Avalanche blockchain, along with recent developments in security, scalability, and privacy Explore key cryptocurrencies and distributed ledgers such as Ethereum, Bitcoin, Hyperledger Fabric, Corda, and Quorum Get to grips with Solidity, Web3, NFTs, DeFi, and smart contract development Book DescriptionBlockchain is the backbone of cryptocurrencies, it has had a massive impact in many sectors, including finance, supply chains, healthcare, government, and media. It’s also being used for cutting edge technologies such as AI and IoT. This new edition is thoroughly revised to offer a practical approach to using Ethereum, Hyperledger, Fabric, and Corda with step-by-step tutorials and real-world use-cases to help you understand everything you need to know about blockchain development and implementation. With new chapters on Decentralized Finance and solving privacy, identity, and security issues, as well as bonus online content exploring alternative blockchains, this is an unmissable read for everyone who wants to gain a deep understanding of blockchain. The book doesn’t shy away from advanced topics and practical expertise, such as decentralized application (DApp) development using smart contracts and oracles, and emerging trends in the blockchain space. Throughout the book, you’ll explore blockchain solutions beyond cryptocurrencies, such as the IoT with blockchain, enterprise blockchains, and tokenization, and gain insight into the future scope of this fascinating and disruptive technology. By the end of this blockchain book, you will have gained a thorough comprehension of the various facets of blockchain and understand the potential of this technology in diverse real-world scenarios.What you will learn Grasp the mechanisms behind Bitcoin, Ethereum, and other cryptocurrencies Understand cryptography and its usage in blockchain Become familiar with the theoretical foundations of smart contracts and blockchain consensus Develop DApps using Solidity, Remix, Truffle, and Ganache Solve issues relating to privacy, identity, scalability, and security in enterprise blockchains Dive into the architecture of Ethereum 2.0 Delve into emerging trends like DeFi, NFTs, and Metaverse Explore various applications, research topics, and future directions of blockchain Who this book is forThis book is for blockchain enthusiasts from all backgrounds, including software developers and programmers who want to learn how to build DApps, business executives and managers who want to explore the benefits and challenges of leveraging blockchain in different industries, and system architects and solution designers who want insight into blockchain architecture, consensus mechanisms, and security considerations. It is also a useful reference guide for blockchain development professionals who want to build fast and highly secure transactional applications. Basic knowledge in any programming language will come in handy.Table of ContentsTable of Contents Blockchain 101 Decentralization Symmetric Cryptography Asymmetric Cryptography Consensus Algorithms Bitcoin Architecture Bitcoin in Practice Smart Contracts Ethereum Architecture Ethereum in Practice Tools, Languages, and Frameworks for Ethereum Developers Web3 Development Using Ethereum The Merge and Beyond Hyperledger Tokenization Enterprise Blockchain Scalability Blockchain Privacy Blockchain Security Decentralized Identity Decentralized Finance Blockchain Applications and What's Next! Alternative blockchains

Read more less

Book SynopsisWe already observe the positive effects of AI in almost every field, and foresee its potential to help address our sustainable development goals and the urgent challenges for the preservation of the environment. We also perceive that the risks related to the safety, security, confidentiality, and fairness of AI systems, the threats to free will of possibly manipulative systems, as well as the impact of AI on the economy, employment, human rights, equality, diversity, inclusion, and social cohesion need to be better assessed. The development and use of AI must be guided by principles of social cohesion, environmental sustainability, resource sharing, and inclusion. It has to integrate human rights, and social, cultural, and ethical values of democracy. It requires continued education and training as well as continual assessment of its effects through social deliberation. The “Reflections on AI for Humanity” proposed in this book develop the following issues and sketch approaches for addressing them: How can we ensure the security requirements of critical applications and the safety and confidentiality of data communication and processing? What techniques and regulations for the validation, certification, and audit of AI tools are needed to develop confidence in AI? How can we identify and overcome biases in algorithms? How do we design systems that respect essential human values, ensuring moral equality and inclusion? What kinds of governance mechanisms are needed for personal data, metadata, and aggregated data at various levels? What are the effects of AI and automation on the transformation and social division of labor? What are the impacts on economic structures? What proactive and accommodation measures will be required? How will people benefit from decision support systems and personal digital assistants without the risk of manipulation? How do we design transparent and intelligible procedures and ensure that their functions reflect our values and criteria? How can we anticipate failure and restore human control over an AI system when it operates outside its intended scope? How can we devote a substantial part of our research and development resources to the major challenges of our time such as climate, environment, health, and education? Table of ContentsReflections on AI for Humanity: Introduction.- Trustworthy AI.- Democratising the digital revolution: the role of data governance.- Artificial Intelligence and the Future of Work.- Reflections on Decision-Making and Artificial Intelligence.- AI and Human values: inequalities, biases, fairness, nudge and feedback loops.- Next big challenges in core AI technology.- AI for Humanity: The Global Challenges.- AI and Constitutionalism: the challenges ahead.- Analyzing the Contributions of ethical charters to building the Future of Artificial Intelligence governance.- What does “Ethical by Design” Mean?.- AI for Digital Humanities and Computational Social Sciences.- Augmented Human and Human-Machine Co-Evolution: efficiency and ethics.- Democratizing AI for Humanity: A Common Goal.- A Framework for Global Cooperation on Artificial Intelligence and its Governance.

Read more less

Book SynopsisThe two-volume set LNCS 12794-12795 constitutes the refereed proceedings of the 9th International Conference on Culture and Computing, C&C 2021, which was held as part of HCI International 2021 and took place virtually during July 24-29, 2021.The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. The papers included in the HCII-C&C volume set were organized in topical sections as follows: Part I: ICT for cultural heritage; technology and art; visitors’ experiences in digital culture; Part II: Design thinking in cultural contexts; digital humanities, new media and culture; perspectives on cultural computing.Table of ContentsDesign Thinking in Cultural Contexts.- Digital Literacy-based User Experience Design for Medication-allergy Patients Care.- Advancing Inclusive Service Design: Defining, Evaluating & Creating Universally Designed Services.- Civic Community Archiving with the Platform for Experimental Collaborative Ethnography: Double Binds and Design Challenges.- What Could Safety Research Contribute to Technology Design.- User Interface Design of Virtual Conferencing Tools – Towards a Method for Considering Cultural Impact – Exemplified by Zoom.- Infrastructuring for Collective Heritage Knowledge Production.- Core concepts Linking Exhibit Design and the Visitor Experience in Science Centers: an Early Framework.- Socio-Emotional Experience in Human Technology Interaction Design – a Fashion Framework Proposal.- Human Research in Technology Design.- Research on the Public Design Innovation Method based on the Sharing Concept of Cultural Computing.- Digital Humanities, New Media and Culture.- The Ontology of Mixed Reality Agents Memorializing the Dead and Dying.- The Human Mind and Engineering Models.- Social Media Data for the Conservation of Historic Urban Landscapes: Prospects and Challenges.- Questions in Cognitive Mimetics.- Memory Modalities - Opening-up Digital Heritage Infrastructures.- Youth and Algorithmic Memory: Co-Producing Personal Memory on Instagram.- Culture in the Post Pandemic Era.- How to Access and Transform the Unconscious for Cultural Development.- Ethical Stance and Evolving Technosexual Culture – A Case for Human-Computer Interaction.- AI Ethics - Critical Reflections on Embedding Ethical Frameworks in AI Technology.- Using Information Divergence to Differentiate Deep from Superficial Resemblances among Discourses.- On Complexity of GLAMs’ Digital Ecosystem: APIs as Change Makers for Opening Up Knowledge.- Perspectives on Cultural Computing.- Appropriation for Interdisciplinary Practice: The Case of Participatory Design in Brazilian Computer Science.- Towards a Generic Framework for Intercultural User Interface Design to Evoke Positive Cross-Cultural UX.- Transformation of Landscape into Artistic and Cultural Video Using AI for Future Car.- The Collection Method of Heterogeneous Smart Farm Data based on Model Transformation Technique for Human Computer Friendly Learning.- Quick Buttons on Map-based Human Machine Interface in Vehicles is Better or Not: A Cross-Cultural Comparative Study between Chinese and Germans.- Culturally Aware Intelligent Learning Environments for Resource-poor Countries.- A Stranger in the Classroom: Pre-Service Teachers’ Anxiety and Negative Attitudes toward Humanoid Social Robots.- Bie-Modernism and Cultural Computing.

Read more less

Book SynopsisThis textbook assumes very little knowledge of programming so whether you have dabbled with a little JavaScript, played with a bit of Python, written Java or have virtually no programming experience at all you will find that it is for you.The first part of the book introduces Kotlin program structures as well as conditional flow of control features such as if and when expressions as well as iteration loops such as for, while and do-while. Subsequent chapters explain how functions are implemented in Kotlin and introduce concepts from functional programming such as higher order functions and curried functions.The second part focusses on object oriented programming techniques, these include classes, inheritance, abstraction and interfaces. The third part presents container data types such as Arrays, and collections including Lists, Sets and Maps and the fourth part considers concurrency and parallelism using Kotlin coroutines. The book concludes with an introduction to Android mobile application development using Kotlin.Clear steps are provided explaining how to set up your environment and get started writing your own Kotlin programs.An important aspect of the book is teaching by example and there are many examples presented throughout the chapters. These examples are supported by a public GitHub repository that provides complete working code as well as sample solutions to the chapter exercises. This helps illustrate how to write well structured, clear, idiomatic Kotlin to build real applications.Table of ContentsIntroduction.- Part 1: Kotlin Programming.- A First Kotlin Program.- Flow of Control.- Number Guessing Game.- Functions in Kotlin.- Higher Order Functions.- Curried Functions.- Part 2: Object Oriented Kotlin.- Kotlin Classes.- Objects and Companion Objects,- Further Kotlin Properties.- Scope and Conditional Functions.- Class Inheritance.- Abstract Classes.- Interfaces, Delegation and Enumerated Types.- Packages.- Nested and Inner Types.- Data Classes.- Sealed and Inline Classes and Typealias.- Operator Overloading.- Error and Exception Handling.- Extension Functions and Properties.- Part 3: Data Containers.- Arrays.- Collections.- Lists.- Sets.- Maps.- Pairs and Triples.- Generic Types.- Functional Programming and Containers.- Part 4: Concurrent Kotlin.- Coroutines.- Coroutine Channel Communications.- Part 5: Android Development.- Android Overview.- Applications and Activities.- Android Layouts and Events.- Android Tic Tac Toe.

Read more less

Book SynopsisThis book constitutes the proceedings of the 7th International Conference on Cryptology and Information Security in Latin America, LATIN 2021, which was held in October 2021. The conference was originally planned to take place in Bogota, Colombia, but changed to a virtual event due to the COVID-19 pandemic. The 22 full papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: quantum cryptography; post-quantum cryptography; asymmetric cryptanalysis; cryptanalysis and side-channel analysis; distributed cryptographic protocols; and multiparty computation.Table of ContentsQuantum Cryptography.- Tight Bounds for Simon's Algorithm.- Constructions for Quantum Indistinguishability Obfuscation.- On Forging SPHINCS+-Haraka Signatures on a Fault-tolerant Quantum Computer.- Post-Quantum Cryptography.- Post-Quantum Key-Blinding for Authentication in Anonymity Networks.- Implementing and measuring KEMTLS.- A Monolithic Hardware Implementation of Kyber: Comparing Apples to Apples in PQC Candidates.- Attribute-Based Access Control for Inner Product Functional Encryption from LWE.- Asymmetric Cryptanalysis.- Classical Attacks on a Variant of the RSA Cryptosystem.- Improved attacks against key reuse in learning with errors key exchange.- Cryptanalysis and Side-Channel Analysis.- Differential-ML Distinguisher: Machine Learning based Generic Extension for Differential Cryptanalysis.- Train or Adapt a Deeply Learned Profile.- Autocorrelations of vectorial Boolean functions.- Automatic Search for Bit-based Division Property.- TEDT2 - Highly Secure Leakage-resilient TBC-based Authenticated Encryption.- Distributed Cryptographic Protocols.- Weight-Based Nakamoto-Style Blockchains.- LOVE a Pairing.- Implementing Secure Reporting of Sexual Misconduct - Revisiting WhoToo.- Stronger Notions and a More E cient Construction of Threshold Ring Signatures.- Improved Threshold Signatures, Proactive Secret Sharing, and Input Certification from LSS Isomorphisms.- Multiparty Computation.- Full-Threshold Actively-Secure Multiparty Arithmetic Circuit Garbling.- The Cost of IEEE Arithmetic in Secure Computation.- Honest Majority MPC with Abort with Minimal Online Communication.

Read more less

Book SynopsisThis book constitutes the refereed post-conference proceedings of the 13th International Conference on Ad Hoc Networks, ADHOCNETS 2021, held in December 2021, and the 16th International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TRIDENTCOM 2021, held in November 2021. Both conferences were held virtually due to COVID 19 pandemic. The 15 full papers of ADHOCNETS 2021 were selected from 29 submissions and cover a variety of network paradigms including ad hoc networks (MANETs), wireless sensor networks (WSNs), vehicular ad hoc networks (Vanets), airborne networks, underwater networks, underground networks, personal area networks, and home networks, etc. It promises a wide range of applications in civilian, commercial, and military areas. The 18 full papers were selected from 47 submissions and deal the emerging technologies such as Industry 4.0, blockchain, deep learning, cloud/edge/fog computing, cyber physical systems, cybersecurity and computer communications.Table of ContentsNetwork Routing.- Analysis of Routing Attacks in FANET.- Context-Aware Routing and Forwarding Model for NDN-based VANET.- A Novel Adaptive Hello Mechanism based Geographic Routing Protocol for FANETs.- Network Security 4 Evaluation of Denial of Service Attacks in Software Defined-Cognitive Radio Networks.- The Evaluation of the Two Detection Algorithms for Distributed Denial of Service Attack.- Investigating the effectiveness of Spectrum Sensing Data Falsification Attacks Defense Mechanisms in Cognitive Radio Ad hoc Networks.- Active attack that exploits biometric similarity difference and basic countermeasures.- Network Protocols.- LEACH-S enhancement to ensure WSN stability.- M-ODD: A Standard Protocol for Reporting MANET Related Models, Simulations, and Findings.- Frame Design for Adaptability in Long-range Underwater Communication.- Adaptive Data Rate Based Congestion Control in Vehicular Ad Hoc Networks (VANET).- Network Applications.- Analyzing Aggregate User Behavior on a Large Multi-platform Content Distribution Service.- An AI-based Transmission Power-control Certificate Omission in Vehicular Ad-Hoc Networks.- Dynamic Ephemeral and Session Key Generation Protocol for Next Generation Smart Grids.- A Blockchain-Based Data-Sharing Scheme for Inter[1]Vehicular Safety Applications.- A Trust-based and Secure Real-Time Traffic Information Sharing Scheme.- TuneIn: Framework Design and Implementation for Education Using Dynamic Difficulty Adjustment Based on Deep Reinforcement Learning and Mathematical Approach.- P-sharding: Streamline emergency medical transactions via priority sharding.- BiDKT: Deep Knowledge Tracing with BERT.- Vision - An innovative management system based on private DLT.- Value-aware Collaborative Data Pricing for Federated Learning in Vehicular Networks.- Dual Scheme Privacy-Preserving Approach for Location[1]Aware Application in Edge Computing.- Survey on Bridge Discovery in Tor.

Read more less

Book Synopsis9th Workshop on Advances in Secure Electronic Voting Schemes (Voting 2024).- 4th Workshop on Decentralized Finance (DeFI 2024).- 8th Workshop on Trusted Smart Contracts (WTSC 2024).- 5th Workshop on Coordination of Decentralized Finance (CoDecFin 2024).

Read more less

Book Synopsis.- Belenios with cast-as-intended: towards a usable interface..- Threshold Receipt-Free Single-Pass eVoting..- Improving the Computational Efficiency of Adaptive Audits of IRV Elections..- A Framework for Voters' Trust Repair in Internet Voting..- Efficient Cleansing in Coercion-Resistant Voting..- Absentee Online Voters in the Northwest Territories: Attitudes and Impacts on Participation..- ZK-SNARKs for Ballot Validity: A Feasibility Study..- Direct and Transparent Voter Verification with Everlasting Receipt-Freeness..- Expanding the Toolbox: Coercion and Vote-Selling at Vote-Casting Revisited..- Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting.

Read more less

Book Synopsis.- Invited Talks..- On the efficient representation of isogenies..- Elliptic-curves factoring, witnesses and oracles..- Elliptic Curves in Cryptography..- On chains of pairing-friendly elliptic curves..- Faster algorithms for isogeny computations over extensions of finite fields..- Integral solutions of some systems of polynomial equations and constructing families of pairing-friendly elliptic curves with small ?-value..- Number Theory..- Algebraic Equipage for Learning with Errors in Cyclic Division Algebras..- From Worst to Average Case to Incremental Search Bounds of the Strong Lucas Test..- Algebraic Structures and Public-Key Cryptography..- A New Public Key Cryptosystem Based on the Cubic Pell Curve..- The Case of Small Prime Numbers Versus the Okamoto-Uchiyama Cryptosystem..- Compartment-based and Hierarchical Threshold Delegated Verifiable Accountable Subgroup Multi-signatures..- Towards message recovery in NTRU Encryption with auxiliary data.

Read more less

Book Synopsis.- Code-Based Cryptography. .- On the Structure of the Schur Squares of Twisted Generalized Reed-Solomon Codes and Application to Cryptanalysis..- Quadratic Modelings of Syndrome Decoding..- An Improved Algorithm for Code Equivalence..- An Improved Both-May Information Set Decoding Algorithm: Towards More Efficient Time-Memory Trade-Offs..- Enhancing Threshold Group Action Signature Schemes: Adaptive Security and Scalability Improvements..- Multivariate Cryptography. .- Share the MAYO: Thresholdizing MAYO..- SoK: On the Physical Security of UOV-based Signature Schemes..- Shifting our Knowledge of MQ-Sign Security..- Lattice-Based Cryptography. .- Module Learning With Errors With Truncated Matrices..- Lattice-Based Sanitizable Signature Schemes: Chameleon Hash Functions and More..- Giant Does NOT Mean Strong: Cryptanalysis of BQTRU..- Batch Anonymous MAC Tokens from Lattices.

Read more less

Book Synopsis.- Isogeny-Based Cryptography. .- Efficient Theta-Based Algorithms for Computing (l, l)-Isogenies on Kummer Surfaces for Arbitrary Odd l..- Commuting Ramanujan Graphs and the Random Self-Reducibility of Isogeny Problems..- Cryptanalysis. .- Discrete Gaussian Sampling for BKZ-Reduced Basis..- An Efficient Collision Attack on Castryck-Decru-Smith’s Hash Function..- Heuristic Algorithm for Solving Restricted SVP and its Applications..- Cryptanalysis of an Efficient Signature Based on Isotropic Quadratic Forms..- Analysis of REDOG: the Pad Thai Attack..- Quantum Security. .- Quantum IND-CPA Security Notions for AEAD..- Reducing the Number of Qubits in Solving LWE..- Side-Channel Attacks. .- Single Trace Side-Channel Attack on the MPC-in-the-Head Framework..- Et tu, Brute? Side-Channel Assisted Chosen Ciphertext Attacks using Valid Ciphertexts on HQC KEM..- Security Notions. .- Treating Dishonest Ciphertexts in Post-Quantum KEMs – Explicit vs Implicit Rejection in the FO Transform..- IND-CPAC: A New Security Notion for Conditional Decryption in Fully Homomorphic Encryption.

Read more less

Book SynopsisCryptanalysis: The Window Heuristic: Automating Differential Trail Search in ARX Ciphers with Partial Linearization Trade-offs.- Quasidifferential Saves Infeasible Differential Improved Weak-Key Key Recovery Attacks on Round-Reduced GIFT.- Meet-in-the-Middle Attack on Primitives with Binary Matrix Linear Layer.- Comprehensive Robustness Analysis of GCM, CCM, and OCB3.- Quantum Chosen-Ciphertext Attacks Based on Simon’s Algorithm against Unified Structures.- Improved Key Recovery Attacks of Ascon. Public-Key Cryptography: DSKE: Digital Signatures with Key Extraction.- Simplified Adaptively Secure Threshold BLS Signatures.- Non-Interactive Threshold BBS+ From Pseudorandom Correlations.- Updatable Public Key Encryption with Strong CCA Security: Security Analysis and Effcient Generic Construction. Hardware and Software Implementations: Masking Gaussian Elimination at Arbitrary Order with Application to Multivariate- and Code-Based PQC.- Post-Quantum Online/Offine Signatures. Symmetric-Key Cryptography: How (not) to hash into class groups of imaginary quadratic fields.- Sequential Indifferentiability of 7-round Misty Structures. Multiparty Computation and Zero-Knowledge: Secure Computation with Penalties, Revisited: How to Handle Coins with Various Colors.- Universal Adaptor Signatures from Blackbox Multi-Party Computation. White-box Crypto: Affne Equivalence-Based Key-Recovery Attacks on White-Box Implementations of the SM4 Block Cipher.

Read more less

Book SynopsisMPC and Friends: Non-Interactive Distributed Point Functions.- Watermarkable and Zero-Knowledge Verifiable Delay Functions from any Proof of Exponentiation.- Higher Residuosity Attacks on Small RSA Subgroup Decision Problems. Advanced PKE: Adaptively Secure IBE from Lattices with Asymptotically Better Effciency.- Adaptively-Secure Big-Key Identity-Based Encryption.- Non-Committing Identity based Encryption: Constructions and Applications.- Registration-Based Encryption in the Plain Model. Security of Post-Quantum Signatures: Thorough Power Analysis on Falcon Gaussian Samplers and Practical Countermeasure.- Finding a polytope: A practical fault attack against Dilithium.- One Bit to Rule Them All - Imperfect Randomness Harms Lattice Signatures.- The Security of Hash-and-Sign with Retry against Superposition Attacks. Proofs and Arguments: Split Prover Zero-Knowledge SNARKs.- Universally Composable Non-Interactive Zero-Knowledge from Sigma Protocols via a New Straight-line Compiler.- Transparent SNARKs over Galois Rings.- Lattice-based Proof-Friendly Signatures from Vanishing Short Integer Solutions.

Read more less

Book SynopsisMulti-Signatures: Universally Composable Interactive and Ordered Multi-Signatures.- Accountable Multi-Signatures with Constant Size Public Keys.- Privacy-Preserving Multi-Signatures: Generic Techniques and Constructions Without Pairings.- A Framework for Group Action-Based Multi-Signatures and Applications to LESS, MEDS, and ALTEQ. Protocols: Security Analysis of Signal’s PQXDH Handshake.- Towards Leakage-Resilient Ratcheted Key Exchange.- Non-Interactive Key Exchange: New Notions, New Constructions, and Forward Security.- Effcient Verifiable Mixnets from Lattices, Revisited. Foundations of Lattices and LPN: Vanishing Short Integer Solution, Revisited: Reductions, Trapdoors, Homomorphic Signatures for Low-Degree Polynomials.- Discrete Gaussians Modulo Sub-Lattices: New Leftover Hash Lemmas for Discrete Gaussians.- Memory-Effcient BKW Algorithm for Solving the LWE Problem.- Worst and Average Case Hardness of Decoding via Smoothing Bounds.

Read more less

Book SynopsisAdvanced PKE: Tight Adaptive Simulation Security for Identity-based Inner-Product FE in the (Quantum) Random Oracle Model.- Predicate Encryption from Lattices: Enhanced Compactness and Refined Functionality.- Multi-Client Functional Encryption with Public Inputs and Strong Security.- Key Revocation in Registered Attribute-Based Encryption. Threshold Signatures: BUFFing Threshold Signature Schemes.- Finally! A Compact Lattice-Based Threshold Signature.- Commit-and-Prove System for Vectors and Applications to Threshold Signing.- Dazzle: Improved Adaptive Threshold Signatures from DDH. Isogenies and Group Actions: Radical 2-isogenies and cryptographic hash functions in dimensions 1, 2 and 3.- PRISM: Simple And Compact Identification and Signatures From Large Prime Degree Isogenies.- Faster SCALLOP from Non-Prime Conductor Suborders in Medium Sized Quadratic Fields.- Multiple Group Action Dlogs with(out) Precomputation.

Read more less

Book SynopsisSecure Computation: Single-Input Functionality against a Dishonest Majority: Practical and Round-Optimal.- Securely Instantiating ‘Half Gates’ Garbling in the Standard Model.- Effcient Permutation Correlations and Batched Random Access for Two-Party Computation.- Π: A Unified Framework for Computational Verifiable Secret Sharing. Security against Real-World Attacks: Intermundium-DL: Assessing the Resilience of Current Schemes to Discrete-Log-Computation Attacks on Public Parameters.- Public-Algorithm Substitution Attacks: Subverting Hashing and Verification.- Kleptographic Attacks against Implicit Rejection.- Deny Whatever You Want: Dual-Deniable Public-Key Encryption. Batch Arguments and Decentralized Encryption: Monotone-Policy BARGs and More from BARGs and Quadratic Residuosity.- Chosen Ciphertext Security via BARGs.- Dynamic Decentralized Functional Encryption: Generic Constructions with Strong Security.- Dynamic Decentralized Functional Encryptions from Pairings in the Standard Model.

Read more less

Book SynopsisAdvanced PKE: Multi-Client Attribute-Based Unbounded Inner Product Functional Encryption, and More.- Multi-Client Attribute-Based and Predicate Encryption, Revisited.- Bootstrapping with RMFE for Fully Homomorphic Encryption.- Revisiting the Security of Approximate FHE with Noise-Flooding Countermeasures. Cryptography for Blockchains: Lattice-based Zero-knowledge Proofs for Blockchain Confidential Transactions.- OCash: Fully Anonymous Payments between Blockchain Light Clients.- On Graphs of Incremental Proofs of Sequential Work.- Stateless Threshold Schnorr Signatures with Game-Based Security.- Stateless Deterministic Multi-Party EdDSA Signatures with Low Communication.

Read more less

Book SynopsisOverview of Cryptographic Definitions.- Mathematics.- Computing Machines.- Computational Complexity.- From Computational Complexity to Cryptography.- Cryptographic Primitives for Syntax Definitions.- Cryptographic Primitives for Security Definitions.- Other Readings.

Read more less

Book Synopsis.- Cognition in Aviation..- Effects of Flight Experience, Power Distance and the Role in The Cockpit on Pilots’ Situation Awareness..- Assessing Human Factors in the Transition to Liquid Hydrogen (LH2) as a Sustainable Aviation Fuel: A Systematic HFACS Analysis of Hydrogen Incidents Across Industries..- Application of People Analytics for Reducing Human-Related Cyber Risk in the Context of Air Traffic Managers..- Strategic Human Resource Management, Training and Design for Future Flight Operations..- Evaluation of Fixed-Wing Pilot Strategies in Startle and Surprise Events: A Survey Study..- Correlation Analysis of Facial Expression, Physiological Features and Core Competency in Pilot Simulator Training..- Design and Develop Human Factors-Driven Safe Altitude for eVTOLs Operation in Regional Air Mobility..- Application of Generative AI for Aviation Safety Report Analysis from the Resilience Engineering Perspective..- Gaps and Challenges in Automation Assessment to Support Human-Centric Aviation Certification..- Bias Influence on AI Accuracy: The Case of Air Traffic Controllers' Experience..- A Comparison of Underload and Overload upon Situation Awareness in Commercial Aviation: Combining Subjective, Objective, and Physiological Measurements..- Construction of Behavioral Patterns Based on the System Monitoring Task in the Pilot Competency Testing Platform..- A Design Evaluation of Text and Graphical Explanations from a Conceptual Intelligent Assistant in Urban Air Traffic Management..- The Application of Eye Movement Analysis in the Study of Remote Tower Controller Workload..- Towards Task-Aware Intervention when Supervising Unmanned Aerial Vehicles: System Requirements Analysis for Human Multitasking-Adaptive Assistance.

Read more less

Book Synopsis.- Homomorphic Encryption..- Convolution-Friendly Image Compression with FHE..- Leveled Homomorphic Encryption over Composite Groups..- Activate Me!: Designing Efficient Activation Functions forPrivacy-Preserving Machine Learning with Fully Homomorphic Encryption..- One-Way Homomorphic Encryption: A Composite Group Approach..- Cryptanalysis of RSA..- A Novel Partial Key Exposure Attack on Common Prime RSA..- Improved Cryptanalysis of an RSA Variant Based on Cubic Pell Curve..- A New Generalized Attack on RSA-like Cryptosystems..- Cryptography Arithmetic..- An Improvement of the Congruence Solver of Lattice IsomorphismProblem over Totally Real Number Fields and Applications..- PMNS arithmetic for elliptic curve cryptography..- Constant-time Integer Arithmetic for SQIsign..- FPTRU:Optimization of NTRU-Prime and TLS Performance Assessment..- Side-channel Attacks..- Simple Power Analysis Attack on SQIsign..- Correlation power analysis of LESS and CROSS..- TPL: Power Leakage Model Based on Technology Library..- Designs..- Bivariate proximity test-based Asynchronous Verifiable Secret Sharing..- Behemoth: transparent polynomial commitment scheme with constantopening proof size and verifier time..- Attribute-based Encryption using Sum-Product Decomposition ofBoolean Functions..- Simultaneously simple universal and indifferentiable hashing to ellipticcurves..- Cryptanalysis..- Conjunctive Dynamic SSE Schemes under Scrutiny: Exposing PrivacyIssues in SDSSE-CQ-S and VCDSSE..- Efficient and Optimized Modeling of S-Boxes..- Tearing Solutions for Tree Traversal in Stateful Hash-based Cryptography.

Read more less

Book Synopsis.-Attacks on Symmetric Cryptography..- The Dangerous Message/Key Swap in HMAC..- Practical Second-Order CPA Attack on Ascon with Proper SelectionFunction..- Side-Channel Attacks..- On the Success Rate of Simple Side-Channel Attacks against Maskingwith Unlimited Attack Traces..- A Comparison of Graph-Inference Side-Channel Attacks Against SKINNY. .- Physical Security..- Robust and Reliable PUF Protocol Exploiting Non-MonotonicQuantization and Neyman-Pearson Lemma..- Towards Package Opening Detection at Power-up by MonitoringThermal Dissipation..- Partial Key Overwrite Attacks in Microcontrollers: a Survey..- RISC-V..- Combined Masking and Shuffling for Side-Channel Secure Ascon onRISC-V..- A Hardware Design Methodology to Prevent MicroarchitecturalTransition Leakages..- Machine Learning..- Taking AI-Based Side-Channel Attacks to a New Dimension..- Avenger Ensemble: Genetic Algorithm-Driven Ensemble Selection forDeep Learning-based Side-Channel Analysis..- Improving Leakage Exploitability in Horizontal Side Channel Attacksthrough Anomaly Mitigation with Unsupervised Neural Networks..- Profiling Side-Channel Attack on HQC Polynomial MultiplicationUsing Machine Learning Methods..- Attacks on Post-Quantum Cryptography..- Simple Power Analysis assisted Chosen Cipher-Text Attack on ML-KEM..- A Horizontal Attack on the Codes and Restricted Objects SignatureScheme (CROSS)..- Vladimir Sarde and Nicolas Debande..- Message-Recovery Horizontal Correlation Attack on Classic McEliece..- Breaking HuFu with 0 Leakage: A Side-Channel Analysis..- Securing Post-Quantum Cryptography..- X2X: Low-Randomness and High-Throughput A2B and B2Aconversions for d+1 shares in Hardware..- Area Efficient Polynomial Arithmetic Accelerator for Post-QuantumDigital Signatures and KEMs..- Efficient Error Detection Methods for the Number Theoretic Transformsin Lattice-Based Algorithms..- A Fault-Resistant NTT by Polynomial Evaluation and Interpolation..- Homomorphic Encryption and White-Box Cryptography..- Hybrid Homomorphic Encryption Resistance to Side-channel Attacks..- White-Box Implementation Techniques for the HFE Family. 

Read more less

Book Synopsis.- Position Paper..- Cryptography and Collective Power..- Zero-Knowledge Proofs and Distributed Computation..- Post-Quantum Zero-Knowledge with Space-Bounded Simulation..- Adaptive UC NIZK for Practical Applications..- Fast elliptic curve scalar multiplications in SN(T)ARK circuits..- Great-LaKeys: An Improved Threshold-PRF and a Novel Exponent-VRF from LWR..- Quantum and Post-Quantum Cryptography..- Orient Express: Using Frobenius to Express Oriented Isogenies..- Improved algorithms for ascending isogeny volcanoes, and applications..- The Tate Profile..- Extending Regev’s quantum algorithm to elliptic curves..- The role of piracy in quantum proofs..- Symmetric-Key Cryptography and Attacks..- (Im)Possibility of Symmetric Encryption against Coordinated Algorithm Substitution Attacks and Key Exfiltration..- A Simple Forgery Attack on Pelican..- From at Least $n/3$ to at Most $3sqrt{n}$: Correcting the Algebraic Immunity of the Hidden Weight Bit Function..- Machine Learning and Cryptanalysis..- Generic Partial Decryption as Feature Engineering for Neural Distinguishers..- Extracting Some Hidden Layers of Deep Neural Networks in the Hard-Label Setting..- Implementation and Efficiency..- Rhizomes and the Roots of Efficiency – Improving Prio..- Runtime Code Generation for Constant-Time Secret-Indexed Array Accesses: Applications to PERK and NTRU.

Read more less

Book Synopsis.- A Certified-Input Mixnet from Two-Party Mercurial Signatures on Randomizable Ciphertexts..- Tetris! Traceable Extendable Threshold Ring Signatures and More..- Efficient One-Pass Private Set Intersection from Pairings with Offline Preprocessing..- Practical Robust Dynamic Searchable Symmetric Encryption Supporting Conjunctive Queries..- Security Analysis of Covercrypt: A Quantum-Safe Hybrid Key Encapsulation Mechanism for Hidden Access Policies..- Anamorphic Monero Transactions: the Threat of Bypassing Anti-Money Laundering Laws..- Hyperion: Transparent End-to-End Verifiable Voting with Coercion Mitigation..- Two-Factor Authenticated Key Exchange with Enhanced Security from Post-Quantum Assumptions..- Concretely Efficient Parallel-accessible DORAM for 100K-sized Array..- A Symbolic Analysis of Hash Functions Vulnerabilities in Maude-NPA..- A post-quantum Distributed OPRF from the Legendre PRF..- TERRA: Trojan-Resilient Reverse-Firewall for Cryptographic Applications..- Reaction Attack on TFHE: Minimum Number of Oracle Queries and Nearly Optimum Attacking Scheme..- Predicate-Private Asymmetric Searchable Encryption for Conjunctions from Lattices..- DEBridge: Towards Secure and Practical Plausibly Deniable Encryption Based on USB Bridge Controller..- Formalisation of KZG commitment schemes in EasyCrypt..- UTRA: Universal Token Reusability Attack and Token Unforgeable Delegatable Order-Revealing Encryption..- Enhanced Key Mismatch Attacks on Lattice-Based KEMs: Multi-bit Inference and Ciphertext Generalization..- Code Encryption with Intel TME-MK for Control-Flow Enforcement..- Optimized Privacy-Preserving Multi-Signatures from Discrete Logarithm Assumption..- Polylogarithmic Polynomial Commitment Scheme over Galois Rings..- Efficient Homomorphic Evaluation for Non-Polynomial Functions..- Athena: Accelerating KeySwitch and Bootstrapping for Fully Homomorphic Encryption on CUDA GPU..- Formally-verified Security against Forgery of Remote Attestation using SSProve..- SafePath: Encryption-less On-demand Input Path Protection for Mobile Devices..- Extending Groth16 for Disjunctive Statements.

Read more less

Book Synopsis.-Cryptanalysis and Cipher Security.-Improving the Differential-Linear Attack with Applications to GIFT-COFB, GIFT-64 and HyENA.-Keyless Physical-Layer Cryptography.-The Multi-User Security of GCM-SST and Further Enhancements.-Network Security.- SimSeq: A Robust TLS Traffic Classification Method.-EvoFuzz: Enhancing State Space Exploration and Seed Prioritization in Stateful Protocol Fuzzing using Evolutionary Game Theory.-A Lot of Data and Added Complexity. How Does PQC Affect the Performance of My TLS Connection? .-Post-quantum Cryptography.-Conditional Attribute-Based PRE: Definition and Construction from LWE.-LastRings: Lattice-based Scalable Threshold Ring Signatures.-Side-Channel Attacks and Countermeasures.-Simulation-based Software Leakage Evaluation for the RISC-V Platform.-GIR-Cache: Mitigating Conflict-Based Cache Side-Channel Attacks Via Global Indirect Replacement.-Inference Attacks on Encrypted Online Voting via Traffic Analysis.-Towards Cross-Device Side-Channel Analysis via Domain-Level Attention Mechanisms.-Tighter Bounds for Guessing Entropy in Side-channel Template Attacks.-Collision Spanning Tree: Quick Key Recovery in Side-Channel Collision Attacks.-AI Security.-MSPP-Net: Fine-grained image privacy identification via multi-stage semantic perception.-Exploring Backdoor Attacks in Federated Learning Under Parameter-Efficient Fine-Tuning.-Spoofing Camera Source Attribution via PRNU Transfer Attacks on Physical and AI Generated Images.-Biometric Security.-Comparative Evaluation of Lattices for Fuzzy Extractors and Fuzzy Signatures.-A New Code-Based Formulation of the Fuzzy Vault Scheme.-Malware Analysis.-HoneySentry: A High-Fidelity Interactive IoT Honeypot for Advanced Threat Detection.-Towards Architecture-Independent Function Call Analysis for IoT Malware.-A Study on Malicious Browser Extensions in 2025.-HGANN-Mal: A Hypergraph Attention Neural Network Approach for Android Malware Detection.-Systems Security.-A Graph-Based Approach to Alert Contextualisation in Security Operations Centres.-HyperSec: An Extensible Hypervisor-Assisted Framework for Kernel Rootkit Detection.-BootMarker: UEFI Bootkit Defense via Control-Flow Verification.-Ali2Vul: Binary Vulnerability Dataset Expansion via Cross-Modal Alignment.-Access Control & Privacy.-CryptNyx: Password-hardened encryption with strong anonymity guarantees.-Efficient Dynamic Group Signatures with Forward Security.-Zero Trust Continuous Authentication Models and Automated Policy Formulation.-Smart Contracts and Blockchain Security.-Jakiro: A Cross-modal Contrastive Learning Framework for Detecting Vulnerabilities in Smart Contracts.-BlockLens: Detecting Malicious Transactions in Ethereum Using LLM Techniques.

Read more less

Book SynopsisThis book constitutes the carefully refereed post-proceedings of the 6th Symposium on Foundations and Practice of Security, FPS 2013, held in La Rochelle, France, in October 2013. The 25 revised full papers presented together with a keynote address were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on security protocols, formal methods, physical security, attack classification and assessment, access control, cipher attacks, ad-hoc and sensor networks, resilience and intrusion detection.Table of ContentsOn the Efficiency of Mathematics in Intrusion Detection: The NetEntropy Case.- On the Feasibility of a Censorship Resistant Decentralized Naming System.- A General Framework for Group Authentication and Key Exchange Protocols.- Modelling Simultaneous Mutual Authentication for Authenticated Key Exchange.- Model-Based Specification and Validation of Security and Dependability Patterns.- Enforcing Information Flow by Combining Static and Dynamic Analysis.- Fault Injection to Reverse Engineer DES-like Cryptosystems.- Software Camouflage.- Investigation of Parameters Influencing the Success of Optical Fault Attacks.- ONTIDS: A Highly Flexible Context-Aware and Ontology-Based Alert Correlation Framework.- Quantitative Evaluation of Enforcement Strategies.- Collusion Resistant Inference Control for Cadastral Databases.- Leveraging Ontologies upon a Holistic Privacy-Aware Access Control Model.- Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations.- Computational Soundness of Symbolic Blind Signatures under Active Attacker.- Improved Davies-Murphys Attack on DES Revisited.- Yet Another Fault-Based Leakage in Non-Uniform Faulty Ciphertexts.- A Hierarchal Anti-Counterfeit Mechanism: Securing the Supply Chain using RFIDs.- A More Realistic Model For Verifying Route Validity in Ad-Hoc Networks.- On the Security of a Privacy-Preserving Key Management Scheme for Location Based Services in VANETs.- CheR: Cheating Resilience in the Cloud via Smart Resource Allocation.- Evaluation of Software-Oriented Block Ciphers on Smartphones.- Don’t Push it: Breaking iButton Security.- Discovering Flaws in IDS through Analysis of their Inputs.- On the Reverse Engineering of the Citadel Botnet.- The Carna Botnet Through the Lens of a Network Telescope.

Read more less