Provable and Practical Security by Joseph K Liu
This book constitutes the proceedings of the 18th International Conference on Provable and Practical Security, ProvSec 2024, which took place in Gold Coast, QLD, Australia, during September 25-27, 2024.
The 26 full papers and 8 short papers presented were thoroughly reviewed and selected from the 79 submissions. The papers are organized in the following topical sections:
Part I: Multi-Party Computation; Searchable Encryption; Encryption and Signature.
Part II : Tight Security; Quantum-Safe Cryptography; Distributed System and Blockchain Security; and Key Exchange and Privacy
-
To the Ends of the Earth
-
Computational Logic in Multi-Agent Systems
-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Computational and Corpus-Based Phraseology
-
Replication
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Genetic Programming
-
Transactional Agents
-
Computer Safety, Reliability, and Security
-
Performance Evaluation of Complex Systems: Techniques and Tools
-
Evolutionary Computation in Combinatorial Optimization
-
Automated Technology for Verification and Analysis
-
Hybrid Learning and Education
-
Extended Reality
-
Static Analysis
-
Informatics in Schools. Challenges and Opportunities in Informatics Education in the Era of AI
-
Cognitive Computing - ICCC 2026
-
Computer Information Systems and Industrial Management
-
Pattern Recognition. ICPR 2026 International Workshops
-
Computational Logistics
- Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
-
Software and Systems Reuse, Product Lines, and Configuration
-
OpenMP: Adaptability for Heterogeneous Multi‑Device Systems
-
Logic Programming and Nonmonotonic Reasoning
-
Advances in Databases and Information Systems
| SKU | Unavailable |
| ISBN 13 | 9789819609536 |
| ISBN 10 | 9819609534 |
| Title | Provable and Practical Security |
| Author | Joseph K Liu |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Nature Switzerland AG |
| Year published | 2025-02-01 |
| Number of pages | 310 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |