Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Towards a Formally Verified Implementation of the MimbleWimble Cryptocurrency Protocol
3. Altmetric Badge
   Chapter 2 Secure Management of IoT Devices Based on Blockchain Non-fungible Tokens and Physical Unclonable Functions
4. Altmetric Badge
   Chapter 3 Bitcoin Blockchain Steganographic Analysis
5. Altmetric Badge
   Chapter 4 Dynamic Group Key Agreement for Resource-constrained Devices Using Blockchains
6. Altmetric Badge
   Chapter 5 Tokenization of Real Estate Using Blockchain Technology
7. Altmetric Badge
   Chapter 6 Practical Side-Channel Based Model Extraction Attack on Tree-Based Machine Learning Algorithm
8. Altmetric Badge
   Chapter 7 Controlling the Deep Learning-Based Side-Channel Analysis: A Way to Leverage from Heuristics
9. Altmetric Badge
   Chapter 8 A Comparison of Weight Initializers in Deep Learning-Based Side-Channel Analysis
10. Altmetric Badge
    Chapter 9 Leakage Assessment Through Neural Estimation of the Mutual Information
11. Altmetric Badge
    Chapter 10 Evolvable Hardware Architectures on FPGA for Side-Channel Security
12. Altmetric Badge
    Chapter 11 Simple Electromagnetic Analysis Against Activation Functions of Deep Neural Networks
13. Altmetric Badge
    Chapter 12 Performance Analysis of Multilayer Perceptron in Profiling Side-Channel Analysis
14. Altmetric Badge
    Chapter 13 The Forgotten Hyperparameter:
15. Altmetric Badge
    Chapter 14 ARM-AFL: Coverage-Guided Fuzzing Framework for ARM-Based IoT Devices
16. Altmetric Badge
    Chapter 15 Post-exploitation and Persistence Techniques Against Programmable Logic Controller
17. Altmetric Badge
    Chapter 16 Investigation of Cyber Attacks on a Water Distribution System
18. Altmetric Badge
    Chapter 17 Computing Neural Networks with Homomorphic Encryption and Verifiable Computing
19. Altmetric Badge
    Chapter 18 Attribute-Based Symmetric Searchable Encryption
20. Altmetric Badge
    Chapter 19 Towards Inclusive Privacy Protections in the Cloud
21. Altmetric Badge
    Chapter 20 A Study on Microarchitectural Covert Channel Vulnerabilities in Infrastructure-as-a-Service
22. Altmetric Badge
    Chapter 21 On New Zero-Knowledge Proofs for Fully Anonymous Lattice-Based Group Signature Scheme with Verifier-Local Revocation
23. Altmetric Badge
    Chapter 22 Proofs of Ownership on Encrypted Cloud Data via Intel SGX
24. Altmetric Badge
    Chapter 23 On the Verification of Signed Messages
25. Altmetric Badge
    Chapter 24 Applications and Developments of the Lattice Attack in Side Channel Attacks
26. Altmetric Badge
    Chapter 25 Exploring the Security of Certificate Transparency in the Wild
27. Altmetric Badge
    Chapter 26 DaVinci : Android App Analysis Beyond Frida via Dynamic System Call Instrumentation
28. Altmetric Badge
    Chapter 27 MobHide: App-Level Runtime Data Anonymization on Mobile
29. Altmetric Badge
    Chapter 28 Evaluation of the Adoption and Privacy Risks of Google Prompts
30. Altmetric Badge
    Chapter 29 On the Evolution of Security Issues in Android App Versions
31. Altmetric Badge
    Chapter 30 Unsupervised Labelling of Stolen Handwritten Digit Embeddings with Density Matching
32. Altmetric Badge
    Chapter 31 Minority Reports Defense: Defending Against Adversarial Patches