Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

model checking

biblio

Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution

Submitted by aekwall on Fri, 04/28/2023 - 9:44am

biblio

Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems

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

biblio

Static Analysis of Infrastructure as Code: a Survey

Submitted by aekwall on Thu, 02/02/2023 - 5:36pm

biblio

Vulnerability Detection for Smart Grid Devices via Static Analysis

Submitted by aekwall on Fri, 08/12/2022 - 4:03pm

biblio

Measuring Trust and Automatic Verification in Multi-Agent Systems

Submitted by grigby1 on Fri, 08/12/2022 - 2:25pm

biblio

A Cyber Physical System based Stochastic Process Language With NuSMV Model Checker

Submitted by grigby1 on Tue, 07/12/2022 - 3:37pm

biblio

Securing the metrological chain in IoT environments: an architectural framework

Submitted by grigby1 on Tue, 05/24/2022 - 1:50pm

biblio

IoT Security and Safety Testing Toolkits for Water Distribution Systems

Submitted by grigby1 on Tue, 03/22/2022 - 1:46pm

biblio

Software Safety Verification Framework based on Predicate Abstraction

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

biblio

Formal Verification of 5G EAP-AKA Protocol

Submitted by grigby1 on Thu, 02/24/2022 - 12:31pm

Terms of Use | ©2023. CPS-VO