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, Galois, 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
68 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
101 downloads
Download
Galois
Presentation
Industry
HCSS '01
Current search
[×]
clayton
OR
lewis
[×]
Keywords
: Galois
[×]
Date authored
: 2012
Guided search
Click a term to refine your current search.
Group
2013 High Confidence Software and Systems Conference
(3)
Keywords
:
all
» Galois
Content type
File
(3)
Document Type
Presentation
(2)
Publications
(1)
Contributor(s)
Jeff Lewis
(3)
Document Source
Industry
(3)
Author
adyson
(3)
Date authored
:
all
» 2012
February, 2012
(3)
Keyword search
Search within results
More options
143.19 KB
