Tunable FPGA Bitstream Obfuscation with Boolean Satisfiability Attack Countermeasure.
Brooks OlneyRobert KaramPublished in: ACM Trans. Design Autom. Electr. Syst. (2020)
Keyphrases
- bitstream
- boolean satisfiability
- countermeasures
- video decoder
- coding scheme
- bit rate
- sat solvers
- branch and bound algorithm
- symmetry breaking
- probabilistic planning
- video quality
- sat problem
- randomly generated
- integer linear programming
- scalable video coding
- information security
- phase transition
- hardware implementation
- max sat
- low cost
- rate distortion
- field programmable gate array
- boolean formula
- base layer
- wavelet coefficients
- combinatorial problems
- lower bound
- video coding
- image quality
- search tree
- branch and bound
- np complete
- image compression
- high quality