Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up

Planned intervention: On Tuesday, November 17th between 08:00-08:15 (UTC), Zenodo will be unavailable for 10 minutes because of a scheduled upgrade of our server infrastructure.

Published November 2, 2026 | Version v1
Software Open

INVAR: Reproducibility Package for "Grounded Intent Verification for Hardware Attack-Surface Detection

Authors/Creators

  • sood, Surinder1, 2 ORCID icon
  • Goodacre, John3 ORCID icon
  • Carvalho, Lucas3 ORCID icon
  • 1. ARM
  • 2. ROR icon Intel (United States)
  • 3. ROR icon University of Manchester

Files

vlsid-seccom-reproducibility.zip

Files (3.6 MB)

Name Size
vlsid-seccom-reproducibility.zip
md5:6e6b848d4ad96b85487aa32a5ee632d6
3.6 MB Preview Download
10
Views
3
Downloads
Show more details
All versions This version
Views

Total views

10 10
Downloads

Total downloads

3 3
Data volume

Total data volume

10.8 MB 10.8 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.23898977
DOI Badge

DOI 

10.5281/zenodo.23898977

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.23898977.svg)](https://doi.org/10.5281/zenodo.23898977)

reStructuredText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.23898977.svg
  :target: https://doi.org/10.5281/zenodo.23898977

HTML 

<a href="https://doi.org/10.5281/zenodo.23898977"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.23898977.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.23898977.svg

Target URL 

https://doi.org/10.5281/zenodo.23898977
Resource type
Software
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
November 2, 2026
Modified
November 2, 2026

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies