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
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO » Countries

Canada

file

Visible to the public NSERC CANADIAN ROBOTICS NETWORK

Submitted by JasonGigax on Thu, 04/28/2022 - 5:13pm. Contributor:
  • Greg Dudek
  • Invited Talk Slides
  • NRI PI Meeting 2022
  • 2022
  • Canada
  • Presentation
file

Visible to the public Venus: To Make Canada a Global Leader in Cybersecurity

Submitted by Dan Craigen on Fri, 11/01/2013 - 12:09pm. Contributor:
  • Dan Craigen
  • Science of Security
  • Foundations
  • Canada
  • Cybersecurity
  • Venus
  • Canada
  • Presentation
  • SoS Quarterly Lablet Meeting, Sept '13 at CMU
file

Visible to the public Secure Software from Design to Binary

Submitted by TimTh on Mon, 09/12/2011 - 2:21pm. Contributors:
  • Martin Salois
  • Robert Charpentier

Presented as part of the 2003 HCSS conference.

  • Defense Research and Development Canada
  • Canada
  • Presentation
  • HCSS '03
  • HCSS 2003
file

Visible to the public Practical Verification & Safeguard Tools for C/C++ and Java

Submitted by TimTh on Tue, 08/23/2011 - 10:14am. Contributor:
  • Fred Michaud

Presented as part of the 2006 HCSS conference.

  • DRDC
  • Canada
  • Presentation
  • HCSS '06
  • HCSS 2006
file

Visible to the public Is Software Assurance an Oxymoron? Is Mathematics a Resolution?

Submitted by Dan Craigen on Mon, 08/22/2011 - 3:34pm. Contributor:
  • Dan Craigen

Presented as part of the 2006 HCSS conference.

  • Communications Security Establishment
  • Canada
  • Presentation
  • HCSS '06
  • HCSS 2006

Terms of Use  |  ©2023. CPS-VO