swMATH10059MaRDI QIDQ22028FDOQ22028
Author name not available (Why is that?)
Official website: http://bitblaze.cs.berkeley.edu/index.html
Cited In (32)
- Bidirectional grammars for machine-code decoding and encoding
- Abstract interpretation of microcontroller code: intervals meet congruences
- Combining model checking and testing
- Goanna
- biXid
- BAP
- GDSL
- LIFT
- BotMiner
- BakerSFIeld
- Code Virtualizer
- BinSim
- Capstone
- DynOpVm
- Dytan
- memslap
- NISLVMP
- pyftpdlib
- ReWolf
- SEEAD
- Themida
- VOT4CS
- VMProtect
- VMGuard
- VMAttack
- VMHunt
- WPDS++
- XSugar
- AIspace
- 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
