Computer security Books

Book SynopsisThis Springer brief provides the necessary foundations to understand differential privacy and describes practical algorithms enforcing this concept for the publication of real-time statistics based on sensitive data. Several scenarios of interest are considered, depending on the kind of estimator to be implemented and the potential availability of prior public information about the data, which can be used greatly to improve the estimators' performance. The brief encourages the proper use of large datasets based on private data obtained from individuals in the world of the Internet of Things and participatory sensing. For the benefit of the reader, several examples are discussed to illustrate the concepts and evaluate the performance of the algorithms described. These examples relate to traffic estimation, sensing in smart buildings, and syndromic surveillance to detect epidemic outbreaks.Table of ContentsChapter 1. Defining Privacy Preserving Data Analysis.- Chapter 2. Basic Differentially Private Mechanism.- Chapter 3. A Two-Stage Architecture for Differentially Private Filtering.- Chapter 4. Differentially Private Filtering for Stationary Stochastic Collective Signals.- Chapter 5. Differentially Private Kalman Filtering.- Chapter 6. Differentially Private Nonlinear Observers.- Chapter 7. Conclusion.

Read more less

Book SynopsisThis two-volume set of LNCS 12146 and 12147 constitutes the refereed proceedings of the 18th International Conference on Applied Cryptography and Network Security, ACNS 2020, held in Rome, Italy, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 46 revised full papers presented were carefully reviewed and selected from 214 submissions. The papers were organized in topical sections named: cryptographic protocols cryptographic primitives, attacks on cryptographic primitives, encryption and signature, blockchain and cryptocurrency, secure multi-party computation, post-quantum cryptography.

Read more less

Book SynopsisThis book discusses digital risk governance in a global context and provides practical solutions for sound digital policy. From cyber-attacks to the mechanisms of digital technical management on a global scale, this book identifies the fundamental areas of digital vulnerability for both states and businesses and outlines the means of securing them. Written with the digital security needs of the public and private sectors in mind, chapters provide approachable guidance on navigating national digital strategies for public and corporate cyber-risks, identifying mechanisms for embedding digital security over time, protecting both personal and strategic economic data, adapting regulations to digital challenges, and leveraging innovation and multilateralism for digital security. Providing a comprehensive view of digital risk mechanisms for multiple stakeholders, this volume will be useful for professionals and practitioners in technology governance, digital management, IS/risk management, digital security, and internet policy.Table of ContentsChapter 1: The international context of corporate digital security.- Chapter 2: National frameworks for the implementation of digital security.- Chapter 3: The complexity of digital technology makes it difficult for enterprises to conceive of its security.- Chapter 4: Intense inter-state competition in cyberspace.- Chapter 5: Establishing competition in digital markets.- Chapter 6: Preserve the legal order by strengthening data control and the ability to regulate platforms.- Chapter 7: Responding to the fiscal challenge launched by the major digital enterprises: a digital security and equity issue.- Chapter 8: Strengths and weaknesses of the enterprise's information system.- Chapter 9: Securing the information system of enterprises and institutions.- Chapter 10: Digital vulnerabilities and attacks compromising the security of enterprises and institutions.- Chapter 11: The nature of the attacks and the characteristics of a cyber-attitude.- Chapter 12: IT safety education for Digital Literacy.- Chapter 13: How to win the digital security challenge in terms of governance.- Chapter 14: Governance through the development of key technologies and the loss of strategic assets.- Chapter 15: Optimize the levers of industrial policy to mobilize financial and human capital: Chapter 16: Conclusion.- Glossary.- References.

Read more less

Book SynopsisThis book focuses on the innovation of blockchain technology and the advantages it offers. It provides a clear and comprehensive overview of blockchain technology and its possibilities, and thereby helps readers to form an opinion and draw their own conclusions about its potential exploitations.The book begins with a chapter on the topic of decentralized networks, which familiarizes readers with their challenges by using the example of an online trading platform. Hereinafter, it is then detailed what blockchain technology is, where it comes from, and how it works. The necessary underlying technologies are explained, and various individual approaches as well as their composition are presented. Using well-known examples such as Bitcoin and Ethereum as an illustration, the book looks at the architecture of blockchain technology and focuses on the challenges such as security and scalability. The options available when introducing blockchain technology are also outlined, and best-practice examples are presented to get a better idea of what areas benefit from this technology.Numerous examples and detailed explanations will accompany the readers throughout the book. By the time they have reached the end, they will be able to decide for themselves what is truly innovative about blockchain technology and what is nothing more than hype.Table of Contents​1. Introduction.- 2. What Is Hidden Behind the Term “Blockchain”?.- 3. Technical Basics for a Better Understanding of Blockchain Technology.- 4. Where Does the Hype End, and Where Does the Innovation of Blockchain Technology Begin?.- 5. The Right Use Leads to Success.- 6. Projects and Application Areas of Blockchain Technology.- 7. Summary.

Read more less

