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
Read-only archive of site from September 29, 2023.
CPS-VO
TPC
biblio
Secure Compilation and Hyperproperty Preservation
Submitted by grigby1 on Wed, 01/10/2018 - 12:19pm
Safety
untyped target language
typed source language
Type theory
trace-preserving compilation
TPC
Syntactics
standards
Semantics
Security Properties
security of data
security
secure compilers
secure compilation
safety hyperproperties
coding theory
Resiliency
pubcrawl
program verification
Program processors
program compilers
low-level attack capabilities
hyperproperty preservation
fully abstract compiler
correctness criterion
Concrete
composability
compiler security
compiled program
biblio
"Secure communication using TPC and chaotic encryption"
Submitted by grigby1 on Fri, 02/10/2017 - 3:03pm
encryption
wireless communication system
turbo product code
turbo codes
TPC
secure communication
radio networks
pubcrawl170102
Product codes
logistic map
BER
encoding
DWT
Decoding
Cryptography
chaotic encryption
chaos
channel encoding techniques
channel encoding
Bit error rate