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
programming
biblio
LiteHAX: Lightweight Hardware-Assisted Attestation of Program Execution
Submitted by
aekwall
on Wed, 02/13/2019 - 11:58am
attestation
composability
control-flow attacks
control-flow attestation schemes
data flow computing
data integrity
data-flow events
data-oriented programming
DOP attacks
embedded Internet of Things devices
embedded systems
hardware-assisted remote attestation scheme
Human behavior
Internet of Things
lightweight hardware-assisted attestation of program execution
LiteHAX
malicious modification
malware
Program processors
programming
pubcrawl
RA
reduced instruction set computing
remote device integrity
Resiliency
RISC-based embedded devices
RISC-V system-on-chip
Runtime
runtime attestation
security
security of data
security service
SoC
software binaries
system-on-chip
Trusted Computing
biblio
Program-flow attestation of IoT systems software
Submitted by
aekwall
on Wed, 02/13/2019 - 11:58am
application program flow
attestation
composability
data integrity
device integrity measurement
distributed processing
Dual Attestation
dynamic
dynamic attestation technique
Hardware
hardware devices
Human behavior
impractical constraints
Internet of Things
IoT
IoT systems software
malware
Memory management
Program-Flow
program-flow attestation
programming
pubcrawl
Remote Attestation
remote software-based attestation mechanisms
Resiliency
Runtime
security
security of data
software modification
static
static attestation phase
TrustZone
biblio
M-sanit: Computing misusability score and effective sanitization of big data using Amazon elastic MapReduce
Submitted by
grigby1
on Wed, 09/12/2018 - 11:21am
resilience
privacy
pubcrawl
Human behavior
Human Factors
composability
Big Data
data privacy
Cloud Computing
Data mining
Distributed databases
MapReduce
parallel programming
Publishing
sanitization
Data Sanitization
programming
Resiliency
sensitive data
outsourced data
Amazon Elastic Cloud Compute
Amazon Elastic MapReduce
big data processing
EC2
EMR
MapReduce programming paradigm
misusability measure
misusability score
privacy preserving data mining
privacy preserving data publishing
voluminous data
biblio
SQL injection attack detection using fingerprints and pattern matching technique
Submitted by
grigby1
on Thu, 06/07/2018 - 3:13pm
attack signatures
collaboration
computer network security
Databases
Engines
fingerprint method
Fingerprint recognition
fingerprinting method
Human behavior
internet
intranet
Open Web Application Security Project Top Ten Cheat sheet
OWASP
password
pattern matching
pattern matching technique
Policy
policy-based governance
Policy-Governed Secure Collaboration
privacy
programming
pubcrawl
Resiliency
SQL
SQL injection
SQL Injection Attack Detection
SQL injection attack detection framework
SQL Injection attacks
SQL injection detection approaches
SQL queries
String Search
Web-based applications
biblio
Cyber Security of Industrial Communication Protocols
Submitted by
grigby1
on Wed, 05/30/2018 - 4:01pm
collaboration
commercial-off-the-shelf equipment
computer network security
cyber security
Human behavior
Human Factors
industrial communication protocols
industrial control
Industrial Control Systems
industrial Ethernet
integrated circuits
Local area networks
Machinery
Metrics
Monitoring
policy-based governance
Portals
PROFINET
programming
Protocols
pubcrawl
resilience
Resiliency
security
security weaknesses
testbed
biblio
An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems
Submitted by
el_wehby
on Fri, 05/25/2018 - 4:22pm
approximated functions
automotive industrial case study
communication resources
control loops
control models
control performance
control systems
control-driven period optimization algorithm
Distributed real-time systems
distributed systems
geometric programming
GP formulations
optimisation
optimization
Partitioning algorithms
period optimization
piecewise linear function
programming
real-time embedded control functions
Real-time embedded control system
real-time systems
sampling periods
schedulability constraints
scheduling
Search methods
system schedulability
1553757
biblio
Comparing the Usability of Cryptographic APIs
Submitted by
K_Hooper
on Wed, 05/09/2018 - 11:00am
API usability
application program interfaces
auxiliary features
code security
controlled experiment
cryptographic API usability
cryptographic application programming interfaces
cryptographic library
Cryptography
cryptography errors
documentation
documentation accessibility
GitHub
Guidelines
Libraries
programming
pubcrawl
Python developers
Resiliency
Scalability
Security by Default
software libraries
symmetric cryptography
usability
Usable Security
biblio
Verifying and Synthesizing Constant-Resource Implementations with Types
Submitted by
K_Hooper
on Wed, 02/28/2018 - 11:31am
AARA
automatic amortized resource analysis
cognition
Compositionality
constant-resource behavior implementations
Cryptography
encryption
inference mechanisms
Information Flow
information flow tracking
language-based security
program verification
programming
programs verification
pubcrawl
resource allocation
resource analysis
resource aware ML
resource consumption
resource-aware noninterference
Semantics
side channel attacks
standards
static analysis
Syntactics
timing channels
type inference algorithm
biblio
Efficient and Flexible Discovery of PHP Application Vulnerabilities
Submitted by
grigby1
on Thu, 02/15/2018 - 11:44am
SQL injection
code property graphs
Cross Site Scripting
Cross Site Scripting (XSS)
Databases
graph database
graph theory
Human behavior
human factor
Human Factors
information flow analysis
internet
interprocedural analysis technique
Open Source Software
PHP
PHP application vulnerabilities
programming
Programming Language
pubcrawl
resilience
Resiliency
Scalability
security
Servers
Structured Query Language
Syntactics
vulnerability scanner
web applications
biblio
Generalize or Die: Operating Systems Support for Memristor-Based Accelerators
Submitted by
grigby1
on Fri, 02/02/2018 - 1:25pm
ultra low energy
typical OS functionality
transistor feature size scaling
specialized accelerators
scientific computing
Scalability
Resiliency
quantum computing security
pubcrawl
programming
primary function
operating systems (computers)
operating system
microprocessor chips
Metrics
memristors
Memristor
master slave models
machine learning
learning (artificial intelligence)
Imaging
hardware resources
Hardware
general purpose system
field programmable gate arrays
Engines
Electronic mail
Dot Product Engine
computer architecture
composability
accelerator implementation
1
2
next ›
last »
