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