The following pages link to BitBlaze (Q22028):
Displaying 6 items.
- On detecting environment sensitivity using slicing (Q344794) (← links)
- DynOpVm: VM-based software obfuscation with dynamic opcode mapping (Q2291384) (← links)
- Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)
- Alternating Control Flow Reconstruction (Q2891419) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Bidirectional grammars for machine-code decoding and encoding (Q5915877) (← links)