Book SynopsisHash functions are the cryptographer’s Swiss Army knife. Even though they play an integral part in today’s cryptography, existing textbooks discuss hash functions only in passing and instead often put an emphasis on other primitives like encryption schemes. In this book the authors take a different approach and place hash functions at the center. The result is not only an introduction to the theory of hash functions and the random oracle model but a comprehensive introduction to modern cryptography.After motivating their unique approach, in the first chapter the authors introduce the concepts from computability theory, probability theory, information theory, complexity theory, and information-theoretic security that are required to understand the book content. In Part I they introduce the foundations of hash functions and modern cryptography. They cover a number of schemes, concepts, and proof techniques, including computational security, one-way functions, pseudorandomness and pseudorandom functions, game-based proofs, message authentication codes, encryption schemes, signature schemes, and collision-resistant (hash) functions. In Part II the authors explain the random oracle model, proof techniques used with random oracles, random oracle constructions, and examples of real-world random oracle schemes. They also address the limitations of random oracles and the random oracle controversy, the fact that uninstantiable schemes exist which are provably secure in the random oracle model but which become insecure with any real-world hash function. Finally in Part III the authors focus on constructions of hash functions. This includes a treatment of iterative hash functions and generic attacks against hash functions, constructions of hash functions based on block ciphers and number-theoretic assumptions, a discussion of privately keyed hash functions including a full security proof for HMAC, and a presentation of real-world hash functions.The text is supported with exercises, notes, references, and pointers to further reading, and it is a suitable textbook for undergraduate and graduate students, and researchers of cryptology and information security.Trade Review“The authors put a lot of work to create this 788-page book – the text has been edited even after the layout to insert links with page numbers, there are exercises and a website for errata and discussions.” (Jaak Henno, zbMATH 1490.94001, 2022)“Arno Mittelbach and Marc Fischlin did a good job at producing this book with a collection of ideas on the Theory of Hash Functions and Random Oracles, focusing in-depth on these two areas enabling the student, the practitioner, and the researcher, to deepen their knowledge. The book is a great add-on for a modern cryptography course or for 'light summer reading' for those interested in learning more about these two topics.” (Sven Dietrich, IEEE Cipher, July 20, 2021)Table of ContentsIntroduction.- Preliminaries: Cryptographic Foundations.- Part I: Foundations.- Computational Security.- Pseudorandomness and Computational Indistinguishability.- Collision Resistance.- Encryption Schemes.- Signature Schemes.- Non-cryptographic Hashing.- Part II: The Random Oracle Methodology.- The Random Oracle Model.- The Full Power of Random Oracles.- Random Oracle Schemes in Practice.- Limitations of Random Oracles.- The Random Oracle Controversy.- Part III: Hash Function Constructions.- Iterated Hash Functions.- Constructing Compression Functions.- Iterated Hash Functions in Practice.- Constructions of Keyed Hash Functions.- Constructing Random Oracles: Indifferentiability.- Constructing Random Oracles: UCEs.- Index.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the First International Workshop on Cyber-Physical Security for Critical Infrastructures Protection, CPS4CIP 2020, which was organized in conjunction with the European Symposium on Research in Computer Security, ESORICS 2020, and held online on September 2020.The 14 full papers presented in this volume were carefully reviewed and selected from 24 submissions. They were organized in topical sections named: security threat intelligence; data anomaly detection: predict and prevent; computer vision and dataset for security; security management and governance; and impact propagation and power traffic analysis.The book contains 6 chapters which are available open access under a CC-BY license. Table of ContentsSecurity Threat Intelligence.- Privacy-Preserving CCTV Analytics for Cyber-Physical Threat Intelligence.- TLSAssistant goes FINSEC: A Security Platform Integration Extending Threat Intelligence Language.- Cyber Threat Monitoring Systems - Comparing attack detection performance of ensemble algorithms.- FINSTIX: a Cyber-Physical Data Model for Financial Critical Infrastructures.- Data Anomaly Detection: Predict & Prevent.- Inferring anomaly situation from multiple data sources in CyberPhysical Systems.- Fusing RGB and Thermal Imagery with Channel State Information for Abnormal Activity Detection using Multimodal Bidirectional LSTM.- A Cloud-Based Anomaly Detection for IoT Big Data.- Computer Vision & Dataset for Security.- An advanced Framework for Critical Infrastructure Protection using computer vision technologies.- A Comprehensive Dataset from a Smart Grid Testbed for Machine Learning based CPS Security Research.- Security Management & Governance.- Cross-Domain Security Asset Management for Healthcare.- Towards a global CIs' cyber-physical security management and joint coordination approach.- Toward a Context-Aware Methodology for Information Security Governance Assessment Validation.- Impact Propagation & Power Traffic Analysis.- Impact Propagation in Airport Systems.- A Comparative Analysis of Emulated and Real IEC-104 Spontaneous Traffic in Power System Networks.

Read more less

