Coding theory and cryptology Books

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

Book SynopsisThis book constitutes the refereed proceedings of the 4th International Conference on Sequences and Their Applications, SETA 2006. The book presents 32 revised full papers together with 4 invited lectures. The papers are organized in topical sections on linear complexity of sequences, correlation of sequences, stream ciphers and transforms, topics in complexities of sequences, multi-sequence synthesis, sequences and combinatorics, FCSR sequences, aperiodic correlation and applications, and boolean functions, and more.Table of ContentsInvited Papers.- Shift Register Sequences – A Retrospective Account.- The Probabilistic Theory of the Joint Linear Complexity of Multisequences.- Multi-Continued Fraction Algorithms and Their Applications to Sequences.- Codes for Optical CDMA.- Linear Complexity of Sequences.- On the Linear Complexity of Sidel’nikov Sequences over .- Linear Complexity over F p of Ternary Sidel’nikov Sequences.- Bounds on the Linear Complexity and the 1-Error Linear Complexity over F p of M-ary Sidel’nikov Sequences.- The Characterization of 2 n -Periodic Binary Sequences with Fixed 1-Error Linear Complexity.- Correlation of Sequences.- Crosscorrelation Properties of Binary Sequences with Ideal Two-Level Autocorrelation.- Extended Hadamard Equivalence.- Analysis of Designing Interleaved ZCZ Sequence Families.- Stream Ciphers and Transforms.- Security of Jump Controlled Sequence Generators for Stream Ciphers.- Improved Rijndael-Like S-Box and Its Transform Domain Analysis.- Topics in Complexities of Sequences.- Nonlinear Complexity of Binary Sequences and Connections with Lempel-Ziv Compression.- On Lempel-Ziv Complexity of Sequences.- Computing the k-Error N-Adic Complexity of a Sequence of Period p n .- On the Expected Value of the Joint 2-Adic Complexity of Periodic Binary Multisequences.- Linear/Nonlinear Feedback Shift Register Sequences.- On the Classification of Periodic Binary Sequences into Nonlinear Complexity Classes.- Sequences of Period 2 N –2.- A New Algorithm to Compute Remote Terms in Special Types of Characteristic Sequences.- Multi-sequence Synthesis.- Implementation of Multi-continued Fraction Algorithm and Application to Multi-sequence Linear Synthesis.- The Hausdorff Dimension of the Set of r-Perfect M-Multisequences.- Filtering Sequences and Pseudorandom Sequence Generators.- Lower Bounds on Sequence Complexity Via Generalised Vandermonde Determinants.- Construction of Pseudo-random Binary Sequences from Elliptic Curves by Using Discrete Logarithm.- On the Discrepancy and Linear Complexity of Some Counter-Dependent Recurrence Sequences.- Sequences and Combinatorics.- Nonexistence of a Kind of Generalized Perfect Binary Array.- FCSR Sequences.- On the Distinctness of Decimations of Generalized l-Sequences.- On FCSR Memory Sequences.- Periodicity and Distribution Properties of Combined FCSR Sequences.- Aperiodic Correlation and Applications.- Generalized Bounds on Partial Aperiodic Correlation of Complex Roots of Unity Sequences.- Chip-Asynchronous Version of Welch Bound: Gaussian Pulse Improves BER Performance.- Boolean Functions.- On Immunity Profile of Boolean Functions.- Reducing the Number of Homogeneous Linear Equations in Finding Annihilators.- The Algebraic Normal Form, Linear Complexity and k-Error Linear Complexity of Single-Cycle T-Function.- Partially Perfect Nonlinear Functions and a Construction of Cryptographic Boolean Functions.- Construction of 1-Resilient Boolean Functions with Very Good Nonlinearity.

Read more less

Book SynopsisDigitale Kommunikation dringt in immer mehr Bereiche privater und unternehmerischer Anwendungsfelder ein. Seit 1997 sind die gesetzlichen Rahmenbedingungen in Deutschland für rechtlich gesicherte Vorgänge im Internet geschaffen. Zentraler Bestandteil ist die digitale Signatur. Die Autoren erklären anschaulich und detailliert deren Konzept und Einsatzmöglichkeiten. Die Funktionen von Signatur, Trustcenter, Chipkarte und asymmetrischem Schlüsselverfahren werden dargestellt und durch zahlreiche Diagramme verdeutlicht. Die Informationen dienen als Entscheidungsgrundlage für den Einsatz der digitalen Signatur in Firmen, Institutionen und Behörden. Die Anwendungsbeispiele beziehen sich auf Business-to-Business- und Business-to-Customer-Beziehungen in Intranet und Internet. Das Werk wendet sich vor allem an Produzenten digitaler Medien sowie Entscheider in Wirtschaft und Verwaltung.Table of ContentsAusgangslage.- Konzept.- Zielsetzung.- Das Prinzip der digitalen Signatur.- Rechtliche Aspekte.- Europäische Entwicklung.- Internationale Entwicklungen.- Einsatzfelder.- Business-to-Business-Kommunikation.- Business-to-Customer-Kommunikation.- Intranet (firmeninterne Kommunikation).- Behördliche Kommunikation.- Gesetzesgrundlage.- Glossar.- Literaturverzeichnis.- Index.

Read more less

Book SynopsisAdvances Primitives.- homomorphic encryption.- digital signatures.

Read more less

Book Synopsisdigital signatures.- public-key cryptography.- pairing-based cryptography.

Read more less

Book Synopsispairing-based cryptography, threshold cryptography.- isogeny-based cryptography.- post-quantum cryptography.

Read more less

Book Synopsispost-quantum cryptography.- secure data structures.- lattice-based cryptography.- lattice assumptions.

Read more less

Book SynopsisKey Exchange Protocols.- Succinct Arguments.- Verifiable Computation.- Zero-knowledge Protocols.

Read more less

Book SynopsisCryptanalyasis on Pubilc-Key Schemes.- Fault Attacks and Side-Channel Analysis.- Cryptanalysis on Various Problems.- Quantum Cryptanalysis.

Read more less

Book Synopsis.- Multi-Party Computation..- SecFloatPlus: More Accurate Floating-Point Meets Secure Two-Party Computation..- Consecutive Adaptor Signature Scheme: From Two-Party to N-Party Settings..- Secure Five-party Computation with Private Robustness and Minimal Online Communication..- Model Extraction Attack on MPC Hardened Vertical Federated Learning..- Searchable Encryption..- Verifiable Conjunctive Searchable Symmetric Encryption with Result Pattern Hiding..- Compressed Cookies: Practical Wildcard Symmetric Searchable Encryption with Optimized Storage..- Encryption..- PPA-DCA: A Privacy-Preserving and Accountable Data Collection and Analysis Scheme Using Decentralized Multi-Client Functional Encryption..- Ideal Public Key Encryption, Revisited..- Simple Construction of PEKS from LWE-based IBE in the Standard Model..- Signature..- Traceable Ring Signatures: Logarithmic-Size, Without Any Setup, from Standard Assumptions..- Tightly Secure Identity-based Signature from Cryptographic Group Actions..- Generic Construction of Withdrawable Signature from Hash-ThenOne-Way Signature..- Efficient Fork-Free BLS Multi-Signature Scheme with Incremental Signing..- Threshold Ring Signatures: From DualRing to the t+1 Rings..- Lattice-Based Non-Interactive Blind Signature Schemes in the Random Oracle Model.

Read more less

Book SynopsisChapter 1. Introduction.-Chapter 2. Semantic Communication System And Synonymous Mapping.-Chapter 3. Semantic Entropy.-Chapter 4. Semantic Relative Entropy And Mutual Information.-Chapter 5. Semantic Channel Capacity And Semantic Rate Distortion.-Chapter 6. Semantic Lossless Source Coding.-Chapter 7. Semantic Channel Coding.-Chapter 8. Semantic Lossy Source Coding.-Chapter 9. Semantic Information Measure Of Continuous Message.-Chapter 10. Semantic Joint Source Channel Coding.- Chapter 11 Conclusion.

Read more less

Book Synopsis.- Chapter 1 Introduction to Image and Video Coding.- 1.1 Basic Concept of Image and Video Data.- 1.2 Representative Image and Video Datasets.- 1.3 AI-based Compression Requirement for Image and Video.- 1.4 Image and Video Coding Performance Evaluation.- 1.5 Organization of This Book.- 1.6 Summary.- Chapter 2 Fundamentals for Deep Learning-based Image and Video Coding.- 2.1 Introduction.- 2.2 Fundamental Knowledge of Deep Learning.- 2.3 Autoencoder and Variational Autoencoder.- 2.4 Principles and Framework of Deep Learning-based Image and Video Coding.- 2.5 Summary.- Chapter 3 Image and Video Quality Assessment and Perception Models.- 3.1 Introduction.- 3.2 Quality Assessment of Image and Video.- 3.3 Just Noticeable Distortion of Image and Video.- 3.4 Visual Attention Modeling of Image and Video.- 3.5 Comparative Analysis.- 3.6 Summary.- Chapter 4 Deep Learning-based Image Coding.- 4.1 Introduction.- 4.2 Representative Methods of Lossless Image Coding.- 4.3 Representative Methods of Lossy Image Coding.- 4.4 Comparative Analysis.- 4.5 Summary.- Chapter 5 Deep Learning-based Video Coding.- 5.1 Introduction.- 5.2 Framework and Key Components.- 5.3 Representative Methods of Video Coding.- 5.4 Comparative Analysis.- 5.5 Summary.- Chapter 6 Deep Learning-based 3D and Multimodal Coding.- 6.1 Introduction.- 6.2 Overall Framework and Datasets.- 6.3 Representative Methods of 3D and Multimodal Coding.- 6.4 Comparative Analysis.- 6.5 Summary.- Chapter 7 Human and Machine Vision-Oriented Image and Video Coding.- 7.1 Introduction.- 7.2 Representative Methods of Human Perception-based Coding.- 7.3 Representative Methods of Machine Perception-based Coding.- 7.4 Comparative Analysis.- 7.5 Summary.- Chapter 8 Compression Artifacts Removal for Image and Video Coding.- 8.1 Introduction.- 8.2 Representative Methods of Compressed Image Artifacts Reduction.- 8.3 Representative Methods of Compressed Video Artifacts Reduction.- 8.4 Comparative Analysis.- 8.5 Summary.- Chapter 9 Deep Learning-based Image and Video Coding Standards.- 9.1 Introduction.- 9.2 Overview of International Standards.- 9.3 IEEE AI-based Image and Video Coding Standard.- 9.4 JPEG AI-based Image and Video Coding Standard.- 9.5 MPEG Video Coding for Machines Standard.- 9.6 MPAI End-to-End Video Coding Standard.- 9.7 Comparative Analysis.- 9.8 Summary.- Chapter 10 Implementations for Deep Learning-based Image and Video Coding.- 10.1 Introduction.- 10.2 Basics of Neural Network Compression.- 10.3 Software and Hardware Platforms for Acceleration.- 10.4 Lightweight Methods for Deep Compression Network.- 10.5 Comparative Analysis.- 10.6 Summary.- Chapter 11 Open Source Projects for Deep Learning-based Image and Video Coding.- 11.1 Introduction.- 11.2 Representative Open Source Projects for Image Coding.- 11.3 Representative Open Source Projects for Video Coding.- 11.4 Comparative Analysis.- 11.5 Summary.- Chapter 12 Future Works for AI-based Image and Video Coding.- 12.1 Future Work on Quality Assessment and Perception Models for Image and Video.- 12.2 Future Work on Deep Learning-based for Image Coding.- 12.3 Future Work on Deep Learning-based for Video Coding.- 12.4 Future Work on Deep Learning-based for 3D and Multimodal Coding.- 12.5 Future Work on Human and Machine Vision Oriented Image and Video Coding.- 12.6 Future Work on Compression Artifacts Removal for Image and Video Coding.- 12.7 Future Work on Deep Learning-based Image and Video Coding Standards.- 12.8 Future Work on Implementations for Deep Learning-based Image and Video Coding.- 12.9 Future Work on Open Source Projects for Deep Learning-based Image and Video Coding.

Read more less

Book Synopsis.- Chapter1. Introduction..- Chapter 2. Background Knowledge..- Chapter 3. Predictive Coding..- Chapter 4. Transform Coding..- Chapter 5. Quantization Techniques..- Chapter 6. Entropy Coding..- Chapter 7. MPEG Geometry-based Point Cloud Compression (G-PCC) Standard..- Chapter 8. AVS Point Cloud Compression Standard..- Chapter 9. MPEG Video-based Point Cloud Compression (V-PCC) Standard..- Chapter 10. MPEG AI-based 3D Graphics Coding Standard..- Chapter 11. Future Work..- Index.

Read more less