Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs / by Heinrich Riebler. Paderborn, 2019
Inhalt
- Acknowledgements
- Abstract
- Zusammenfassung
- Table of Contents
- Introduction
- Foundations: Reconfigurable Computing
- Field-Programmable Accelerators
- Design Flow of Hardware Acceleration
- MaxCompiler Programming Model
- Chapter Conclusion
- Excursion to Cryptography and Information Security
- Introduction to Side-Channel Attacks
- Modeling Bit Errors
- Advanced Encryption Standard
- Chapter Conclusion
- Intermediate Findings: Identification of Secret Key Material
- Branch-and-Bound with Reconfigurable Hardware
- Basics and Common Terminology
- Branch-and-Bound: General Idea
- Case Study: Secret Key Reconstruction
- Branch-and-Bound in Hardware
- Software Translation: Concrete Finite State Machine
- Selecting Branches
- Computing Inferred Knowledge: Implication Chains
- Checkpointing Tree Traversal
- Maintaining the Bound: Applying Error Model
- Evaluation
- Target Platforms
- Error Metrics
- Evaluation Scenario
- Software Implementation
- Performance Comparison of Software to Hardware
- Chapter Conclusion
- Work Stealing with Reconfigurable Hardware
- Motivation and General Description
- Extensions of the General State Machine
- Evaluation
- Chapter Conclusion
- Instance-Specific Computing with Reconfigurable Hardware
- Motivation and General Description
- Instance-Specific Branch-and-Bound Search Trees
- Instance-Specific Branching Order
- Generating Valid and Optimal Search Tree Structures
- Selecting Instance-Specific Search Tree Structures
- Generation of Instance-Specific Hardware Designs
- Evaluation
- Chapter Conclusion
- Related Work
- Side-Channel and Cold-Boot Attacks
- Acquisition of Sensitive Data
- Search and Extraction of Secret Key Material
- Reconstruction of Secret Keys
- Branch-and-Bound in Soft- and Hardware
- Chapter Conclusion
- Conclusion
- List of Tables
- List of Listings
- List of Figures
- Acronyms
- Supplemental Material
- Author's Publications
- Bibliography
