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
Computer bugs
biblio
AutoSlicer: Automatic Program Partitioning for Securing Sensitive Data Based-on Data Dependency Analysis and Code Refactoring
Submitted by grigby1 on Fri, 06/09/2023 - 2:19pm
Computer bugs
Program partitioning
execution flow
dependency analysis
Code refactoring
Cyber Dependencies
codes
Resiliency
Transforms
source coding
Compositionality
pubcrawl
Manuals
composability
Prototypes
privacy
Scalability
resilience
Metrics
Human Factors
Human behavior
biblio
A Deep Study of the Effects and Fixes of Server-Side Request Races in Web Applications
Submitted by grigby1 on Fri, 05/12/2023 - 10:27am
Metrics
web-application request races
Synchronization
Software
Semantics
security
Resiliency
resilience
Object-Relational Mapping
pubcrawl
fix strategies
external and internal effects
concurrency control
Concurrency
Computer languages
Computer bugs
composability
characteristic study
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
A Deep Dive into Blockchain-based Smart Contract-specific Security Vulnerabilities
Submitted by grigby1 on Fri, 04/14/2023 - 4:11pm
blockchain
blockchain security
blockchains
codes
Computer bugs
Computer languages
DApp
pubcrawl
Resiliency
Scalability
security
Smart contract vulnerabilities
smart contracts
Writing
biblio
Isolating Compiler Optimization Faults via Differentiating Finer-grained Options
Submitted by grigby1 on Fri, 03/31/2023 - 11:21am
compiler
resilience
Program processors
Optimization Option
Measurement
location awareness
Finer-grained
fault localization
Conferences
Computer bugs
compiler security
codes
Bug Isolation
big data security metrics
Benchmark testing
pubcrawl
Metrics
Scalability
Compositionality
Resiliency
biblio
GREBE: Unveiling Exploitation Potential for Linux Kernel Bugs
Submitted by grigby1 on Fri, 03/03/2023 - 9:23am
security
pubcrawl
Metrics
Resiliency
privacy
composability
fuzzing
Linux
Computer bugs
Compositionality
resilience
Linux Operating System Security
codes
Behavioral sciences
OS-Security
Vulnerability-Exploitation
biblio
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study
Submitted by grigby1 on Fri, 02/17/2023 - 5:18pm
Reliability
software evolution
imperative programs
hybrid programming paradigms
graph-based execution
empirical studies
scalable verification
codes
Writing
Compositionality
deep learning
Computer bugs
Data mining
Scalability
Resiliency
resilience
Metrics
pubcrawl
Neural networks
biblio
Varangian: A Git Bot for Augmented Static Analysis
Submitted by aekwall on Thu, 02/02/2023 - 4:21pm
static code analysis
Human behavior
Resiliency
composability
BERT
Bot
codes
Computer bugs
git
machine learning
programming
pubcrawl
security
Software
static analysis
Training
biblio
Software Source Code Security Audit Algorithm Supporting Incremental Checking
Submitted by grigby1 on Fri, 01/13/2023 - 1:47pm
security
pubcrawl
Human behavior
resilience
Resiliency
Software
Scalability
Computer bugs
Software algorithms
source coding
Software Testing
codes
Security Audits
source code
Incremental Checking
security audit
biblio
JIGSAW: Efficient and Scalable Path Constraints Fuzzing
Submitted by grigby1 on Fri, 01/13/2023 - 1:29pm
search problems
pubcrawl
resilience
Resiliency
Throughput
Scalability
privacy
Prototypes
fuzzing
Computer bugs
Security Heuristics
Test pattern generators
1
2
3
4
5
6
7
8
next ›
last »
