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
Compositionality
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
A Compiler for Transparent Namespace-Based Access Control for the Zeno Architecture
Submitted by aekwall on Fri, 04/28/2023 - 9:44am
Memory management
compiler security
Memory architecture
Global Shared Memory Space
capability
compiler
source coding
RISC-V
codes
security
Program processors
Compositionality
Semantics
Resiliency
Metrics
pubcrawl
Access Control
Scalability
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
Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings
Submitted by aekwall on Fri, 04/28/2023 - 9:43am
Task Analysis
Training
Scalability
pubcrawl
Metrics
Resiliency
Training data
Compositionality
Program processors
Syntactics
Cloning
codes
compiler technique
deep learing
program embedding
compiler security
biblio
DIComP: Lightweight Data-Driven Inference of Binary Compiler Provenance with High Accuracy
Submitted by aekwall on Fri, 04/28/2023 - 9:43am
security
Neural networks
Software
Scalability
optimization
Conferences
pubcrawl
Metrics
Resiliency
machine learning
Compositionality
codes
Binary Analysis
Compilation Options
compiler security
biblio
Operator Partitioning and Parallel Scheduling Optimization for Deep Learning Compiler
Submitted by aekwall on Fri, 04/28/2023 - 9:43am
compiler security
Compositionality
Convolutional codes
deep learning
deep learning compilers
Electrical Engineering
estimation
Hardware
Metrics
operators
parallel scheduling
performance evaluation
pubcrawl
Resiliency
Scalability
scheduling
biblio
The Unexplored Terrain of Compiler Warnings
Submitted by aekwall on Fri, 04/28/2023 - 9:42am
software engineering
compiler security
MSVC
GCC
Defect prevention
compiler warning
Clang
Computer bugs
Costs
security
Program processors
Compositionality
Industries
Resiliency
Metrics
pubcrawl
Scalability
Software
biblio
Machine Learning to Identify Bitcoin Mining by Web Browsers
Submitted by grigby1 on Fri, 04/14/2023 - 4:15pm
bitcoin
Web Cryptojacking
Ryptojacking Kidnapping
Monero
JavaScript Cryptojacking
Blocklists
Browser Security
Resiliency
Coinhive
Artificial Neural Networks
information security
Compositionality
Browsers
resilience
Metrics
Human behavior
pubcrawl
machine learning algorithms
machine learning
biblio
Evil-Twin Browsers: Using Open-Source Code to Clone Browsers for Malicious Purposes
Submitted by grigby1 on Fri, 04/14/2023 - 4:15pm
Browsers
trojan
evil-twin
Browser Security
codes
Resiliency
extension
open-source
Chromium
Compositionality
security
browser
Cloning
Prototypes
cyberattack
Conferences
resilience
Metrics
Human behavior
pubcrawl
biblio
A Cyber Security Cognizance among College Teachers and Students in Embracing Online Education
Submitted by grigby1 on Fri, 04/14/2023 - 4:15pm
Compositionality
online education
cyber security framework
cyber security cognizance
cyber security awareness
Browser Security
Resiliency
Cyberspace
data analysis
social networking (online)
Training
Browsers
cyber security
Protocols
performance evaluation
resilience
Metrics
Human behavior
pubcrawl
« first
‹ previous
…
11
12
13
14
15
16
17
18
19
…
next ›
last »