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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Libraries
biblio
Prototype Container-Based Platform for Extreme Quantum Computing Algorithm Development
Submitted by
aekwall
on Mon, 03/30/2020 - 11:41am
Cloud Computing
Scalability
Hardware
Software
Resiliency
pubcrawl
composability
Libraries
source code (software)
Containers
quantum computing
Predictive Metrics
Prototypes
cloud computing software environment
cloud computing system
computer security challenges
Docker container environment
Docker Containers
IBM Q Experience
IBM Q Experience Web site
prototype container based system
prototype container system
prototype container-based platform
prototype environment
Qiskit source codes
quantum computer
quantum computing algorithm development
quantum computing devices
quantum computing hardware platforms
quantum simulators
rapid prototype development
quantum computing security
biblio
QRStream: A Secure and Convenient Method for Text Healthcare Data Transferring
Submitted by
aekwall
on Mon, 03/30/2020 - 11:40am
security of data
Servers
data privacy
electronic health records
Medical services
Organizations
Resiliency
pubcrawl
Cryptography
Decoding
metadata
Libraries
text analysis
cyber physical systems
security problems
Payloads
health care
QR codes
privacy problems
electronic health data transferring
health awareness
health data delivery
health information
healthcare activities
healthcare organization
QRStream
text healthcare data transferring
biblio
CapExec: Towards Transparently-Sandboxed Services
Submitted by
grigby1
on Fri, 03/27/2020 - 11:37am
tools
collaboration
security
pubcrawl
policy-based governance
composability
Runtime
Libraries
Memory management
application security
Capsicum
Cats
compartmentalization
Containers
sandboxing
service manager
biblio
SafeCheck: Safety Enhancement of Java Unsafe API
Submitted by
grigby1
on Fri, 03/27/2020 - 11:29am
application program interfaces
bytecode
bytecode verification
collaboration
Computer bugs
dynamic analysis
Human behavior
Human Factors
Java
Java core library
Java runtime
Java unsafe API
JVM crash
Libraries
low- level system code
Memoey Safety
memory checker
Memory Protection
memory safety
Metrics
openJDK bug system
policy-based governance
program debugging
Programming Language
pubcrawl
resilience
Resiliency
Runtime
Safe Coding
Safety
safety enhancement
security of data
storage management
tools
unsafe crash patterns
biblio
Defending against ROP Attacks with Nearly Zero Overhead
Submitted by
grigby1
on Mon, 03/23/2020 - 3:58pm
Training
Monitoring
pubcrawl
Human behavior
Human Factors
resilience
Resiliency
Scalability
composability
Runtime
Libraries
Memory management
programming
static analysis
rop attacks
biblio
Preservation System for Scientific Experiments in High Performance Computing: Challenges and Proposed Concept
Submitted by
aekwall
on Mon, 03/16/2020 - 10:41am
security of data
Servers
Hardware
operating system
pubcrawl
internet
Libraries
knowledge based systems
Containers
parallel processing
resilience
Predictive Metrics
reproducible research
Compositionality
High performance computing
Scientific Computing Security
operating systems
case preservation
computing system
containerization
created experiment
future reproduction
HPC
HPC computations
HPC system
preservation process
preservation system
research data management
research experiments
research experiments preservation
scientific experiment
biblio
Hardware Trojans Detection at Register Transfer Level Based on Machine Learning
Submitted by
grigby1
on Wed, 02/26/2020 - 4:37pm
circuit features extraction
cyber physical systems
database management systems
electronic engineering computing
feature extraction
flip-flops
Hardware
Hardware Trojans detection
Hardware Trojans library
integrated circuit design
Integrated circuit modeling
integrated circuits design process
invasive software
learning (artificial intelligence)
Libraries
machine-learning-based detection method
pubcrawl
register transfer level
resilience
Resiliency
RTL source codes
server-client mechanism
shift registers
source code (software)
supply chain security
Training
training database
trojan horse detection
Trojan horses
biblio
CFI: Control Flow Integrity or Control Flow Interruption?
Submitted by
aekwall
on Mon, 02/24/2020 - 11:01am
rop attacks
C++ languages
CFI solutions
CFI-based defenses
composability
computer security
Control Flow Integrity
control-flow integrity
corrupt code pointers
data execution prevention
data flow analysis
execution flow
famous attack paradigms
Human Factors
interrupt requests
Jump-Oriented Programming
Libraries
malicious code injection
modern Code Reuse Attacks
Monitoring
object-oriented programming
Payloads
programming
pubcrawl
Resiliency
return oriented programming
return-oriented programming
Runtime
runtime attacks
runtime memory vulnerabilities
Scalability
security of data
target system
biblio
FIoT: Detecting the Memory Corruption in Lightweight IoT Device Firmware
Submitted by
aekwall
on Mon, 01/20/2020 - 12:13pm
computer network security
Scalability
Internet of Things
security
performance evaluation
system monitoring
Resiliency
pubcrawl
policy-based governance
program testing
Libraries
static analysis
firmware
program diagnostics
Human Factors
operating systems (computers)
program compilers
Loading
lightweight IoT devices
address determination analysis
backward slice approach
binary code snippets
Binary codes
binary firmware
CFG recovery approach
dynamic analysis framework
dynamic analysis techniques
embedded firmware source code
FIoT framework
firmware analysis
firmware images
fuzzing
fuzzing test
hardware architectures
IoT device operating systems
IoT industry
library function identification approach
lightweight IoT device firmware images
lightweight IoT firmware
memory corruption
memory corruption vulnerabilities
Microprogramming
Program slicing
security researchers
time 170.0 s
time 210.0 s
time 40.0 s
zero trust
biblio
Information Flow Control for Distributed Trusted Execution Environments
Submitted by
aekwall
on Mon, 01/20/2020 - 11:45am
-distributed-systems
-enclaves
-language-based-security
-security
-trusted-execution-environment
Calculus
Compositionality
confidential messages
core security calculus
cryptographic mechanisms
Cryptography
data integrity
DFLATE
distributed programming
distributed trusted execution environments
encryption
encryption audits
Fabrics
high-integrity messages
high-level abstractions
Information Flow Control
information-flow-control
Libraries
messages authentication
Predictive Metrics
Protocols
pubcrawl
Resiliency
TEE
Trusted Computing
untrusted host
1
2
3
4
5
next ›
last »
