Refine
Document Type
- Conference Proceeding (7)
- Article (2)
- Lecture (1)
Language
- English (10) (remove)
Keywords
- Embedded Systems (5)
- Binary Hardening (2)
- Binary rewriting (2)
- Safety (2)
- Teaching (2)
- Assertion Synthesis (1)
- Assertion-based Verification (1)
- Dynamic Rewriting (1)
- Embedded Firmware (1)
- FPGA (1)