BitBlaze

swMATH10059MaRDI QIDQ22028FDOQ22028

Author name not available (Why is that?)

Cited In (6)

• Bidirectional grammars for machine-code decoding and encoding
• Abstract interpretation of microcontroller code: intervals meet congruences
• Combining model checking and testing
• On detecting environment sensitivity using slicing
• DynOpVm: VM-based software obfuscation with dynamic opcode mapping
• Alternating control flow reconstruction

This page was built for software: BitBlaze