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
tools
biblio
ASAF: Android Static Analysis Framework
Submitted by aekwall on Fri, 08/12/2022 - 4:10pm
static analysis
composabiity
datasets
ASParse
APK
parsing
pubcrawl
malicious
android
security
malware
Human behavior
Resiliency
feature extraction
Analytical models
operating systems
tools
biblio
Compositional Information Flow Analysis for WebAssembly Programs
Submitted by aekwall on Fri, 08/12/2022 - 4:10pm
security
Servers
tools
Resiliency
Human behavior
standards
malware
static analysis
pubcrawl
static program analysis
W3C Standards
Webassembly
composabiity
biblio
BinSide : Static Analysis Framework for Defects Detection in Binary Code
Submitted by aekwall on Fri, 08/12/2022 - 4:10pm
static code analysis
Human behavior
composability
Resiliency
binary static analysis
composabiity
Conferences
defects detection
Engines
Libraries
optimization
pubcrawl
Software
static analysis
tools
value analysis
biblio
Impact of Coding Styles on Behaviours of Static Analysis Tools for Web Applications
Submitted by aekwall on Fri, 08/12/2022 - 4:09pm
static code analysis
Human behavior
composability
Resiliency
coding styles
composabiity
cross-site scripting
Electronic mail
encoding
pubcrawl
Registers
software security
static analysis
static analysis tools
tools
web vulnerabilities
biblio
An Android Application Vulnerability Mining Method Based On Static and Dynamic Analysis
Submitted by aekwall on Fri, 08/12/2022 - 4:08pm
security
tools
feature extraction
Resiliency
Human behavior
Data mining
static analysis
pubcrawl
dynamic analysis
Android app
Androids
Humanoid robots
vulnerability mining
composabiity
biblio
Inter-Language Static Analysis for Android Application Security
Submitted by aekwall on Fri, 08/12/2022 - 4:08pm
Conferences
tools
static analysis
pubcrawl
Mobile Security
malware
Java
Inter-language
Information systems
data-flow analysis
static code analysis
Computer Software and Theory
composabiity
Binary Analysis
application security
android
Resiliency
composability
Human behavior
biblio
Vulnerability Detection for Smart Grid Devices via Static Analysis
Submitted by aekwall on Fri, 08/12/2022 - 4:03pm
composability
feature extraction
Human behavior
model checking
pubcrawl
Resiliency
security
smart grid devices
Smart Grids
static analysis
Syntactics
tools
vulnerability detection
biblio
AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
Submitted by aekwall on Fri, 08/12/2022 - 4:03pm
Reliability
tools
Resiliency
Human behavior
composability
Semantics
static analysis
pubcrawl
maintenance engineering
Computer bugs
Automated Program Repair
Avatars
fix pattern.
biblio
Active Learning to Improve Static Analysis
Submitted by aekwall on Fri, 08/12/2022 - 4:02pm
security
Predictive models
Training
tools
Resiliency
Human behavior
composability
Prediction algorithms
static analysis
pubcrawl
Forestry
active learning
biblio
Abstract Modeling of System Communication in Constructive Cryptography using CryptHOL
Submitted by aekwall on Fri, 08/12/2022 - 3:53pm
Cryptography
Computational modeling
tools
computer security
Complexity theory
pubcrawl
composability
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
