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
protocol verification
biblio
Formal Foundations for SCONE attestation and Intel SGX Data Center Attestation Primitives
Submitted by grigby1 on Thu, 04/14/2022 - 3:15pm
Metrics
protocol verification
pubcrawl
biblio
Formal Foundations for Intel SGX Data Center Attestation Primitives
Submitted by grigby1 on Thu, 04/14/2022 - 3:13pm
Metrics
protocol verification
pubcrawl
biblio
Demystifying Attestation in Intel Trust Domain Extensions via Formal Verification
Submitted by grigby1 on Thu, 04/14/2022 - 3:13pm
Metrics
protocol verification
pubcrawl
biblio
On the Soundness of Infrastructure Adversaries
Submitted by grigby1 on Thu, 02/24/2022 - 12:31pm
policy-based collaboration
tools
Security Risk Estimation
security economics
Safety
risk management
pubcrawl
Protocols
protocol verification
privacy
Internet-scale Computing Security
Planning
internet
DNSsec
DNS
Computational modeling
Compositionality
composability
collaboration
Analytical models
biblio
Formal Verification of 5G EAP-AKA Protocol
Submitted by grigby1 on Thu, 02/24/2022 - 12:31pm
composability
pubcrawl
ProVerif
protocol verification
Protocols
privacy
policy-based collaboration
model checking
formal verification
Compositionality
5G EAP-AKA
Communications technology
collaboration
codes
authentication protocol
authentication
applied Pi-Calculus
Analytical models
5g network
5G mobile communication
biblio
Formal Verification of Secure Forwarding Protocols
Submitted by grigby1 on Thu, 02/24/2022 - 12:31pm
Network-Security
Veins
Security-Protocols
pubcrawl
protocol verification
Protocols
privacy
policy-based collaboration
parametrized-verification
network topology
authentication
Isabelle/HOL
Formal-Verification
data-plane
computer architecture
Compositionality
composability
collaboration
autonomous systems
authorization
biblio
Implementation of Replay Attack in Controller Area Network Bus Using Universal Verification Methodology
Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm
Controller area network (CAN)
Verification testbench
Universal Verification Methodology (UVM)
Universal Verification Components (UVC)
replay attack
pubcrawl
Protocols
protocol verification
privacy
policy-based collaboration
integrated circuits
fault diagnosis
delays
controller area network security
control systems
Compositionality
composability
collaboration
Circuit faults
CAN Frames
Artificial Intelligence
Application Specific Integrated Circuits (ASIC)
Internet of Things
Resiliency
cyber-physical systems
biblio
A Secure Mobile Payment Protocol for Handling Accountability with Formal Verification
Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm
information security
Transaction Security
tools
security
Scyther tool
pubcrawl
Protocols
protocol verification
privacy
policy-based collaboration
Payment Protocol
Online banking
Mobile payment systems
Metrics
Industries
Cryptography
Compositionality
composability
collaboration
AVISPA tool
authorization
authentication
accountability
network accountability
Resiliency
biblio
Towards Formal Modeling and Analysis of UPI Protocols
Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm
Manuals
UPI
tools
standards
Servers
pubcrawl
protocol verification
privacy
policy-based collaboration
Adaptation models
formal methods
Financial Security
Cryptographic Protocols
Compositionality
composability
collaboration
Analytical models
biblio
Compression Optimization For Automatic Verification of Network Configuration
Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm
NP-C
signal processing
security
pubcrawl
protocol verification
Protocols
privacy
policy-based collaboration
Path Algebra
Paralysis
Automatic Reasoning
network compression
internet
Experimental Network Verification
computer network reliability
computer network
Computational modeling
Compositionality
composability
collaboration
1
2
3
4
5
6
7
next ›
last »
