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
Scalability
biblio
Peapods: OS-Independent Memory Confidentiality for Cryptographic Engines
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
Scalability
Cryptography
encryption
Kernel
Resiliency
pubcrawl
Metrics
Data protection
OS kernel
Random access memory
Engines
operating systems (computers)
Compositionality
Registers
program compilers
automatic protection
code fragments
compiler
confidentiality
cryptographic engines
Cryptographic Implementation
cryptographic keys
DRAM chips
memory disclosure attack
memory disclosure attacks
OS-independent memory confidentiality
Peapods
sensitive variables
software engines
Transactional memory
user-mode protection
compiler security
biblio
A Cyber Risk Based Moving Target Defense Mechanism for Microservice Architectures
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
security of data
Scalability
security
Software
Resiliency
pubcrawl
Metrics
Measurement
Software Architecture
Indexes
Logic gates
risk analysis
business data processing
Security Metrics
moving target defense
Compositionality
program compilers
Application Container Security
automatic code generation techniques
business capabilities
cyber risk
diversification index
economics-of-scale incentives
microservice architectures structure
microservices attack surfaces
Microservices Security
moving target defense mechanism
MSA
multistep attacks
security risk assessment
security risk-oriented software diversification
Transforms
compiler security
biblio
Formally Verified Cryptographic Web Applications in WebAssembly
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
authoring languages
Browsers
CoMP
compilation pipeline
compiler
compiler security
Compositionality
cryptographic code
Cryptographic Protocols
cryptographic-library
cryptographic-protocol-verification
Cryptography
formal verification
high-assurance cryptographic libraries
high-profile attacks
instruction set
Java
JavaScript runtimes
Libraries
low-level subset
Metrics
modern Web applications
program compilers
program diagnostics
program verification
Protocols
pubcrawl
public domain software
Resiliency
Scalability
security-critical software
Servers
Signal
sophisticated custom cryptographic components
standard protocols
standards
toolchain
verification
verification techniques
verification-oriented programming languages
verified cryptographic Web applications
verified HACL cryptographic library
verified implementation
verified-software
web-security
Webassembly
WebAssembly compilers
WebAssembly version
whatsapp
biblio
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Submitted by
aekwall
on Mon, 12/02/2019 - 11:08am
Safety
security of data
Scalability
Resiliency
pubcrawl
Cryptography
Metrics
Libraries
program diagnostics
program verification
Writing
Space exploration
Security Properties
Compositionality
program compilers
secure code
source program
adversarial contexts
arbitrary adversarial contexts
compiled program
Computer languages
equivalent property-free
formal secure compilation criteria
full abstraction
fully abstract compilation chain
good programming languages
hyperproperties
linked adversarial code
linked adversarial target code
linked source code
linked target code
liveness
low-level target language
multiple programs
noninterference
property classes
relational hyperproperties
relational properties
robust preservation
robust property preservation
secure compilation
secure compilation chain
Secure interoperability
secure linking
Security Foundations
source language
source-level abstraction
strictly stronger security guarantees
supported security goals
trace properties
compiler security
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
Integrating Compiler Driven Transformation and Simulated Annealing Based Floorplan for Optimized Transient Fault Tolerant DSP Cores
Submitted by
aekwall
on Mon, 12/02/2019 - 11:07am
Scalability
Resiliency
pubcrawl
Metrics
Transient analysis
delays
fault tolerance
Fault tolerant systems
Compositionality
program compilers
battery operated low power
battery operated low power high performance devices
circuit optimisation
compiler driven transformation
contradictory design goal optimization
digital signal processing chips
DSP core
electronic device realibility
fault security
Finite impulse response filters
high performance devices
integrated circuit layout
integrated circuit reliability
low-power electronics
optimized low cost transient fault tolerant DSP core
optimized transient fault tolerant DSP
simulated annealing
simulated annealing based floorplan
simulated annealing based optimization process
sub-nanometer technology scale
technology scaling
Transient fault
transient fault tolerant approach
compiler security
biblio
Automatically Validating the Effectiveness of Software Diversity Schemes
Submitted by
aekwall
on Mon, 12/02/2019 - 11:07am
security of data
Scalability
Program processors
Resiliency
pubcrawl
Metrics
vulnerabilities
Cybersecurity
computer security
Measurement
evaluation
Semantics
Compositionality
program compilers
compilers
comparative evaluation
DARPA Cyber Grand Challenge environment
diversifying compiler
diversity strategies
diversity techniques
exploit mitigation
scant attention
software diversity
software diversity schemes
software protection
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
1
2
3
4
5
6
7
8
9
…
next ›
last »
