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
operating systems
biblio
TrustCA: Achieving Certificate Transparency Through Smart Contract in Blockchain Platforms
Submitted by aekwall on Thu, 12/01/2022 - 4:31pm
Metrics
scalbility
PKI Trust Models
certificate transparency
certificate authority
pubcrawl
blockchains
Human behavior
Resiliency
Software
Systems architecture
Public key
operating systems
Scalability
smart contract
smart contracts
computer architecture
blockchain
biblio
About the System of Profiling User Actions Based on the Behavior Model
Submitted by grigby1 on Thu, 10/20/2022 - 3:16pm
Windows Operating System Security
UBA
profiling
internal attacker
behavior analysis
Resiliency
Workstations
File systems
service-oriented architecture
pubcrawl
operating systems
control systems
composability
Prototypes
Access Control
resilience
Metrics
biblio
Windows Communication Foundation Penetration Testing Methodology
Submitted by grigby1 on Thu, 10/20/2022 - 3:15pm
operating systems
Windows Communication Foundation
service contracts
communication bindings
C\# programming
.NET Framework
Resiliency
Windows Operating System Security
Penetration Testing
security
Windows
Buildings
composability
information security
Planning
resilience
Metrics
pubcrawl
biblio
Design and Implementation of a Security Analysis Tool that Detects and Eliminates Code Caves in Windows Applications
Submitted by grigby1 on Thu, 10/20/2022 - 3:15pm
pubcrawl
Metrics
resilience
Software
Industries
composability
Linux
operating systems
Windows Operating System Security
reverse engineering
Focusing
Resiliency
codes
Code Caves
Process Injection
Shellcodes
biblio
Development of a Set of Procedures for Providing Remote Access to a Corporate Computer Network by means of the SSH Protocol (Using the Example of the CISCO IOS Operating System)
Submitted by grigby1 on Fri, 09/30/2022 - 3:55pm
operating systems
corporate computer network remote control
Cisco
ios
iOS Security
Resiliency
SSH
emulation
Mobile communication
computer networks
security
Resistance
Compositionality
Protocols
Software
resilience
Metrics
Human Factors
pubcrawl
biblio
undeSErVed trust: Exploiting Permutation-Agnostic Remote Attestation
Submitted by grigby1 on Fri, 09/09/2022 - 2:53pm
Protocols
virtualization privacy
Virtualization and the cloud
Throughput
Software
Runtime
Resiliency
resilience
pubcrawl
i-o systems security
privacy
operating systems
Metrics
Human behavior
Cryptographic systems (practical attacks on deployed systems)
composability
Cloud Computing
biblio
Security Verification Method of Embedded Operating System Semaphore Mechanism based on Coq
Submitted by aekwall on Fri, 08/26/2022 - 12:23pm
Redundancy
Software Testing
semaphore
formal verification
embedded operating system
software security
usability
component
Safety
security
composability
Resiliency
Metrics
pubcrawl
operating systems
Software
embedded systems
biblio
Dynamic Shared Memory Pool Management Method in Soft Real-Time Systems
Submitted by aekwall on Fri, 08/26/2022 - 12:09pm
composability
dynamic memory
Dynamic scheduling
Dynamical Systems
half-fit
Memory management
operating systems
Predictive Metrics
pubcrawl
Real Time
real-time systems
Resiliency
resource management
RTOS
standards
vehicle dynamics
biblio
PEDaLS: Persisting Versioned Data Structures
Submitted by grigby1 on Fri, 08/26/2022 - 10:49am
data structures
portability
partially persistent data structures
distributed programming systems
append-only storage
Computing Theory
operating systems
Compositionality
Complexity theory
Internet of Things
programming
composability
Prototypes
Resiliency
resilience
pubcrawl
IoT
Cloud Computing
biblio
ASAF: Android Static Analysis Framework
Submitted by aekwall on Fri, 08/12/2022 - 4:10pm
static analysis
composabiity
datasets
ASParse
APK
parsing
pubcrawl
malicious
android
security
malware
Human behavior
Resiliency
feature extraction
Analytical models
operating systems
tools
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