Book SynopsisThe two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications. Table of ContentsCryptographic Protocols.- Adaptive-ID Secure Hierarchical ID-Based Authenticated Key Exchange under Standard Assumptions without Random Oracles.- Analysis of Client-side Security for Long-term Time-stamping Services.- Towards Efficient and Strong Backward Private Searchable Encryption with Secure Enclaves.- Secure and Fair Protocols.- CECMLP: New Cipher-Based Evaluating Collaborative Multi-Layer Perceptron Scheme in Federated Learning.- Blind Polynomial Evaluation and Data Trading.- Coin-Based Multi-Party Fair Exchange.- Cryptocurrency and Smart Contracts.- P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange.- WOTS+ up my Sleeve! A Hidden Secure Fallback for Cryptocurrency Wallets.- Terrorist Attacks for Fake Exposure Notifications in Contact Tracing Systems.- Digital Signatures.- Unlinkable and Invisible -Sanitizable Signatures.- Partially Structure-Preserving Signatures: Lower Bounds, Constructions and More.- An Efficient Certificate-Based Signature Scheme in the Standard Model.- Embedded System Security.- SnakeGX: a sneaky attack against SGX Enclaves.- Telepathic Headache: Mitigating Cache Side-Channel Attacks on Convolutional Neural Networks.- Efficient FPGA Design of Exception-Free Generic Elliptic Curve Cryptosystems.- Lattice Cryptography.- Access Control Encryption from Group Encryption.- Password Protected Secret Sharing from Lattices.- Efficient Homomorphic Conversion Between (Ring) LWE Ciphertexts.

Read more less

Book SynopsisThis book provides practical knowledge and skills on high-speed networks, emphasizing on Science Demilitarized Zones (Science DMZs). The Science DMZ is a high-speed network designed to facilitate the transfer of big science data which is presented in this book. These networks are increasingly important, as large data sets are now often transferred across sites. This book starts by describing the limitations of general-purpose networks which are designed for transferring basic data but face numerous challenges when transferring terabyte- and petabyte-scale data. This book follows a bottom-up approach by presenting an overview of Science DMZs and how they overcome the limitations of general-purpose networks. It also covers topics that have considerable impact on the performance of large data transfers at all layers: link layer (layer-2) and network layer (layer-3) topics such as maximum transmission unit (MTU), switch architectures, and router’s buffer size; transport layer (layer-4) topics including TCP features, congestion control algorithms for high-throughput high-latency networks, flow control, and pacing; applications (layer-5) used for large data transfers and for maintenance and operation of Science DMZs; and security considerations. Most chapters incorporate virtual laboratory experiments, which are conducted using network appliances running real protocol stacks. Students in computer science, information technology and similar programs, who are interested in learning fundamental concepts related to high-speed networks and corresponding implementations will find this book useful as a textbook. This book assumes minimal familiarity with networking, typically covered in an introductory networking course. It is appropriate for an upper-level undergraduate course and for a first-year graduate course. Industry professionals working in this field will also want to purchase this book.Table of ContentsIntroduction to high-speed networks and science DMZ.- Network cyberinfrastructure aspects for big data transfers.- Data link and network layer considerations for large data transfers.- Impact of TCP on high-speed networks and advances in congestion control algorithms.- Application and security aspects for large flows.- Security aspects.- Challenges and open research issues.

Read more less

Book SynopsisThis book constitutes the revised selected papers from the 22nd International Conference on Information Security Applications, WISA 2021, which took place on Jeju Island, South Korea, during August 2021. The 23 papers included in this book were carefully reviewed and selected from 66 submissions. They were organized in topical sections as follows: machine learning security; cryptography; hardware security; and application security.Table of ContentsMachine Learning Security.- LOM: Lightweight classifier for obfuscation methods.- A Method for Collecting Vehicular Network Data for Enhanced Anomaly Detection.- Unsupervised Driver Behavior Profiling leveraging Recurrent Neural Networks.- On the robustness of intrusion detection systems for vehicles against adversarial attacks.- A Framework for Generating Evasion Attacks for Machine Learning based Network Intrusion Detection Systems.- Echo-Guard : Acoustic-based Anomaly Detection System for Smart Manufacturing Environments.- Research on improvement of anomaly detection performance in industrial control systems.- Cryptography.- Quantum Cryptanalysis Landscape of Shor's Algorithm for Elliptic Curve Discrete Logarithm Problem.- Anonymous IBE from PEKS : A Generic Construction.- Secure Computation of Shared Secrets and Its Applications.- Pattern Matching over Encrypted Data with a Short Ciphertext.- Efficient adaptation of TFHE for high end-to-end throughput.- AnyTRNG: Generic, High-throughput, Low-area True Random Number Generator based on Synchronous Edge Sampling.- Hardware Security.- Masked Implementation of PIPO Block Cipher on 8-bit AVR Microcontrollers.- Parallel Implementation of PIPO Block Cipher on 32-bit RISC-V Processor.- No Silver Bullet: Optimized Montgomery Multiplication on Various 64-bit ARM Platforms.- ARMed Frodo: FrodoKEM on 64-bit ARMv8 Processors.- Quantitative Analysis on Attack Capacity in Meltdown-type Attacks.- Application Security.- Adaptive Network Security Service Orchestraction based on SDN/NFV.- A General Framework for Matching Pattern Hiding in Deep Packet Inspection.- A Privacy-Preserving Payment Model for EV Charging.- Measuring Healthcare Data Breaches.- BadASLR: Exceptional cases of ASLR aiding Exploitation.

Read more less

