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
Linux kernel
biblio
Performance Impact of Host Kernel Page Table Isolation on Virtualized Servers
Submitted by grigby1 on Thu, 09/29/2022 - 3:45pm
Servers
pubcrawl
Hardware
performance evaluation
Scalability
Benchmark testing
Registers
Linux
Virtual machining
Virtualization
i-o systems security
Performance
Linux kernel
ARMv8
KPTI
x86
biblio
Automatic Integration of D Code With the Linux Kernel
Submitted by grigby1 on Mon, 03/14/2022 - 11:23am
memory safety
Linux kernel
D programming language
automatic integration
codes
device drivers
Syntactics
Metrics
Policy Based Governance
Safe Coding
tools
Computer languages
Linux
Memory management
Safety
Resiliency
resilience
Human Factors
Human behavior
pubcrawl
biblio
Covert Channels of Data Communication
Submitted by grigby1 on Wed, 02/10/2021 - 11:50am
Compositionality
protected operating system
mandatory access control
Linux operating system
Linux kernel
data communication
covert channels
covert storage channels
confidential information
authorisation
Linux
security threats
Access Control
Scalability
Resiliency
resilience
pubcrawl
biblio
LBM: A Security Framework for Peripherals within the Linux Kernel
Submitted by grigby1 on Fri, 09/04/2020 - 3:26pm
powerful filtering functionality
Linux (e)BPF modules
Linux kernel
Linux-Kernel
malicious peripherals
malicious USB
NFC devices
operating systems (computers)
OS software stacks
Peripheral
peripheral attack surface
Linux
Protocols
pubcrawl
resilience
Resiliency
security
Smartphones
standardized communication protocols
Universal Serial Bus
USB
cyber physical systems
Metrics
Predictive Metrics
Bluetooth
bluetooth security
composability
computer network security
computer peripheral equipment
Computer peripherals
Cyber Physical System
Linux Operating System Security
eBPF
eBPF packet filtering mechanism
external GPU
filtering theory
general security framework
host operating system
Human behavior
Kernel
LBM framework
biblio
Practical Whole-System Provenance Capture
Submitted by grigby1 on Mon, 03/05/2018 - 12:18pm
data provenance
Human behavior
Human Factors
information forensics
Linux kernel
Metrics
pubcrawl
resilience
Resiliency
Scalability
whole-system provenance
biblio
"Linux XIA: an interoperable meta network architecture to crowdsource the future internet"
Submitted by grigby1 on Tue, 02/21/2017 - 11:24am
Meta network architecture
zFilter
XIA
TCP/IP
Serval
Runtime
Routing
pubcrawl170103
Protocols
open systems
network evolution
missing catalyst
broader community
Linux XIA
Linux kernel
Linux
Kernel
IP networks
interoperable meta network architecture
interoperability
Internet architecture
internet
future Internet architecture
disparate architectures
file
A Lightweight Container-based Virtual Time System for Software-defined Network Emulation
Submitted by awhitesell on Fri, 01/20/2017 - 4:24pm
Science of Security
Linux kernel
Network Emulation
Science of Security
software-defined networking
Virtual Time
UIUC
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
biblio
A Lightweight Container-based Virtual Time System for Software-defined Network Emulation
Submitted by awhitesell on Fri, 01/20/2017 - 4:22pm
Science of Security
Linux kernel
Network Emulation
Science of Security
software-defined networking
Virtual Time
UIUC
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
file
Malik_Visual_variational_callgraph_CK.pdf
Submitted by Jamie Presken on Thu, 12/08/2016 - 7:51am
#ifdef
Apr'16
callgraph
CMU
configuration complexity
dependencies
Linux kernel
visualization
vulnerabilities
biblio
Visualizing the variational callgraph of the Linux Kernel: An approach for reasoning about dependencies
Submitted by Jamie Presken on Mon, 04/25/2016 - 9:06am
#ifdef
Apr'16
callgraph
CMU
configuration complexity
dependencies
Linux kernel
visualization
vulnerabilities
CMU
Apr'16
1
2
next ›
last »
