Caspia Logo
LOGIN
BOOK A DEMO

Papers

Rethinking System-on-Chip Verification for Security Cross-Layer Interactions (2025)

TAGS
Security Verification
SoC
Research Paper

CODAx and SVx for Aerospace and Defense (2025)

TAGS
Whitepaper

CODAx Whitepaper (2025)

TAGS
Whitepaper

Verilog DB: The Largest, Highest-Quality Dataset with a Preprocessing Framework for LLM-based RTL Generation (2025)

TAGS
Security Verification
LLM
Research Paper

SoCureLLM: An LLM-Driven Approach for Large-Scale System-on-Chip Security Verification and Policy Generation (2025)

TAGS
Security Verification
LLM
Research Paper

SV-LLM: An Agentic Approach for SoC Security Verification Using Large Language Models (2025)

TAGS
Security Verification
LLM
Research Paper

Towards Efficient Gate-Level Electromagnetic Side-Channel Leakage Modeling and Vulnerability Assessment (2025)

TAGS
Security Verification
SoC
Research Paper

When Everyday Devices Become Weapons: A Closer Look at the Pager and Walkie-Talkie Attacks (2025)

TAGS
Security Verification
Research Paper

Re-Pen: Reinforcement Learning Enforced Penetration Testing for SoC Security (2024)

TAGS
Security Verification
SoC
Research Paper

A Survey on SoC Security Verification Methods at the Pre-Silicon Stage (2024)

TAGS
Security Verification
SoC
Research Paper

“Fuzzing for Automated SoC Security Verification: Challenges and Solution” (2024)

TAGS
SoC
Fuzzing
Research Paper

“LLM for SoC Security: A Paradigm Shift” (2023)

TAGS
SoC
LLM
Research Paper

“Automatic Asset Identification for Assertion-based SoC Security Verification” (2024)

TAGS
SoC
Research Paper

“Exploring the Abyss? Unveiling Systems-on-Chip Hardware Vulnerabilities beneath Software” (2024)

TAGS
SoC
Research Paper

“AGILE: Automated Assertion Generation to Detect Information Leakage” (2024)

TAGS
SoC
Research Paper
Book a Demo!

Contact us today to request a demo for one of our products!

Demo Request Form