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
»
Countries
Canada
file
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
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
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
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
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