Skip to main content
Cyber-Physical Systems Virtual Organization CPS-VO
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Tools
  • Projects
  • PI Meetings
  • Communities
File
CAREER: Black-Box Learning of Web Application Authorization Policies
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Toward safe, private, and secure home automation: from formal modeling to user evaluation
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Security and Privacy Foundations of Internet-Scale User-Centered Automation
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
CAREER: Towards a Secure and Reliable Internet of Things through
 Automated Model Extraction and Analysis
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Toward safe, private, and secure home automation: from formal modeling to user evaluation
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
Subscribe to Formal Methods and Language-based Security Privacy
© 2026 Cyber-Physical Systems Virtual Organization

Footer

  • Terms