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
static code analysis
biblio
An Extensive Study of Static Regression Test Selection in Modern Software Evolution
Submitted by grigby1 on Wed, 05/17/2017 - 1:47pm
class firewall
composability
Human behavior
pubcrawl
regression test selection
Resiliency
static analysis
static code analysis
biblio
Inference of Peak Density of Indirect Branches to Detect ROP Attacks
Submitted by grigby1 on Wed, 05/17/2017 - 1:47pm
composability
detection
Human behavior
Metrics
pubcrawl
Resiliency
return oriented programming
rop attacks
Scalability
Securing Compilers
security
static code analysis
static program analysis's
biblio
How to Build Static Checking Systems Using Orders of Magnitude Less Code
Submitted by grigby1 on Wed, 05/17/2017 - 1:47pm
bug finding
composability
Human behavior
micro-grammars
parsing
pubcrawl
Resiliency
static analysis
static code analysis
biblio
Peruse and Profit: Estimating the Accelerability of Loops
Submitted by grigby1 on Wed, 05/17/2017 - 1:47pm
Accelerator
composability
Human behavior
machine learning
pubcrawl
Resiliency
static analysis
static code analysis
biblio
Static analysis for web service security - Tools amp; techniques for a secure development life cycle
Submitted by grigby1 on Tue, 03/07/2017 - 1:43pm
Web Application Security
SOA
SOAP
software bugs
Software verification
Source code analysis
Static Analysis Tool
static code analysis
strategic components
ubiquitous IoT
vulnerabilities detection
vulnerability identification
Simple object access protocol
web applications
Web service security
web services
Web services guidelines
Web Services Security
WS-SecureConversation
WS-security
XML
XML encryption
XML signature
program verification
critical national infrastructure
Cryptography
dynamic analysis
enterprise software ecosystem
Heartbleed
information exchange
mission critical API
Mobile Applications
Open Web Application Security Project
Penetration Testing
program diagnostics
Computer crime
public deployments
public sector infrastrucure development life cycle
Secure Software Development
security challenges
Security Code Review
service development paradigm
service oriented architecture
service-oriented architecture
services security
Shellshock
« first
‹ previous
1
2
3
4
5
6
7
8
