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
computational complexity
biblio
Minimal Information Exchange for Secure Image Hash-Based Geometric Transformations Estimation
Submitted by grigby1 on Thu, 04/08/2021 - 5:13pm
Cryptography
information security
pubcrawl
Human behavior
Metrics
resilience
Resiliency
Scalability
Bandwidth
computational complexity
Forensics
image registration
source coding
information forensics
Image coding
secure communication
secure transmission
central server
decoder estimate
distributed source coding
distributed source coding perspective
Fourier-Mellin transform
hash security
image hashing
minimal hash size
minimal information exchange
phase encoding framework
Phase spectrum
reference image
rigid image registration
rigid image registration technique
secure image hash-based geometric transformations estimation
signal processing applications
transformation parameters
biblio
Safe and secure software updates on high-performance embedded systems
Submitted by grigby1 on Mon, 03/29/2021 - 11:56am
Artificial Intelligence
artificial intelligence algorithms
automobiles
autonomous systems
certification
composability
computational complexity
dependable embedded systems
embedded systems
extended networking technologies
hardware complexity
hardware platform
high computing demands
high performance scale
high-performance embedded systems
interconnected system resilient
Metrics
OTASU
post-deployment evidence
potentially infinite scenarios
pubcrawl
regular software updates
resilience
Resiliency
Safety
secure software updates
security
security of data
security threats
standards
system dependability
traditional certification practices
biblio
New Efficient QERPKC based on Partial Discrete Logarithm Problem
Submitted by aekwall on Mon, 03/22/2021 - 1:15pm
Safety
Scalability
encryption
security
Protocols
Resiliency
pubcrawl
Cryptography
public key cryptography
computational complexity
Security analysis
Elliptic curve cryptography
public key encryption
Transmitters
PKC
exponentiation
partial discrete logarithm problem
PDLP
PDLP hardness
QER
QERPKC
quadratic exponentiation randomized public key cryptosystem
biblio
Simplified Calculation of Bhattacharyya Parameters in Polar Codes
Submitted by aekwall on Mon, 03/15/2021 - 11:55am
Resiliency
pubcrawl
composability
Metrics
Reliability
channel capacity
channel coding
error statistics
computational complexity
Complexity theory
encoding
error correction codes
polar codes
telecommunication network reliability
block codes
error probability
Maximum likelihood decoding
BEC channel
Bhattacharyya parameter
Bhattacharyya Parameter method
Bhattacharyya parameters
binary erasure channel
calculated complexity
channel reliability
code construction
complementary channel condition
K most reliable polarizing channels
memoryless systems
N polarizing channels
nonsystematic polar code
Reliable channel
biblio
Transparent IFC Enforcement: Possibility and (In)Efficiency Results
Submitted by grigby1 on Thu, 03/04/2021 - 2:34pm
White Box Security
white box
security
black-box
black-box enforcement
Browsers
composability
computational complexity
Computer languages
efficiency
faceted secure multiexecution
FlowFox browser
FSME
IFC community
Information Flow Control
Lattices
memory overhead
Metrics
Multiple Facets
no-write-down no-read-up style security policy
noninterference
polynomial time
programming languages
pubcrawl
real-world programs
resilience
Resiliency
Runtime
secure information flow control
Secure Multi-Execution
secure programs
security condition
security lattice
security of data
Semantics
SME family
termination insensitive noninterference
third-party systems
transparency
transparent enforcement
transparent IFC enforcement
white-box
biblio
Fast Cross Layer Authentication Scheme for Dynamic Wireless Network
Submitted by grigby1 on Tue, 02/16/2021 - 12:47pm
pubcrawl
Metrics
resilience
Resiliency
message authentication
telecommunication security
Cryptographic Protocols
composability
radio networks
computational complexity
wireless channels
mobile radio
authentication delay
cross layer authentication
dynamic communication scenarios
dynamic wireless communication
dynamic wireless network
fast cross layer authentication scheme
hypothesis test models
lightweight cross-layer authentication scheme
network environments
performance stability
physical layer authentication
physical layer authentication mechanisms
PLA models
spoofing detection
static communications
upper layer assisted method
upper layer authentication
dynamic networks
biblio
k-Space Decomposition Based Super-resolution Three-dimensional Imaging Method for Millimeter Wave Radar
Submitted by aekwall on Mon, 02/15/2021 - 4:46pm
collision avoidance
Compositionality
computational complexity
cyber physical systems
decomposition
higher frequency e.g
image enhancement
Image reconstruction
Image resolution
Imaging
k-space decomposition
k-space decomposition based RPM
k-space decomposition based superresolution three-dimensional imaging method
Laser radar
Metrics
millimeter wave imaging radar system
Millimeter wave radar
millimetre wave imaging
multifunctional imaging algorithm
pubcrawl
Radar
radar imaging
Range points migration (RPM)
SAR
Scattering
Short range three-dimensional imaging
Super-resolution imaging
synthetic aperture radar
biblio
A Hybrid Modified Lightweight Algorithm Combined of Two Cryptography Algorithms PRESENT and Salsa20 Using Chaotic System
Submitted by grigby1 on Fri, 01/22/2021 - 1:51pm
chaotic cryptography
pubcrawl
2D logistic map
block ciphers
chaotic communication
chaotic system
cipher algorithm
Ciphers
Classification algorithms
computational complexity
Constrained Devices
Cryptography
cryptography algorithms PRESENT
data communication
encryption
generated sequence keys
hybrid modified lightweight algorithm
Information systems
information technology
lightweight cryptography
NIST
NIST suite
pseudorandom keys
Salsa20
stream cipher
symmetric cipher
symmetric encryption
traditional cryptography algorithms
biblio
Approximate Probabilistic Security for Networked Multi-Robot Systems
Submitted by grigby1 on Thu, 12/17/2020 - 1:38pm
approximate probabilistic security
binary decision diagrams
Boolean functions
combinatorial optimization problem
computational complexity
control system security
disjoint path sets
exact probability
graph theory
Human behavior
Human Factors
left invertiblility
lower bound estimate
MRS
multi-robot systems
multipoint optimization
networked control systems
networked multirobot systems
Observers
online optimization
optimal subset
optimisation
policy-based governance
Probabilistic logic
probability
pubcrawl
resilience
Resiliency
robot operating systems
Robot sensing systems
security
biblio
GCSA Codes with Noise Alignment for Secure Coded Multi-Party Batch Matrix Multiplication
Submitted by grigby1 on Tue, 12/15/2020 - 1:27pm
batch processing
codes
coding theory
colluding servers
Compositionality
computational complexity
computer network security
Cross Subspace Alignment codes
Cryptography
flexible interserver network topology
GCSA codes
GCSA-NA
master gains no additional information
matrix multiplication
Metrics
network servers
noise alignment
pairwise products
polynomial sharing
polynomials
pubcrawl
resilience
Resiliency
secure interserver communication
secure multiparty batch matrix multiplication problem
security
SMBMM
synchronisation
telecommunication network topology
1
2
3
4
5
6
7
8
9
next ›
last »