Book SynopsisThis book constitutes revised selected papers from the 11th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2021, held in Lugano, Switzerland, in October 2021.The 14 full papers carefully reviewed and selected from 31 submissions are presented in this volume together with the 4 extended keynote abstracts. The workshop covers the following subjects: cryptography, side-channel analysis, cryptographic implementations, fault attacks, implementation attacks, post-quantum cryptography, hardware accelerators, etc.

Read more less

Book SynopsisThis book constitutes the refereed post-conference proceedings of the 17th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2021, held in November 2020. Due to COVID-19 pandemic the conference was held virtually. The 20 revised full papers were carefully reviewed and selected from 43 submissions. The papers are organized thematically in tracks Machine Learning in Distributed Networks; 5G Networks and Security; IoT Security and Lightweight Cryptography; Network Security; and Privacy-preserving Emerging Networked Applications.Table of ContentsMachine Learning in Distributed Networks.- FedDICE: A ransomware spread detection in a distributed integrated clinical environment using federated learning and SDN based mitigation.- Accelerating TEE-based DNN Inference Using Mean Shift Network Pruning.- Towards Secure and Trustworthy Crowdsourcing with Versatile Data Analytics.- Blockchain Networks and Blockchain-based Applications.- Blockchain for IoT : A Critical Analysis Concerning Performance and Scalability.- Toward Achieving Unanimity for Implicit Closings in a Trustless System.- DBS: Blockchain-based privacy-preserving RBAC in IoT.- 5G Networks and Security.- 8 A Lightweight Authentication Protocol for 5G Cellular Network Connected Drones.- Anti-eavesdropping Proportional Fairness Access Control for 5G Networks.- Joint Relay Selection and Frequency Allocationfor D2D Communications.- IoT Security and Lightweight Cryptography 11 Chaos and Logistic Map based Key Generation Technique for AES-driven IoT Security.- A Usability Study of Cryptographic API Design.- An S-box Design using Irreducible Polynomial with Affine Transformation for Lightweight Cipher.- The Phantom Gradient Attack: A Study Of Replacement Functions For The XOR Function.- Network Security 15 Topology Validator - Defense against Topology Poisoning Attack in SDN.- Towards an Attention-based Accurate Intrusion Detection Approach.- Avoiding VPN Bottlenecks: Exploring Network-Level client Identity Validation Options.- Privacy-preserving Emerging Networked Applications.- Privacy-Preserving Ranked Searchable Encryption Based on Differential Privacy.- Memory-efficient Encrypted Search using Trusted Execution Environment Viet Vo.

Read more less

Book SynopsisThis book constitutes the proceedings of the 17th International Conference on Information Systems Security, ICISS 2021, held in Patna, India, during December 16-20, 2021. The 9 regular papers, 2 short papers and 4 work-in-progress papers included in this volume were carefully reviewed and selected from a total of 48 submissions. The papers were organized in topical sections named: attack detection, malware identification, data security in distributed systems, and applied cryptography.

Read more less

Book SynopsisThis book constitutes selected and revised papers from the Second Silicon Valley Cybersecurity Conference, held in San Jose, USA, in December 2021. Due to the COVID-19 pandemic the conference was held in a virtual format. The 9 full papers and one shoprt paper presented in this volume were thoroughly reviewed and selected from 15 submissions. They present most recent research on dependability, reliability, and security to address cyber-attacks, vulnerabilities, faults, and errors in networks and systems. Chapters 1, 4, 5, 6, and 8-10 are published open access under a CC BY license (Creative Commons Attribution 4.0 International License).Table of ContentsMachine Learning for Security.- Encryption.- Miscellaneous Security.

Read more less

Book SynopsisThis open access book summarizes knowledge about several file systems and file formats commonly used in mobile devices. In addition to the fundamental description of the formats, there are hints about the forensic value of possible artefacts, along with an outline of tools that can decode the relevant data. The book is organized into two distinct parts: Part I describes several different file systems that are commonly used in mobile devices. · APFS is the file system that is used in all modern Apple devices including iPhones, iPads, and even Apple Computers, like the MacBook series. · Ext4 is very common in Android devices and is the successor of the Ext2 and Ext3 file systems that were commonly used on Linux-based computers. · The Flash-Friendly File System (F2FS) is a Linux system designed explicitly for NAND Flash memory, common in removable storage devices and mobile devices, which Samsung Electronics developed in 2012. · The QNX6 file system is present in Smartphones delivered by Blackberry (e.g. devices that are using Blackberry 10) and modern vehicle infotainment systems that use QNX as their operating system. Part II describes five different file formats that are commonly used on mobile devices. · SQLite is nearly omnipresent in mobile devices with an overwhelming majority of all mobile applications storing their data in such databases. · The second leading file format in the mobile world are Property Lists, which are predominantly found on Apple devices.· Java Serialization is a popular technique for storing object states in the Java programming language. Mobile application (app) developers very often resort to this technique to make their application state persistent. · The Realm database format has emerged over recent years as a possible successor to the now ageing SQLite format and has begun to appear as part of some modern applications on mobile devices. · Protocol Buffers provide a format for taking compiled data and serializing it by turning it into bytes represented in decimal values, which is a technique commonly used in mobile devices. The aim of this book is to act as a knowledge base and reference guide for digital forensic practitioners who need knowledge about a specific file system or file format. It is also hoped to provide useful insight and knowledge for students or other aspiring professionals who want to work within the field of digital forensics. The book is written with the assumption that the reader will have some existing knowledge and understanding about computers, mobile devices, file systems and file formats.Table of ContentsPart I: Mobile File System Formats.- 1. APFS.- 2. Ext4.- 3. The Flash-Friendly File System (F2FS).- 4. QNX6.- Part II: Mobile File Formats.- 5. SQLite.- 6. Property Lists.- 7. Java Serialization.- 8. Realm.- 9. Protocol Buffers.

Read more less

Book SynopsisCurrent State of Smart Environments.- Methodological Resilience Assessment of Smart Cyber Infrastructures.- Query Integrity in Smart Environments.- Quantifying the Impact Propagation of Cyber Attacks using Business Logic Modeling.- Technologies And Challenges.- Enabling the Human-as-a-security-sensor paradigm in the Internet of Things.- Intrusion Detection at the IoT Edge using Federated Learning.- Bits and Bytes Betrayal: Unravelling the Dark Threads of Cybercrime in the Metaverse.- Intricacies Of Critical Infrastructures.- Smart Environments: Information Flow Control in Smart Grids.- Social Engineering: The Human Behavior Impact in Cyber Security Within Critical Information Infrastructures.- Distributed Ledger And Privacy Enhancement Approaches.- An overview of security issues for blockchain based distributed applications - A Critical View on Blockchain Rollups.- Decentralized Identity Management and the European Identity Reform.- Designing secure and privacy-aware IoT services in the health sector.

Read more less

Book Synopsis.- Blockchain..- The Formal Verification of Aptos Coin..- Anonymous, Timed and Revocable Proxy Signatures..- Symmetric-Key Cryptography..- MILP/MIQCP-Based Differential-Linear Cryptanalysis on CHAM-64/128..- Security Analysis of CMAC in the Multi-User Model..- Quantum Key Recovery Attacks on 4-round Iterated Even-Mansour with Two Keys..- Machine Learning..- Optimizing label-only membership inference attacks by global relative decision boundary distances..- Risk of Text Backdoor Attacks under Dataset Distillation..- Mobile Security and Trusted Execution..- Emulating Android Device Drivers via Borrowed Execution Context..- Software Security..- SyzLego: Enhancing Kernel Directed Greybox Fuzzing via Dependency Inference and Scheduling..- A Lightweight Defense Scheme against Usermode Helper Privilege Escalation Using Linux Capability..- Multi-Party Computation..- Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles..- ChronoCloak: An integrated Solution for Mitigating Premature Disclosure in Oblivious Digital Dissemination..- Large-Plaintext Functional Bootstrapping with Small Parameters for BGV Encoding..- Ripple: Accelerating Programmable Bootstraps for FHE with Wavelet Approximations..- Robust Multiparty Computation from Threshold Encryption Based on RLWE..- Efficient Blind Rotation in FHEW using Refined Decomposition and NTT..- Post-Quantum Cryptography..- Solving McEliece-1409 in One Day Cryptanalysis with the Improved BJMM Algorithm..- Deep LLL on Module lattices..- Multi-way High-throughput Implementation of Kyber..- The Role of Message-Bound Signatures for the Beyond UnForgeability Features and Weak Keys..- A faster variant of CGL hash function via efficient backtracking checks..- Streamlining CSIDH: Cost-Effective Strategies for Group Actions Evaluation..- System Security..- Channel Robust Strategies with Data Augmentation for Audio Anti-Spoofing..- Property Guided Secure Configuration Space Search..- Adversarial analysis of software composition analysis tools..- News Reader: A News Interest Identification Attack using Single-Electrode Brainwave Signals.

Read more less

Book Synopsis.- Web Security..- JSHint: Revealing API Usage to Improve Detection of Malicious JavaScript..- Automated Generation of Behavioral Signatures for Malicious Web Campaigns..- We have Phishing at Home: Quantitative Study on Email Phishing Susceptibility in Private Contexts..- Intrusion Detection..- TIDL-IDS: A Time-series Imaging and Deep Learning-based IDS for Connected Autonomous Vehicles..- FedMADE: Robust Federated Learning for Intrusion Detection in IoT Networks Using a Dynamic Aggregation Method..- MVDetector: Malicious vehicles detection under Sybil attacks in VANETs..- Insider Threat Detection Based on User and Entity Behavior Analysis with a Hybrid Model.

Read more less

Book Synopsis.- Research Track..- Enabling a Smooth Migration Towards Post-Quantum Security for Ethereum..- Accelerating Blockchain Application Development: Integrating Blockchain as a Service Within Low-Code Platforms..- Legacy Compatible and Sybil Resistant Decentralized Identity Management for IoTs..- Enhancing Robustness of Smart Contracts Through Declarations..- Novel Perpetual Futures Market Model Based on a Family of Asymptotic Power Curves..- Improving Raft Consensus Algorithm with Relay and Lease Mechanism..- Towards Pediatric Healthcare: A Blockchain-Based Framework for Transparent and Secure Medical Data Management..- SoK on Blockchain Evolution and Taxonomy..- Application and Industry Track..- Cadastral: Blockchain-Based Land Registration System.

