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
C++ languages
biblio
Library of Fully Homomorphic Encryption on a Microcontroller
Submitted by grigby1 on Fri, 08/11/2023 - 11:30am
Libraries
Metrics
resilience
Resiliency
pubcrawl
Human behavior
Human Factors
Scalability
Cryptography
library
C++ languages
Software algorithms
microcontrollers
Memory
fully homomorphic encryption
Homomorphic encryption
ESP 32 microcontroller
biblio
Software Tool for Parallel Generation of Cryptographic Keys Based on Elliptic Curves
Submitted by grigby1 on Fri, 07/14/2023 - 3:17pm
C++ languages
Cryptography
Elliptic curve cryptography
Elliptic curves
graphics processing units
Metrics
parallel programming
pubcrawl
resilience
Resiliency
Scalability
software tool
software tools
Telecommunications
biblio
Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution
Submitted by aekwall on Fri, 04/28/2023 - 9:44am
codes
compiler security
secure SoC design
KLEE
Symbiosis
formal verification
Symbolic Execution
C++ languages
Costs
Hardware Security
model checking
Compositionality
Resiliency
Metrics
pubcrawl
Scalability
system-on-chip
Hardware
biblio
Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation
Submitted by aekwall on Fri, 04/28/2023 - 9:43am
distributed
compiler security
Tasks
Raja
parallel programming
parallel
OpenMP
MPI
LLVM
Julia
hybrid parallelization
Enzymes
Enzyme
Scalability
compiler
C++
automatic differentiation
C++ languages
codes
Runtime
Program processors
Compositionality
Resiliency
Metrics
pubcrawl
biblio
The transitional phase of Boost.Asio and POCO C++ networking libraries towards IPv6 and IoT networking security
Submitted by grigby1 on Fri, 02/24/2023 - 5:30pm
C++ languages
POCO
Internet Protocol version 6 (IPv6)
Internet Protocol Security (IPsec)
C++ networking libraries
Boost.Asio
codes
Internet of Things (IoT)
IPv6
operating systems
Policy Based Governance
collaboration
programming
Libraries
composability
Protocols
Hardware
Resiliency
resilience
Metrics
pubcrawl
security
biblio
Development of a System for Static Analysis of C ++ Language Code
Submitted by aekwall on Sun, 10/16/2022 - 6:25pm
static analysis
Regular expressions
argument keys
analyzers
algorithm for finding stylistic errors
C++ languages
static code analysis
Python
File systems
Measurement
style
standards
composability
Human behavior
Resiliency
pubcrawl
Containers
biblio
Twine: An Embedded Trusted Runtime for WebAssembly
Submitted by grigby1 on Fri, 07/29/2022 - 4:48pm
Runtime
outsourced database security
sqlite
outsourcing
SGX
Webassembly
TEE
Runtime environment
Metrics
C++ languages
Libraries
security
Databases
Cryptography
privacy
Scalability
Hardware
Software
Resiliency
resilience
Human behavior
pubcrawl
biblio
OCTOPOCS: Automatic Verification of Propagated Vulnerable Code Using Reformed Proofs of Concept
Submitted by aekwall on Thu, 05/19/2022 - 1:39pm
Software
pubcrawl
Metrics
composability
Ecosystems
taint analysis
C++ languages
Computer crashes
Proofs-of-Concept
Symbolic Execution
Vulnerability Propagation
biblio
NoVT: Eliminating C++ Virtual Calls to Mitigate Vtable Hijacking
Submitted by grigby1 on Mon, 03/14/2022 - 12:21pm
Switches
vtables
vtable hijacking
NoVT
LLVM
codes
Chromium
Metrics
Policy Based Governance
Safe Coding
pubcrawl
control systems
C++ languages
Runtime
Program processors
CFI
Resiliency
resilience
Human Factors
Human behavior
biblio
Improved Lightweight Encryption Algorithm (ILEA)
Submitted by grigby1 on Wed, 08/18/2021 - 11:15am
Lightweight Ciphers
Software algorithms
security
Scalability
Resiliency
resilience
pubcrawl
PRINCE
Mixers
BBM
Lightweight
encryption
Cryptography
Ciphers
C++ languages
Block Cipher
Big Data
1
2
next ›
last »