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
assets
biblio
WhatsApp: Cyber Security Risk Management, Governance and Control
Submitted by aekwall on Fri, 01/13/2023 - 3:58pm
pubcrawl
whatsapp
Vulnerability
threat
social networking (online)
Security Risk Management
security
Scalability
risks
risk management
Resiliency
Access controls
Mobile Applications
Metrics
Internet telephony
Human Factors
Governance
Freeware
data science
controls
assets
file
Coblenz_Can_Advanced_Type_Systems_Be_Usable_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:29pm
typestate
smart contracts
permissions
ownership
linear types
empirical studies of programming languages
blockchain
assets
Obsidian Language for Blockchain
biblio
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:29pm
assets
blockchain
empirical studies of programming languages
linear types
ownership
permissions
smart contracts
typestate
CMU
Obsidian Language for Blockchain
2021: January
biblio
Security Issues Seclusion in Bitcoin System
Submitted by grigby1 on Tue, 03/09/2021 - 2:49pm
Human behavior
User profile
user identity
transaction verification
transaction processing
transaction management
trading
security issues
security
Scalability
pubcrawl
pseudonames
peer-to-peer payment network
Peer-to-peer computing
market
adversarial attacks
exchange trading commodity
exchange
digital currency
data privacy
cryptocurrency
cryptocurrencies
crypto-currency
blockchain
Bitcoin system
Bitcoin privacy
bitcoin
assets
Anonymity and Privacy
biblio
Digital Forensics: Maintaining Chain of Custody Using Blockchain
Submitted by grigby1 on Wed, 06/03/2020 - 12:02pm
Human behavior
security
Scalability
Resiliency
resilience
Reliability
pubcrawl
participants
Metrics
legislation
Law
information forensics
hyperledger composer
Human Factors
assets
encryption
distributed ledger
Distributed databases
Digital Forensics
digital evidence
Cybercrime
Cryptography
Conferences
Computer crime
chain of custody maintenance
chain of custody
blockchain
Base64
biblio
A Tiered Security Analysis of Industrial Control System Devices
Submitted by grigby1 on Wed, 05/09/2018 - 2:49pm
Programmable Logic Controllers (PLCs)
vulnerabilities
tiered security analysis
threats
supervisory control and data acquisition (SCADA) systems
Software
security of data
security countermeasures
security
SCADA systems
Resiliency
resilience
pubcrawl
assets
production engineering computing
numerical control
Industrial Control Systems (ICSs)
Industrial Control system devices
industrial control
Industrial Communication
Human behavior
Hardware
Distributed Control Systems (DCSs)
computer security
computer architecture
Compositionality
