Kryptologin – alle Bücher, Seite 3

Guide to Software Verification with Frama-C

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquit…

lieferbar innerhalb 2-3 Wochen

Buch

Financial Cryptography and Data Security

The two-volume set LNCS 15751 + 15752 constitutes revised selected papers from the 29th International Conference on Financial Cryptography and Data Security, FC 2025, which took place in Miyakojima, Japan…

lieferbar innerhalb 2-3 Wochen

Buch

Computer Security - ESORICS 2025

.- Transparency and Consent Challenges in mHealth Apps: An Interdisciplinary Study of Privacy Policies, Data Sharing, and Dark Patterns. .- Don't Hash Me Like That: Exposing and Mitigating Hash-Induced Un…

lieferbar innerhalb 2-3 Wochen

Buch

Financial Cryptography and Data Security

The two-volume set LNCS 15751 + 15752 constitutes revised selected papers from the 29th International Conference on Financial Cryptography and Data Security, FC 2025, which took place in Miyakojima, Japan…

lieferbar innerhalb 2-3 Wochen

Buch

Information and Cyber Security

This book constitutes the refereed post-conference proceedings of the 23rd International Conference on Information Security, ISSA 2024, held in Gqeberha, South Africa, during December 2-3, 2024.The 21 ful…

lieferbar innerhalb 2-3 Wochen

Buch

Applied Cryptography and Network Security Workshops

This three-volume set LNCS constitutes the proceedings of several Satellite Workshops held in parallel with the 23rd International Conference on Applied Cryptography and Network Security, ACNS 2025, held …

lieferbar innerhalb 2-3 Wochen

Buch

Applied Cryptography and Network Security Workshops

This three-volume set LNCS constitutes the proceedings of several Satellite Workshops held in parallel with the 23rd International Conference on Applied Cryptography and Network Security, ACNS 2025, held …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Security - ESORICS 2025

.- Time-Distributed Backdoor Attacks on Federated Spiking Learning. .- TATA: Benchmark NIDS Test Sets Assessment and Targeted Augmentation. .- Abuse-Resistant Evaluation of AI-as-a-Service via Function-Hi…

lieferbar innerhalb 2-3 Wochen

Buch

Information and Communications Security

.- Blockchain and Cryptocurrencies..- EquinoxBFT: BFT Consensus for Blockchain Emergency Governance..- fFuzz: A State-aware Function-level Fuzzing Framework for Smart Contract Vulnerabilities Detection..-…

lieferbar innerhalb 2-3 Wochen

Buch

Security and Cryptography

.- Securing Automatic Identification System Based on Certificateless Cryptography. .- OSAGE: A Framework for Obfuscated Sample Generation and Evaluation. .- Empowering Patients for Disease Diagnosis and C…

lieferbar innerhalb 2-3 Wochen

Buch

Cyber Security, Cryptology, and Machine Learning

This volume constitutes the proceedings of 9th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2025, in Be'er Sheva, Israel, during December 4--5, 2025.The 17 regular pa…

lieferbar innerhalb 2-3 Wochen

Buch

Geographical Information Systems

This book constitutes the refereed proceedings of the 6th Latin American Conference on Geographical, Information Systems, GIS-LATAM 2025, held in Mexico City, Mexico, during September 8--12, 2025.The 12 f…

lieferbar innerhalb 2-3 Wochen

Buch

Electronic Voting

This open access book constitutes the proceedings of the 10th International Joint Conference on Electronic Voting, E-Vote-ID 2024, held in Nancy, France, during October 1-3, 2025.The 13 full papers includ…

lieferbar innerhalb 2-3 Wochen

Buch

Reynaldo Gil-Pons, Ross Horne, Sjouke Mauw, Felix Stutz
Security Protocols and Threat Models

Protocols connect the many devices used in our personal and professional lives. Hence we require assurances that they are secure in the face of threats.Security is too important to leave to intuition and …

lieferbar innerhalb 2-3 Wochen

Buch

Cyberspace Safety and Security

.- Dynamic spectrum sharing scheme for anti-malicious user's queries based on blockchain..- Internet of Vehicle Privacy Protection Solution Based on Blockchain and Zero Knowledge Proof..- A New Asymmetric…

lieferbar innerhalb 2-3 Wochen

Buch

Network Games, Artificial Intelligence, Control and Optimization

This book LNCS 16173 constitutes the proceedings of the 12th International Conference on Network Games, Artificial Intelligence, Control and Optimization, NETGCOOP 2025, held in Bilbao, Spain, during Octo…

lieferbar innerhalb 2-3 Wochen

Buch

Job Scheduling Strategies for Parallel Processing

.- How to make the ultimate goal of energy-efficient data centers a reality. .- Power-Aware Scheduling for Multi-Center HPC Electricity Cost Optimization. .- Job Grouping Based Intelligent Resource Predic…

lieferbar innerhalb 2-3 Wochen

Buch

Industrial Networks and Intelligent Systems

.- Industrial Networks and Intelligent Systems..- Energy-efficient Task Offloading for Artificial Intelligence Generated Content-Empowered Edge Intelligence..- Automated Arrhythmia Detection Using Hybrid …

sofort lieferbar

Buch

World Conference of AI-Powered Innovation and TRIZ Methodology

This book constitutes the proceedings of the 25th IFIP WG 5.4 International TRIZ Future Conference on AI-Powered Innovation and Inventive Design, TFC 2025, held in Paris, France, during November 5--7, 202…

lieferbar innerhalb 2-3 Wochen

Buch

Dependable and Secure Computing

Communications in Computer and Information Science - Band 2697

This book constitutes the refereed proceedings of the 14th Latin-American Symposium on Dependable and Secure Computing, LADC 2025, which took place in Valparaiso, Chile, during October 27-31, 2025.The 17 …

lieferbar ab 21.3.2026.

Buch