Read more less

Book Synopsis.- System Security..- Microarchitectural Security of Firecracker VMM for Serverless Cloud Platforms..- An OS support for Tamper-resistant Software Execution Using Empty Interruptions..- S-RFUP: Secure Remote Firmware Update Protocol..- Securing Virtual Reality Apps Inter-Process Communication..- Network Security..- Securing the Web: Analysis of HTTP Security Headers in Popular Global Websites..- Countering Subscription Concealed Identifier (SUCI)-Catchers in Cellular Communications..- BP-MAP: A Secure and Convenient Mutual Authentication Protocol..- Effects of Soft-Domain Transfer and Named Entity Information on Deception Detection..- Paving the Way: Advancing V2X Safety Through Innovative Attack Generation and Analysis Framework (V2X-SAF)..- From Traits to Threats: Learning Risk Indicators of Malicious Insider using Psychometric Data..- Identifying Insecure Network Configurations through Attack Modeling and Explainable AI..- QIris: Quantum Implementation of Rainbow Table Attacks..- Malware and Vulnerability Detection..- Insights from Running 24 Static Analysis Tools on Open Source Software Repositories..- REMEDII: Robust Malware Detection with Iterative and Intelligent Adversarial Training using GANs..- Semantics-Based Static Vulnerability Detection of Solidity Using Abstract Interpretation..- Privacy & Usability..- Web Privacy Perceptions Amongst Indian Users..- Enabling Privacy in IT Service Operations..- Privacy-Preserving Photo Sharing: An SSI Use Case..- Zone Recovery Attack on a Secure  Privacy-Preserving Ride-Matching Protocol..- Making EULA Great Again: A Novel Nudge Mechanism to Improve Readability, User Attention and Awareness..- A Decoupling Mechanism for Transaction Privacy..- AI Security..- Protecting ownership of trained DNN models with Zero-Knowledge Proofs..- MALAI: ML-based Attack on Learning With Error problem..- Patch based backdoor attack on Deep Neural Networks..- Industry Demo/Practice..- Integrating Crypto-Based Payment Systems for Data Marketplaces: Enhancing Efficiency, Security, and User Autonomy..- Ontologies for WAF configurations: when knowledge-graphs help troubleshooting..- IntelliSOAR: Intelligent Alert Enrichment using Security Orchestration Automation and Response (SOAR)..- InTrust: An Asset Monitoring, Analysis and Vulnerability Assessment system for Zero Trust Network.

Read more less

Book Synopsis.- Design and Analysis of Distributed Message Ordering over a Unidirectional Logical Ring..- The Omnibus Java Library: Efficient Synthesis of Optimal Signal Schedules for Multimodal Intersections..- Performance Evaluation of Beaconing Schemes for Vehicular Platooning..- Implementations Based Evaluation of No-Wait Approach for Resolving Conflicts in Databases..- Performance Evaluation of Smart Bin Systems Using Markovian Agents for Efficient Garbage Collection..- Approximation of First Passage Time Distributions of Compositions of Independent Markov Chains..- Under the space threat: Quantitative Analysis of Cosmos blockchain..- A Lumped CTMC for Modular Rewritable PN..- Analytical Modelling of Asymmetric Multi-core Servers..- Robust Streaming Benchmark Design in the Presence of Backpressure.

Read more less

Book SynopsisChapter.1. Introduction.- Chapter.2. Notations and Definitions.- Chapter.3. Falcon Algorithm.- Chapter 4. SOLMAE Algorithm.- Chapter.5. Basics of Python.- Chapter.6.Checking Falcon with Python.- Chapter.7.Checking SOLMAE with Python.- Chapter.8 Concluding Remarks.

Read more less

Book Synopsis.- Authenticated Encryption..- Generic Security of the Ascon Mode: On the Power of Key Blinding..- Fast Parallelizable Misuse-Resistant Authenticated Encryption: Low Latency (Decryption-Fast) SIV..- Provably Secure Online Authenticated Encryption and Bidirectional Online Channels..- Symmetric Design Strategies..- Classical and Quantum Generic Attacks on 6-round Feistel Schemes..- Weightwise (almost) perfectly balanced functions based on total orders..- Generalized Triangular Dynamical System: An Algebraic System for Constructing Cryptographic Permutations over Finite Fields..- Cryptanalysis of Arithmetization-Oriented Primitives..- A Univariate Attack against the Limited-Data Instance of Ciminion..- Improved Algebraic Attacks on Round-Reduced LowMC with Single-Data Complexity..- Symmetric Primitive Design..- Minimize the Randomness in Rasta-Like Designs: How Far Can We Go? Application to PASTA..- Koala: A Low-Latency Pseudorandom Function..- Implementations and Side-Channel Analysis..- Modular Multiplication in the AMNS Representation: Hardware Implementation..- Train Wisely: Multifidelity Bayesian Optimization Hyperparameter Tuning in Deep Learning-based Side-Channel Analysis.

Read more less

