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
Cryptography
biblio
Primary User Authentication in Cognitive Radio Network Using Pre-Generated Hash Digest
Submitted by
grigby1
on Thu, 12/05/2019 - 9:56am
authentication
Base stations
cognitive radio
Cognitive Radio Network
Cognitive Radio Security
CRN
Cryptography
emulation
node authentication
pregenerated hash digest
primary user authentication
primary user emulation attack
pubcrawl
PUEA
radio networks
resilience
Resiliency
sensors
telecommunication security
biblio
SandTrap: Tracking Information Flows On Demand with Parallel Permissions
Submitted by
grigby1
on Thu, 12/05/2019 - 9:47am
coding theory
Compositionality
Cryptography
dynamic information-flow tracking
Metrics
native code
parallel memory permissions
pubcrawl
resilience
Resiliency
security
biblio
Context-Sensitive Flow Graph and Projective Single Assignment Form for Resolving Context-Dependency of Binary Code
Submitted by
grigby1
on Thu, 12/05/2019 - 9:47am
binary code analysis
coding theory
Compositionality
context-dependency
Cryptography
Metrics
pubcrawl
resilience
Resiliency
security
static single assignment
biblio
A Lightweight Timestamp-Based MAC Detection Scheme for XOR Network Coding in Wireless Sensor Networks
Submitted by
grigby1
on Thu, 12/05/2019 - 9:47am
coding theory
Compositionality
Cryptography
MAC detection
Metrics
pubcrawl
resilience
Resiliency
security
WSN
xor network coding
biblio
Local-Encoding-Preserving Secure Network Coding for Fixed Dimension
Submitted by
grigby1
on Thu, 12/05/2019 - 9:47am
coding theory
Compositionality
computational complexity
Cryptography
encoding
field size
fixed dimension
Image edge detection
information rate
Information rates
information-theoretic security
Kernel
linear codes
local encoding kernel
local-encoding-preserving secure network coding
lower bound
Metrics
network coding
polynomial-time algorithm
pubcrawl
Random variables
resilience
Resiliency
secure linear network code
security
security level
security-level pairs
SLNC
telecommunication security
biblio
Secure Physical Layer Network Coding versus Secure Network Coding
Submitted by
grigby1
on Thu, 12/05/2019 - 9:47am
coding theory
Compositionality
computation and forward
Cryptography
error correction
error correction codes
Metrics
network coding
Noise measurement
noiseless network
noisy channel
Physical layer
physical layer security
pubcrawl
Receivers
resilience
Resiliency
secrecy analysis
secure communication
secure physical layer network coding
security
Silicon
Task Analysis
telecommunication security
biblio
A Cloud Storage Resource Transaction Mechanism Based on Smart Contract
Submitted by
grigby1
on Thu, 12/05/2019 - 9:47am
cloud storage
coding theory
Compositionality
Cryptography
Erasure Coding
Metrics
pubcrawl
resilience
Resiliency
security
smart contract
VCG mechanism
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
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
1
2
3
4
5
6
7
8
9
…
next ›
last »
