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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
program testing
biblio
FIoT: Detecting the Memory Corruption in Lightweight IoT Device Firmware
Submitted by
aekwall
on Mon, 01/20/2020 - 11:13am
computer network security
Scalability
Internet of Things
security
performance evaluation
system monitoring
Resiliency
pubcrawl
policy-based governance
program testing
Libraries
static analysis
firmware
program diagnostics
Human Factors
operating systems (computers)
program compilers
Loading
lightweight IoT devices
address determination analysis
backward slice approach
binary code snippets
Binary codes
binary firmware
CFG recovery approach
dynamic analysis framework
dynamic analysis techniques
embedded firmware source code
FIoT framework
firmware analysis
firmware images
fuzzing
fuzzing test
hardware architectures
IoT device operating systems
IoT industry
library function identification approach
lightweight IoT device firmware images
lightweight IoT firmware
memory corruption
memory corruption vulnerabilities
Microprogramming
Program slicing
security researchers
time 170.0 s
time 210.0 s
time 40.0 s
zero trust
biblio
Vulnerability Prediction Based on Weighted Software Network for Secure Software Building
Submitted by
grigby1
on Tue, 11/12/2019 - 3:25pm
Complexity theory
Metrics
prediction model
Predictive models
predictive security metrics
program testing
pubcrawl
public security vulnerabilities
secure communications software
secure software building
security
security of data
software metrics
Software Security Metrics
software security testing
software system
Software systems
vulnerability prediction models
vulnerable classes
vulnerable software modules
weighted software network
biblio
ROPMate: Visually Assisting the Creation of ROP-based Exploits
Submitted by
aekwall
on Mon, 10/14/2019 - 9:20am
Buildings
code reuse
composability
data analysis
data visualisation
Human behavior
Malware Analysis
program testing
programming
pubcrawl
Registers
Resiliency
return oriented programming
return-oriented programming
rop attacks
ROP chains
ROP Exploits
ROP-based attacks
ROP-based exploits
ROPMate
Scalability
security
security of data
semantically correct chains
semantically meaningful gadgets
software reliability
Task Analysis
tools
visual aids
visual analytics
visual analytics system
biblio
Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis
Submitted by
aekwall
on Mon, 08/26/2019 - 9:07am
assertion recommendation
formal program verifcation
Hardware
Human behavior
Metrics
pattern matching
policy-based governance
program testing
program weakness
pubcrawl
resilience
security
security weaknesses
Software
Syntactics
testing
tools
biblio
Research of Industrial Control System Device Firmware Vulnerability Mining Technology Based on Taint Analysis
Submitted by
grigby1
on Thu, 05/09/2019 - 9:46am
component
Data mining
device firmware
firmware
fuzzing test
Hardware
industrial control
industrial control system
industrial control system device firmware vulnerability mining technology
Industrial Control Systems
integrated circuits
Microprogramming
program testing
pubcrawl
resilience
Resiliency
Scalability
scalable
security
security of data
Software
taint analysis
taint analysis technology
test efficiency
vulnerability mining
biblio
FP -TESTER : Automated Testing of Browser Fingerprint Resilience
Submitted by
grigby1
on Fri, 04/05/2019 - 9:27am
privacy
internet
data privacy
security of data
testing
resilience
pubcrawl
Human behavior
Metrics
Browsers
Entropy
online front-ends
Browser Fingerprinting
Fingerprint recognition
Browser Security
Compositionality
program testing
Sociology
Statistics
Resiliency
Automated Testing
browser fingerprint resilience
browser tracking
browser vendors
FP-TESTER
privacy leaks
software tools
testing toolkit
biblio
Vulnerability Analysis of Content Management Systems to SQL Injection Using SQLMAP
Submitted by
aekwall
on Mon, 02/25/2019 - 10:39am
Computer crime
Computer hacking
content management
content management systems
Cybersecurity
data confidentiality
data integrity
Data protection
Databases
Drupal website pages
Human behavior
internet
Joomla website pages
LAMP server
Metrics
Nikto
Penetration Testing
policy-based-governance
privacy
program testing
pubcrawl
Resiliency
security vulnerability
SQL
SQL injection
SQLI
SQLi vulnerabilities
SQLMAP
tools
Vulnerability
Vulnerability Analysis
vulnerability scanner
Web application
web applications
Web sites
websites
WordPress
biblio
T-Fuzz: Fuzzing by Program Transformation
Submitted by
grigby1
on Thu, 02/14/2019 - 10:20am
security
security of data
Software
tools
pubcrawl
Metrics
composability
taint analysis
program debugging
program testing
Libraries
fuzzing
program diagnostics
bug finding
code paths
Computer bugs
coverage-guided fuzzer
deep execution paths
dynamic tracing based technique
Fuzz
fuzzer-generated inputs
fuzzing transformed programs
input checks
input mutation techniques
program analysis
program transformation
program verification
randomly generated inputs
software bugs
symbolic execution-based approach
t-fuzz approach
biblio
Vulnerability Detection on Mobile Applications Using State Machine Inference
Submitted by
grigby1
on Mon, 01/21/2019 - 11:15am
Android (operating system)
Androids
Compositionality
finite state machines
Human behavior
Humanoid robots
Inference algorithms
learning (artificial intelligence)
machine learning
Metrics
mobile Android applications
Mobile Application
mobile application security
Mobile Applications
mobile computing
model inference
program testing
pubcrawl
Resiliency
security
security of data
security violations
state machine inference
state machine learning
testing
testing methodology
vulnerability detection
biblio
Development of a suite of IPv6 vulnerability scanning tests using the TTCN-3 language
Submitted by
grigby1
on Mon, 01/21/2019 - 11:15am
Address autoconfiguration
application security
attacks simulation
Compositionality
Computer crime
denial of service
denial-of-service attack detection
Device Security
dual-stack networks
Duplicate Address Detection
Formal Specification
Human behavior
ICMPv6 Protocol
internet
IP networks
IPv4 IPv6 protocol
IPv6
IPv6 networks
IPv6 vulnerability scanning tests
Linux
Metrics
network communications
passive analysis
program testing
Protocols
Prototypes
pubcrawl
Resiliency
security of data
specification languages
telecommunication computing
telecommunication security
test extensibility
test maintainability
test specification language
testing
Testing and Test Control Notation version 3
transport protocols
TTCN-3
TTCN-3 language
vulnerability assessment
vulnerability detection
Vulnerability Management
vulnerability scanning
1
2
3
next ›
last »
