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
data flow analysis
biblio
Carraybound: Static Array Bounds Checking in C Programs Based on Taint Analysis
Submitted by grigby1 on Tue, 05/30/2017 - 1:06pm
array index out-of-bounds
composability
data flow analysis
Metrics
pubcrawl
static analysis
taint analysis
file
Breaux_Detect_Repurpose_TB.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 3:11pm
CMU
data flow analysis
July'15
privacy principles
requirements validation
biblio
Detecting Repurposing and Over-Collection in Multi-party Privacy Requirements Specifications
Submitted by Jamie Presken on Wed, 12/07/2016 - 3:11pm
CMU
data flow analysis
July'15
privacy principles
requirements validation
CMU
July'15
biblio
Preventing Client Side XSS with Rewrite Based Dynamic Information Flow
Submitted by BrandonB on Tue, 05/05/2015 - 10:49am
Semantics
JavaScript abstract syntax tree
JavaScript code
JSTFlow
online front-ends
performance overhead
rewrite based dynamic information flow
security
security of data
JavaScript
sensitive information leaks
Syntactics
taint engine
taint model
tainted information flow
web applications
XSS attacks
abstract intermediate representation
Java
internet
information security
information flow tracking framework
information flow analysis
fine-grained isolation
Engines
Data models
data flow analysis
cross-site scripting
code rewrite
client side XSS
Browsers
browser proxy
Abstracts
« first
‹ previous
1
2
