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
optimization
biblio
SoK: Shining Light on Shadow Stacks
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
security of data
Scalability
security
Software
Resiliency
pubcrawl
Metrics
optimization
metadata
program diagnostics
Payloads
Compositionality
Registers
program compilers
defense mechanisms
backward edge
C++ languages
CFI mitigations
compatibility
compiler designers
control-flow hijacking attacks
control-flow integrity solutions
control-flow-hijacking
control-flow-integrity
deployed mitigations
dominant attack vector
forward edge
fully precise mechanism
indirect calls
language-based-security
low performance overhead
Memory Protection
performance comparisons
return-oriented-programming
shadow stack design
shadow stacks
shadow-stacks
software security mitigations
virtual calls
compiler security
biblio
Information-Flow Preservation in Compiler Optimisations
Submitted by
aekwall
on Mon, 12/02/2019 - 11:07am
security
Scalability
Program processors
Resiliency
pubcrawl
Metrics
standards
optimization
program verification
Information Flow
Semantics
Compositionality
side-channel attacks
optimising compilers
CompCert C compiler
compiler
compiler optimisations
correct compilers
IFP
information-flow leaks
information-flow preservation
information-flow preserving program transformation
Micromechanical devices
passive side-channel attacks
program optimisations
program transformations
side-channel
source program
standard compiler passes
target program
compiler security
biblio
Understand Code Style: Efficient CNN-Based Compiler Optimization Recognition System
Submitted by
aekwall
on Mon, 12/02/2019 - 11:07am
security of data
Scalability
security
Software
Task Analysis
Resiliency
pubcrawl
Metrics
optimization
convolutional neural nets
Analytical models
convolution
recurrent neural nets
Semantics
Compositionality
binary file processing
binary security analysis
closed source compilers
CNN-based compiler optimization level recognition model
CNN-based compiler optimization recognition system
compiler optimization algorithms
optimising compilers
RNN-based model
understand code style
compiler security
biblio
What You Get is What You C: Controlling Side Effects in Mainstream C Compilers
Submitted by
aekwall
on Mon, 12/02/2019 - 11:07am
Scalability
Cryptography
Cryptographic Protocols
Program processors
Resiliency
pubcrawl
Metrics
standards
optimization
Libraries
optimisation
program verification
timing
Security Properties
Compositionality
program compilers
C
C abstract machine
C++ language
careful programmer
Clang
compiler commands
Compiler Optimization
compiler optimizations
compiler performance
compiler upgrade
compiler writers
compilers
constant-time
CPUs
crypto code
cryptographic algorithm
cryptographic protocol security
erasing
implicit properties
language security
LLVM
mainstream C compilers
secure code
Security Engineers
side channels
side effects
stack
timing channel
zeroing
compiler security
biblio
Swarm Intelligence Approaches for Parameter Setting of Deep Learning Neural Network: Case Study on Phishing Websites Classification
Submitted by
grigby1
on Tue, 11/26/2019 - 2:48pm
Human behavior
human factor
machine learning
Neural networks
optimization
Phishing
pubcrawl
website classification
biblio
The Explicit Coding Rate Region of Symmetric Multilevel Diversity Coding
Submitted by
aekwall
on Mon, 11/25/2019 - 1:07pm
Resiliency
pubcrawl
composability
Metrics
optimization
Decoding
optimisation
channel coding
Indexes
network coding
source coding
closed-form
Closed-form solutions
distributed data storage
encoding
explicit coding rate region
linear optimization problem
rate tuple
robust network communication
superposition coding
symmetric multilevel diversity coding
uncountably many linear inequalities
biblio
Fine-Grained Provenance for Matching ETL
Submitted by
aekwall
on Mon, 09/23/2019 - 9:40am
Task Analysis
Resiliency
Human behavior
pubcrawl
composability
Metrics
optimization
ETL
tools
data analysis
Data mining
database management systems
application program interfaces
Instruments
Semantics
algebra
arbitrary code
code versions
common ETL
data objects
data provenance tools
data science tasks
data types
data warehouses
database provenance tools
database-style provenance techniques
matching computations
matching tasks
Provenance
provenance APIs
provenance-driven troubleshooting tool
PROVision
Record linking
support optimization
track provenance
tuple-level provenance
workflow
workflow management software
workflow provenance systems
biblio
An Enhanced Threshold Based Cryptography with Secrete Sharing and Particle Swarm Optimization for Data Sending in MANET
Submitted by
grigby1
on Mon, 09/09/2019 - 9:57am
Birds
Compositionality
Cryptography
data sending process
dynamic network topology
enhanced threshold based cryptography
Fish
MANET
MANET network
MANET security
Metrics
mobile ad hoc networks
mobility features
mobility management (mobile radio)
Monitoring
new particle swarm optimization method
NPSOM technique
optimization
particle swarm optimisation
particle swarm optimization
particle swarm optimization (PSO)
pubcrawl
receiving process
resilience
Resiliency
secrete sharing
secrete sharing method
security
Servers
steady particle swarm optimizer technique
telecommunication security
wireless network
biblio
Optimization Based Adaptive Tagged Visual Cryptography
Submitted by
aekwall
on Mon, 08/26/2019 - 8:56am
visual cryptography
tagged visual cryptography
Scalability
Resiliency
pubcrawl
policy-based governance
optimization
Metrics
Human behavior
genetic algorithm
cryptology
adaptive tagged visual cryptography
biblio
Scalable Verification Framework for C Program
Submitted by
grigby1
on Fri, 06/28/2019 - 9:36am
abstraction refinement
automatic software verification framework
C language
C program verifiers
Complexity theory
Compositionality
context aware software verification
extended structural abstraction
lines-of-code
memory consumption
Metrics
model checking
optimization
program compilers
Program slicing
program verification
program verification problem
property-guided program slicing
pubcrawl
quality assurance
resilience
Resiliency
Safety
safety critical areas
Scalability
scalability issues
scalable verification
scalable verification framework
Software
Software systems
structural abstraction
Through-silicon vias
TSV
1
2
3
4
5
6
7
8
9
…
next ›
last »
