Research infrastructure
Shared facilities, datasets and testbeds proposed for AI verification research.
AI Security Forum's project sketches include two proposals for shared research infrastructure.
- The hardware verification lab proposal describes a shared facility for chip reverse engineering, firmware audits and verification-protocol testing 1.
- The research testbed proposal calls for a labeled dataset of side-channel signals from AI workloads, with guides for setting up research servers 2.
Sources
- Tier C. AI Security Forum (2025). RFD 015: Hardware Verification Lab. AI Security RFDs. Source record
- Tier C. AI Security Forum (2025). RFD 030: Verification Research Testbed & Dataset. AI Security RFDs. Source record