Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

scalable verification

biblio

Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems

Submitted by aekwall on Thu, 02/02/2023 - 4:43pm

biblio

A Framework for Human Error, Weaknesses, Threats & Mitigation Measures in an Airgapped Network

Submitted by grigby1 on Fri, 01/06/2023 - 3:05pm

biblio

Towards Scalable Verification of Deep Reinforcement Learning

Submitted by grigby1 on Tue, 03/15/2022 - 11:14am

biblio

Secure Accountable Dynamic Storage Integrity Verification

Submitted by grigby1 on Tue, 03/15/2022 - 11:14am

biblio

The Scalable Group Testing of Invalid Signatures based on Latin Square in Wireless Sensors Networks

Submitted by grigby1 on Tue, 03/15/2022 - 11:13am

biblio

Lightweight and Scalable DAG based distributed ledger for verifying IoT data integrity

Submitted by grigby1 on Tue, 03/15/2022 - 11:13am

biblio

Scalable Call Graph Constructor for Maven

Submitted by grigby1 on Tue, 03/15/2022 - 11:13am

biblio

Flexible Framework for Stimuli Redundancy Reduction in Functional Verification Using Artificial Neural Networks

Submitted by grigby1 on Tue, 03/15/2022 - 11:12am

biblio

Test and Verification Environment and Methodology for Vernier Time-to-Digital Converter Pixel Array

Submitted by grigby1 on Tue, 03/15/2022 - 11:12am

biblio

Software Safety Verification Framework based on Predicate Abstraction

Submitted by grigby1 on Tue, 03/15/2022 - 11:12am

Terms of Use | ©2023. CPS-VO