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
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Taxonomic Search: clayton OR lewis, Industry, 2012
3 results
Results
file
Cryptol: A Domain Specific Language for Cryptography
Submitted by
adyson
on Wed, 02/15/2012 - 5:55pm. Contributor:
Jeff Lewis
1.28 MB
0 views
73 downloads
Download
Galois
Presentation
Industry
Jeff Lewis
HCSS '02
file
A Brief Introduction to Cryptol
Submitted by
adyson
on Thu, 02/09/2012 - 3:05pm. Contributor:
Jeff Lewis
143.14 KB
0 views
67 downloads
Download
Galois
Conference paper
Industry
HCSS '01
file
Cryptol: A Domain-Specific Language for Cryptographic Service Providers
Submitted by
adyson
on Thu, 02/09/2012 - 3:02pm. Contributor:
Jeff Lewis
143.19 KB
0 views
100 downloads
Download
Galois
Presentation
Industry
HCSS '01
Current search
[×]
clayton
OR
lewis
[×]
Document Source
: Industry
[×]
Date authored
: 2012
Guided search
Click a term to refine your current search.
Group
2013 High Confidence Software and Systems Conference
(3)
Keywords
Galois
(3)
Content type
File
(3)
Document Type
Presentation
(2)
Publications
(1)
Contributor(s)
Jeff Lewis
(3)
Document Source
:
all
» Industry
Author
adyson
(3)
Date authored
:
all
» 2012
February, 2012
(3)
Keyword search
Search within results
More options
143.19 KB
