ARMv8
ISAARMv8 is referenced in the provided sources as a verification target and as the target of security and virtual-memory research, including work with MicroTESK, ARMv8 shellcode generation, and Armv8-A relaxed virtual-memory semantics.
First seen 6/27/2026
Last seen 6/27/2026
Evidence 1 chunks
Wiki v1
WIKI
ARMv8
ARMv8 is referenced in the supplied evidence as a target for microprocessor verification and security research.
Verification
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsThe tool has been applied to verify ARMv8 microprocessors, indicating it targets the ARMv8 ISA.
LINKED ENTITIES
1 linksCITATIONS
3 sources3 citations — click to collapse
[1] MicroTESK is a framework for generating test programs in assembly language for functional verification of microprocessors, and it has been successfully applied in industrial projects for verification of ARMv8 and MIPS64 microprocessors. MicroTESK: a test program generator
[2] The paper 'ARMv8 Shellcodes from 'A' to 'Z'' describes a methodology to automatically turn arbitrary ARMv8 programs into alphanumeric executable polymorphic shellcodes that can evade detection and bypass filters. ARMv8 Shellcodes from 'A' to 'Z'
[3] The paper 'Relaxed virtual memory in Armv8-A (extended version)' explores relaxed virtual-memory semantics in the Armv8-A architecture for future system-software verification and develops tooling integrated with the full Armv8-A ISA semantics. Relaxed virtual memory in Armv8-A (extended version)