Taxonomic Search: John Launchbury

5 results

Results

file

The Role of Domain-Specific Techniques in Designed-In Security

Submitted by Katie Dey on Thu, 05/10/2012 - 4:45pm. Contributor:

John Launchbury

Abstract:

bytes
views
downloads
Download

file

Cryptol Tutorial, Worked Example

Submitted by adyson on Wed, 02/15/2012 - 5:33pm. Contributor:

John Launchbury

438.2 KB
0 views
111 downloads
Download

file

Cryptol Tutorial, Overview and Elements

Submitted by adyson on Wed, 02/15/2012 - 5:18pm. Contributor:

John Launchbury

465.42 KB
0 views
73 downloads
Download

file

Formal Models of AIM

Submitted by adyson on Thu, 02/09/2012 - 2:43pm. Contributor:

John Launchbury

18.93 KB
0 views
51 downloads
Download

file

Advanced Infosec Machine Model and DSLs

Submitted by adyson on Thu, 02/09/2012 - 2:35pm. Contributor:

John Launchbury

349.15 KB
0 views
45 downloads
Download

Current search

[×]

Contributor(s)

: John Launchbury

Guided search

Click a term to refine your current search.

Contributor(s)

: all » John Launchbury

Document Source

Industry (3)
Academia (2)

Author

adyson (4)
Katie Dey (1)

Date authored

2012 (5)

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

Taxonomic Search: John Launchbury

Results

The Role of Domain-Specific Techniques in Designed-In Security

Cryptol Tutorial, Worked Example

Cryptol Tutorial, Overview and Elements

Formal Models of AIM

Advanced Infosec Machine Model and DSLs

Current search

Contributor(s)

Guided search

Group

Keywords

Content type

Document Type

CPS Events

Contributor(s)

Document Source

Author

Date authored

Keyword search