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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
protocol verification
biblio
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Submitted by
grigby1
on Tue, 11/12/2019 - 3:30pm
Analytical models
attack identification
automated unbounded verification
collaboration
composability
Compositionality
Computational modeling
Cryptographic Protocols
Cryptographic-Protocols
Cryptography
electronic payment protocols
equational theory
Exclusive-OR
exclusive-or operations
formal verification
Formal-Verification
Mathematical model
observational equivalence
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
radiofrequency identification
RFID protocols
Security Properties
stateful cryptographic protocols
symbolic model
Symbolic-Model
Tamarin
Tamarin prover
Theorem Proving
tools
user-defined equational theories
verification tool
XOR operations
XOR theory
biblio
Deductive Verification of Distributed Protocols in First-Order Logic
Submitted by
grigby1
on Tue, 11/12/2019 - 3:30pm
automated provers
automated theorem provers
cognition
collaboration
complex systems
composability
Compositionality
Computer languages
deductive verification approach
design automation
distributed protocols
distributed systems
first-order logic
formal logic
Formal Specification
formal verification
infinite-state systems
logical verification conditions
long standing research goal
policy-based governance
privacy
program verification
protocol verification
Protocols
pubcrawl
Safety
SMT solvers
Theorem Proving
tools
Tutorials
validity checking
verification problem
biblio
Architecture Analysis and Verification of I3C Protocol
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
Aerospace electronics
back end design
base class library
Clocks
collaboration
composability
Compositionality
Conferences
digital integrated circuits
formal verification
front end design
hardware description languages
I3C
I3C bus protocol
improved inter integrated circuit
integrated circuit design
integrated circuit testing
IP networks
MIPI
Monitoring
Pins
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
SoC
system Verilog
test environments
Universal Verification Methodology
UVM
verification components
verification environment
VLSI
biblio
Realization of System Verification Platform of IoT Smart Node Chip
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
automobiles
chip design cycle
collaboration
composability
Compositionality
design cost reduction
efficient verification platform
field programmable gate arrays
formal verification
FPGA
FPGA-based prototype verification
Internet of Things
IoT node
IoT smart node chip
large scale integrated circuits
policy-based governance
privacy
protocol verification
Protocols
Prototypes
pubcrawl
simulation verification
system verification
system verification platform
Systems Simulation
transmission protocol
Wireless fidelity
biblio
Formal Verification Technology for Asynchronous Communication Protocol
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
aerospace FPGA software products
assert
asynchronous communication
asynchronous communication protocol
blind spots
Clocks
collaboration
complete verification process
composability
Compositionality
field programmable gate arrays
formal verification
formal verification technology
policy-based governance
privacy
process control
Product design
product design quality
property
protocol verification
Protocols
PSL
pubcrawl
Software
traditional simulation method
UART communication
verification work efficiency
biblio
Design of Generic Verification Procedure for IIC Protocol in UVM
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
Aerospace electronics
APB(Advanced peripheral bus)
bugs
Clocks
code coverage
collaboration
composability
Compositionality
Conferences
DUT(Design under test)
field buses
functional coverage
generic verification procedure
hardware description languages
Hardware design languages
IIC bus protocol
IIC controller
IIC protocol
Libraries
Mentor graphic Questasim 10.4e
Monitoring
policy-based governance
privacy
product development
program verification
protocol verification
Protocols
pubcrawl
SCL(Serial clock line)
SDA(Serial data line)
standard method
Synchronization
Universal Verification Methodology
UVC(Universal verification component)
UVM
UVM(Univeral verification methodology)
Verilog
Vivado
biblio
Modeling and Verifying SDN with Multiple Controllers
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
collaboration
composability
Compositionality
CSP
hyperflow
modeling
policy-based governance
privacy
protocol verification
pubcrawl
SDN
verification
biblio
Formal Modeling and Verification of Blockchain System
Submitted by
grigby1
on Tue, 11/12/2019 - 3:29pm
Blockchain protocols
collaboration
composability
Compositionality
formal methods
formal verification
model-checking
policy-based governance
privacy
protocol verification
pubcrawl
biblio
A Formal Analysis of 5G Authentication
Submitted by
grigby1
on Tue, 11/12/2019 - 3:28pm
5G standard
AKA protocol
Authentication Protocols
collaboration
composability
Compositionality
formal analysis
policy-based governance
privacy
protocol verification
pubcrawl
symbolic verification
biblio
Mechanising Blockchain Consensus
Submitted by
grigby1
on Tue, 11/12/2019 - 3:28pm
blockchain
collaboration
composability
Compositionality
Consensus
Coq
policy-based governance
privacy
protocol verification
pubcrawl
1
2
3
4
next ›
last »