Book Synopsis.- Privacy-Preserving Cryptography..- Revisiting Oblivious Top-k Selection with Applications to Secure k-NN Classification..- Simulation Secure Multi-Input Quadratic Functional Encryption..- Generation of Authenticated Secret-Shared Scaled Unit Vectors for Beaver Triples..- Multi-Key Homomorphic Encryption with Threshold Re-Encryption..- Multi-User Dynamic Searchable Encryption for Prefix-Fixing Predicatesfrom Symmetric-Key Primitives..- Post-Quantum Cryptography..- BUFFing FALCON without Increasing the Signature Size..- SILBE: an Updatable Public Key Encryption Scheme from Lollipop Attacks..- Towards Optimally Small Smoothness Bounds for Cryptographic-Sized Smooth Twins and their Isogeny-based Applications..- Attacks on Public-Key Cryptography..- Bias from Uniform Nonce: Revised Fourier Analysis-based Attack on ECDSA..- Multivariate Blind Signatures Revisited..- Post-Quantum Backdoor for Kyber-KEM..- Identity-based Encryption..- Identity-Based Encryption from Lattices with More Compactness in the Standard Model..- Oblivious Identity-based Encryption (IBE Secure Against an Adversarial KGC).

Read more less

Book Synopsis.- Resilience of Critical Infrastructures and Climate Change..- Questioning the Myth: Investigating ICS Tra?c Homogeneity from an Anomaly Detection Perspective..- Enhancing Long term Storage Security in Critical Infrastructures under NIS2 Directive: Addressing Post Quantum Cryptography Challenges..- Exploratory Trend Analysis of Supply Chain Cybersecurity Management..- A Cooperative Feature Removal Mechanism for Cell Outage Detection in Wireless Telecommunication Networks..- Paying the Rent A Formal Methods Riposte to Living off the Land Attacks..- Lyapunov based performance oriented switching strategies for linear systems..- A Re Transmission Algorithm for Phasor Data Concentrators for Resilience Enhancement of State Estimation..- Locally Optimal Information Pathways in the Presence of Static Adversaries for a Hierarchical Smart Distribution Grid Model..- Inoperability Propagation in Networks with Coupled Logistic Dynamics..- Resilience Analysis of Naval Vessels with i2SIM..- Gender Gap in the Critical Infrastructure Research Community..- Centrality based Security Allocation in Networked Control Systems..- Using tabletop exercises to raise cybersecurity awareness of decision makers..- Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systems..- Cyber Resilience Using ASFA: DORA Compliant Threat Led Penetration Testing..- AdaLightLog: Enhancing Application Logs Anomaly Detection via Adaptive Federating Learning..- A Cost Sensitive Approach for Managing Intrusion Alerts in OT Environments..- Multicriteria GIS spatial analysis for multi hazard assessment of infrastructures in case of natural events..- Machine Learning Techniques for Anomaly Detection in the Hydra Testbed: A Data Driven Defense Strategy..- Improving Impact Assessment using Fuzzy Sets in CISIApro 2.0 Model..- A Decision Support System for the Damage and Urban Resilience Assessment of Natural Events..- Urban Data Governance: an interoperability based approach for monitoring natural threats at di?erent geographic scales through Smart City Platforms..- Uncertain Analytic Hierarchy Process for Risk Assessment in Cyber Physical Systems.

Read more less

Book SynopsisApplied cognitive computing and artificial intelligence.- artificial intelligence and applications.- artificial intelligence: reinforcement learning and knowledge engineering.- artificial intelligence optimization methods and machine learning.

Read more less

Book SynopsisParallel and distributed processing techniques and applications and HPC.- Workshop on Mathematical Modeling and Problem Solving.

Read more less

Book SynopsisArtificial intelligence, data science, and neural networks.- natural language processing, large language modelc, generative AI.- data science, data analytics, and applications.- prediction and forecasting and security applications.- and poster papers.

Read more less

Book SynopsisGrid, cloud and cluster computing.- emergent quantum technologies.- and modeling, simulation and visualization methods.

Read more less

Book SynopsisMilitary and defence modeling and simulation.- scientific computing and applications.- bioinformatics and computational biology.

Read more less

Book SynopsisBiomedical engineering.- Biomedical engineering algorithms, applications and methodologies.- health informatics and medical systems.- health informatics and medical systems algorithms, applications and methodologies.

Read more less

Book SynopsisInternet computing and IoT - Cloud and Internet of Things.- Internet computing and IoT - algorithms and applications.- and embedded systems, cyber-physical systems and applications.

Read more less

Book SynopsisFoundations of computer science.- frontiers in education - novel studies and assessment results.- frontiers in educations - tools.- frontiers in education - student retention, teaching and learning methods, curriculum design and related issues.- and poster/position papers.

Read more less

Book SynopsisImage processing, computer vision and pattern recognition.- image processing, computer vision and pattern recognition - detection methods.- information and knowledge engineering.

Read more less

Book SynopsisDeep convolutional neural networks, ANNs, and applications.- machine learning and novel applications.- large language models and applications; data science, recognition and authentication methods and applications.- artificial intelligence and applications.- XXIV Technical Session on Applications of Advanced AI Techniques to information management for solving company-related problems.

Read more less

Book SynopsisIntrusion and attack detection: malware, malicious URL, phishing.- security assessment and management + blockchain + use of artificial intelligence.- cybersecurity and communications systems + cryptography and privacy.- security and management + new methodologies and applications.- wireless networks and mobile computing.

Read more less

Book Synopsissoftware engineering research and practice.- e-learning, e-business, enterprise information systems and e-government.

Read more less

Book Synopsis.- Preserving privacy and maintaining trust for end users in a complex and numeric cyberspace..- Another Walk for Monchi..- An Innovative DSSE Framework: Ensuring Data Privacy and Query Verification in Untrusted Cloud Environments..- Privacy-Preserving Machine Learning Inference for Intrusion Detection..- Priv-IoT: Privacy-preserving Machine Learning in IoT Utilizing TEE and Lightweight Ciphers..- Intersecting security, privacy, and machine learning techniques to detect, mitigate, and prevent threats..- LocalIntel: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge..- Intelligent Green Efficiency for Intrusion Detection..- A Privacy-Preserving Behavioral Authentication System..- Automated Exploration of Optimal Neural Network Structures for Deepfake Detection..- An Empirical Study of Black-box based Membership Inference Attacks on a Real-World Dataset..- New trends of machine leaning and AI applied to cybersecurity..- ModelForge: Using GenAI to Improve the Development of Security Protocols..- Detecting Energy Attacks in the Battery-less Internet of Things ..- Is Expert-Labeled Data Worth the Cost? Exploring Active and Semi-Supervised Learning Across Imbalance Scenarios in Financial Crime Detection..- ExploitabilityBirthMark: An Early Predictor of the Likelihood of Exploitation.

Read more less

Book Synopsis.- Critical issues of protecting systems against digital threats, considering financial, technological, and operational implications..- The Perfect Victim? Family Offices as Targets for Cybercriminals..- Advanced Real-Time Detection of Cyber Threat Information from Tweets..- Mitigating spillover effects of ransomware in financial markets: Lessons from the LockBit attacks..- Exploring Smart Speaker Disclosure and Adoption Intentions: A Privacy Adoption Calculus Perspective..- ICoSSiuM: an Integrated Communication Security Simulator for Maritime operations..- Automating and enhancing security mechanisms in software systems and data management..- Lowering the Barrier: An Automatic Attack Flow Generation Framework for Non-Security Experts..- An Approach to Determine a System’s Behavioural Security Posture..- Secure Data Traceability for Mobile DataCollectors..- Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy..- Cybersecurity and AI when applied to emerging technologies..- Light-SABRE: A lightweight encrypted data distribution system for Internet of Things..- Evaluating Large Language Models on Cybersecurity Knowledge and Skills: A Comparative Analysis..- Drone Anomaly Detection: Dataset and Unsupervised Machine Learning..- A Tool for Enabling Scalable Automation in Security Control Selection..- Cybersecurity and Ethics..- A Systematic Evaluation of Non-SDK Interface Restrictions in Android: Bridging the Gap Between Guidelines and Practice..- An Approach for Handling Missing Attribute Values in Attribute-Based Access Control Policy Mining..- Does Gender Matter? Examining and Mitigating Gender Bias in Fake News Detection..- ProFineLlama: A Prompt and Fine-Tuned Transfer Learning Approach for Multi-Domain Fake News Detection..- Parametric Automata for Dynamic Access Control Policies..- Cybersecurity and privacy in connected and autonomous systems for IoT, smart environments, and critical infrastructure..- Fingerprinting Connected Wi-Fi Devices Using Per-network MAC Addresses..- Privacy Guard: Empowering Users with Privacy Labels and Intuitive Apps..- Privacy Guard: Empowering Users with Privacy Labels and Intuitive Apps Substation Automation Security..- Enhancing Autonomy of Context-Aware Self-Healing in Fog Native Environments..- Detecting Cyber Attacks on Electric Vehicles Charging Stations..- New trends in advanced cryptographic protocols..- Secure Voting Protocol Using Balance Scale..- Monitoring the execution of cryptographic functions..- RouterORAM: An O(1)-latency and client-work ORAM.

Read more less

Book Synopsis.- Invited keynote talks..- Standardisation of and Migration to Post-Quantum Cryptography..- Contributed papers..- The Vision of Multi-Party Computation Technical Standards..- Vision Paper: Do we need Standardization of Blockchain Consensus?..-Security and Privacy Evaluation of IP Cameras on Shodan..-Limitations of Wrapping Protocols and TLS Channel Bindings: Formal-Methods Analysis of the Session Binding Proxy Protocol..-SoK: Post-Quantum Key Encapsulation Mechanisms - Security Definitions, Constructions and Applications..-Scloud+: An Efficient LWE-based KEM Without Ring/Module Structure..-Transitioning to Quantum Secure Encryption Schemes.

Read more less

Book Synopsis1. Introduction.- 2. Background.- 3. The VOCODES Framework for Attacking VCDS.- 4. The Alexa versus Alexa Attack.- 5. An Assessment of AVA in the Real World.- 6. A Taxonomy of Measures Against Voice-Spoofing Attacks.- 7. An Intelligent Measure Against Self-Activation.- 8. Conclusion.

Read more less