Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
verification
biblio
Incremental Abstraction for Diagnosability Verification of Modular Systems
Submitted by aekwall on Mon, 03/16/2020 - 10:39am
fault diagnosis
uncertain loops
simple detector automata
scalable production system
polynomial complexity
parallel lines
nonblocking
Modular systems
modular system
incremental abstraction
forbidden loops
Discrete-Event Systems
diagnosability verification
diagnosability
abstraction
scalable verification
Detectors
verification
formal verification
Compositionality
Predictive Metrics
Production systems
Scalability
automata
Complexity theory
computational complexity
control systems
feedback
Synchronization
pubcrawl
Resiliency
biblio
Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes
Submitted by aekwall on Mon, 03/16/2020 - 10:39am
SystemC VP
Computer simulation
design verification
Electronic System Level
semiconductor industry
simulation behavior
Simulation-based Verification
SystemC
SystemC language
scalable verification
SystemC-based virtual prototypes
systems analysis
TLM
TLM-2.0 rules
Transaction Level Modeling framework
Virtual Prototype
virtual prototyping
Scalability
Protocols
Resiliency
pubcrawl
Computational modeling
standards
Formal Specification
verification
timing
Hardware
Predictive Metrics
Prototypes
Compositionality
formal verification
Clang
hardware description languages
Object oriented modeling
biblio
Experimental Verification of Security Measures in Industrial Environments
Submitted by aekwall on Mon, 03/02/2020 - 12:29pm
Human Factors
Ubiquitous Computing Security
vICS verification framework
industrial environments
industrial control security
industrial assets
ICS technology
formal verification
security measures
control engineering computing
ICs
industrial control
security of data
verification
Firewalls (computing)
integrated circuits
Anomaly Detection
production engineering computing
Metrics
pubcrawl
Resiliency
Software
Hardware
Scalability
file
Towards Secure, Privacy-Preserving, Verifiable Cyber physical Systems
Submitted by Kelly Shaw on Fri, 01/10/2020 - 4:45pm. Contributors:
Kelly Shaw
Esin Tureci
verification
Posters
173971
1739674
CPS PI Meeting 2019
2019
NSF
U.S. Government
Poster
biblio
Formally Verified Cryptographic Web Applications in WebAssembly
Submitted by aekwall on Mon, 12/02/2019 - 12:08pm
verification
Protocols
pubcrawl
public domain software
Resiliency
Scalability
security-critical software
Servers
Signal
sophisticated custom cryptographic components
standard protocols
standards
toolchain
program verification
verification techniques
verification-oriented programming languages
verified cryptographic Web applications
verified HACL cryptographic library
verified implementation
verified-software
web-security
Webassembly
WebAssembly compilers
WebAssembly version
whatsapp
formal verification
Browsers
CoMP
compilation pipeline
compiler
compiler security
Compositionality
cryptographic code
Cryptographic Protocols
cryptographic-library
cryptographic-protocol-verification
Cryptography
authoring languages
high-assurance cryptographic libraries
high-profile attacks
instruction set
Java
JavaScript runtimes
Libraries
low-level subset
Metrics
modern Web applications
program compilers
program diagnostics
biblio
Modeling and Verifying SDN with Multiple Controllers
Submitted by grigby1 on Tue, 11/12/2019 - 4:29pm
collaboration
composability
Compositionality
CSP
hyperflow
modeling
policy-based governance
privacy
protocol verification
pubcrawl
SDN
verification
biblio
Securify: Practical Security Analysis of Smart Contracts
Submitted by grigby1 on Fri, 06/28/2019 - 10:36am
Compositionality
Metrics
pubcrawl
resilience
Resiliency
Scalability
scalable verification
Security analysis
smart contracts
stratified datalog
verification
biblio
P4V: Practical Verification for Programmable Data Planes
Submitted by grigby1 on Fri, 06/28/2019 - 10:35am
Compositionality
Metrics
P4
programmable data planes
pubcrawl
resilience
Resiliency
Scalability
scalable verification
verification
forum
Call for Papers: The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)
Submitted by willirn1 on Mon, 06/17/2019 - 12:23pm
CALL FOR PAPERS
The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)
San Diego, USA | October 9-11, 2019 |
https://memocode.github.io/2019/
OVERVIEW
Calls for Papers
Architectures
Hybrid Models
Concurrency and Timing
Modeling
Resilient Systems
Validation and Verification
formal methods
modeling
critical systems
validation
verification
Announcement
biblio
Log-based Anomalies Detection of MANETs Routing with Reasoning and Verification
Submitted by aekwall on Mon, 06/10/2019 - 10:15am
routing procedure
multiple malicious nodes
passive attacks
privacy
pubcrawl
reasoning rules
Resiliency
Routing
routing phases
mobile computing
routing security
security
Syslog
telecommunication network routing
telecommunication security
verification
verification phase
active attacks
mobile ad hoc networks
Metrics
Merkle hash tree
MANETs routing
MANETs
MANET Attack Detection
log-based anomalies detection
flow graphs
flow graph
Diagnostics
composability
cognition
central control program
Anomaly Detection
Ad hoc networks
« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »
