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
isolation
biblio
A Review of Android and iOS Operating System Security
Submitted by grigby1 on Fri, 02/17/2023 - 5:11pm
ios
privacy threat
mobile device security
memory randomization
isolation
application sandboxing
policy governance
sandboxing
Memory
Mobile communication
encryption
android
operating systems
Mobile Applications
composability
pubcrawl
security
Organizations
collaboration
biblio
Undertow: An Intra-Kernel Isolation Mechanism for Hardware-Assisted Virtual Machines
Submitted by grigby1 on Fri, 04/17/2020 - 10:24am
isolation
bug-prone
commodity operating system
critical data
EPT violations
flexible cloud servers
guest kernel
guest virtual machine
Hardware virtualization
hardware-assisted isolation mechanism
hardware-assisted virtual machines
Intel processors
intra-kernel isolation mechanism
isolated environment
boot time
Kernel Protection
multiple restricted Extended Page Table
nested kernel
popular paths
pre-defined EPT
read-only protection
system calls
unpopular paths
untrusted code
untrusted outter kernel
virtualization exception
VMFUNC
virtualization privacy
composability
Cloud Computing
security
Trusted Computing
pubcrawl
Human behavior
Human Factors
resilience
Resiliency
data privacy
sensitive data
privacy
storage management
security threats
authorisation
invasive software
Linux
Switches
virtualisation
Virtual machining
Kernel
operating system kernels
Virtual machine monitors
virtual machines
Virtualization
Metrics
security policies
bare-metal machines
biblio
Seeing is Believing: A Client-Centric Specification of Database Isolation
Submitted by grigby1 on Thu, 08/23/2018 - 11:52am
distributed storage
weak consistency
transactions
serializability
resilience
pubcrawl
isolation
eventual consistency
distributed systems
Control Theory
database
consistency
concurrency control
Computing Theory
cloud storage
acid
Resiliency
biblio
Transitioning Native Application into Virtual Machine by Using Hardware Virtualization Extensions
Submitted by grigby1 on Mon, 11/20/2017 - 12:31pm
security
operating system service virtualization
Policy
policy-based governance
process maliciousness
process virtual machine
program flow control
pubcrawl
sandbox
sandboxing
operating system kernels
system call virtualization
untrusted application behaviour control
untrusted application behaviour monitoring
virtual machine equivalent isolation
virtual machines
Virtual machining
virtualisation
Virtualization
hardware virtualization extensions
composability
confined malicious application
execution overheads
file system access
Governance
Government
Hardware
Hardware virtualization
code vulnerabilities
isolation
Kernel
kernel operating system
Libraries
Linux
Linux process
Memory management
operating system
biblio
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
cloud
co-residence
Compositionality
formal verification
isolation
Metrics
openstack
pubcrawl
Resiliency
Scalability
scalable verification
security auditing
Security Audits
Security Policies Analysis
Virtualization
biblio
Auditing Security Compliance of the Virtualized Infrastructure in the Cloud: Application to OpenStack
Submitted by grigby1 on Wed, 08/02/2017 - 1:58pm
cloud
co-residence
composability
formal verification
Human behavior
isolation
Metrics
openstack
privacy
pubcrawl
Resiliency
security auditing
Virtualization
virtualization privacy
biblio
A system-level security approach for heterogeneous MPSoCs
Submitted by grigby1 on Thu, 04/20/2017 - 12:41pm
system-level security approach
Scalability
security
Access Control
complex embedded systems
composability
shared IP
direct memory access
dynamic permissions configuration
embedded systems
Hardware
heterogeneous execution platforms
heterogeneous hardware platforms
heterogeneous MPSoC
shared libraries
Resiliency
IP networks
isolation
memory access
memory transactions
multiprocessing systems
multiprocessor
network on chip
network on chip security
Program processors
prototype isolation unit
pubcrawl
system-on-chip
real-time systems
biblio
Radiatus: A Shared-Nothing Server-Side Web Architecture
Submitted by grigby1 on Mon, 03/20/2017 - 10:46am
composability
isolation
pubcrawl
security
Web application
biblio
A Study of Security Isolation Techniques
Submitted by enck on Thu, 09/29/2016 - 10:12pm
isolation
Resilient Architectures
Smart Isolation in Large-Scale Production Computing Infrastructures
Smart Isolation in Large-Scale Production Computing Infrastructures
biblio
Automating Isolation and Least Privilege in Web Services
Submitted by BrandonB on Tue, 05/05/2015 - 10:53am
principle of least privilege
XSS attack
web services
web security
shared-memory-space application
Servers
security policy inference
security of data
security guarantee
security
sandboxed process
Runtime
query results
Prototypes
Browsers
Passe system
Libraries
isolation
HTML5 sandboxing techniques
Django web framework
Databases
database queries
data-flow relationship
cross-site scripting attack
control-flow relationship
client-facing applications
capabilities
