Refine
Year of publication
- 2019 (3) (remove)
Document Type
- Article (2)
- Conference Proceeding (1)
Keywords
- Binary Hardening (2)
- Binary rewriting (2)
- Assertion Synthesis (1)
- Assertion-based Verification (1)
- Dynamic Rewriting (1)
- Embedded Firmware (1)
- Embedded Systems (1)
- FPGA (1)
- Fault Detection (1)
- PSL (1)
- Reassembly (1)
- Static Rewriting (1)