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
Information Flow Control
biblio
Multiple Facets for Dynamic Information Flow with Exceptions
Submitted by grigby1 on Thu, 02/15/2018 - 10:44am
dynamic analysis
pubcrawl
Resiliency
Human behavior
Human Factors
web security
Scalability
resilience
human factor
JavaScript
Information Flow Control
Cross Site Scripting (XSS)
Cross Site Scripting
biblio
End-to-end Verification of Information-flow Security for C and Assembly Programs
Submitted by K_Hooper on Fri, 10/13/2017 - 9:33am
Certified OS Kernels
Information Flow Control
Metrics
program verification
pubcrawl
Resiliency
scalabilty
Securing Compilers
Security Policy Specification
Security-Preserving Simulation
biblio
DroidDisintegrator: Intra-Application Information Flow Control in Android Apps
Submitted by grigby1 on Tue, 09/19/2017 - 11:14am
Android permissions
Android security
application analysis
application security
dynamic analysis
Human behavior
IFC
Information Flow Control
Metrics
Mobile Security
natural language processing
pubcrawl
Resiliency
biblio
Data-Centric Access Control for Cloud Computing
Submitted by grigby1 on Mon, 04/24/2017 - 10:42am
Big Data
big data privacy
big data security
big data security in the cloud
Cloud Computing
composability
Data protection
Human behavior
Information Centric Networks
Information Flow Control
pubcrawl
Resiliency
Scalability
file
Safety Assurance of Cyber-Physical Systems Through Secure and Verifiable Information Flow Control
Submitted by edwardsuh on Mon, 02/01/2016 - 4:37am. Contributors:
G. Edward Suh
Mark Campbell
Andrew C. Myers
Abstract:
CPS Domains
Automotive
Concurrency and Timing
Platforms
Control
Transportation
Validation and Verification
CPS Technologies
Foundations
Autonomous Driving
Cornell University
CPS Safety
Information Flow Control
Safety
security
2015 CPS PI MTG Videos, Posters, and Abstracts
1544788
National CPS PI Meeting 2015
2015
Academia
Abstract
Poster
biblio
Protection against Web 2.0 Client-Side Web Attacks Using Information Flow Control
Submitted by BrandonB on Wed, 05/06/2015 - 1:03pm
Information Leakage
Web pages
Web 2.0 client-side Web attacks
Web 2.0
social networks
Servers
Semantics
security
secure browsing environment
protection systems
malicious script injection
legitimate Web sites
invasive software
internet
AJAX
Information Flow Control
IDS systems
firewalls
feature extraction
Data protection
cyber-criminals
cross-site scripting
cross-site request forgery
Computer crime
Client-side web attacks
Browsers
botnets
antivirus solutions
biblio
Protection against Web 2.0 Client-Side Web Attacks Using Information Flow Control
Submitted by BrandonB on Wed, 05/06/2015 - 9:32am
Information Leakage
Web pages
Web 2.0 client-side Web attacks
Web 2.0
social networks
Servers
Semantics
security
secure browsing environment
protection systems
malicious script injection
legitimate Web sites
invasive software
internet
AJAX
Information Flow Control
IDS systems
firewalls
feature extraction
Data protection
cyber-criminals
cross-site scripting
cross-site request forgery
Computer crime
Client-side web attacks
Browsers
botnets
antivirus solutions
biblio
Protection against Web 2.0 Client-Side Web Attacks Using Information Flow Control
Submitted by BrandonB on Tue, 05/05/2015 - 9:51am
Information Leakage
Web pages
Web 2.0 client-side Web attacks
Web 2.0
social networks
Servers
Semantics
security
secure browsing environment
protection systems
malicious script injection
legitimate Web sites
invasive software
internet
AJAX
Information Flow Control
IDS systems
firewalls
feature extraction
Data protection
cyber-criminals
cross-site scripting
cross-site request forgery
Computer crime
Client-side web attacks
Browsers
botnets
antivirus solutions
biblio
Examining Reliability of Wireless Multihop Network Routing with Linear Systems
Submitted by rudra on Wed, 09/17/2014 - 5:31pm
Control
Modeling
Wireless Sensing and Actuation
CPS Technologies
Foundations
control
CPS Technologies
foundations
Information Flow Control
modeling
multihop networks
Reliability
stochastic dynamic systems
Systems Security
wireless sensing and actuation
Information Flow Control
Systems Security
« first
‹ previous
1
2
