Flyn Computing
Flyn Computing
Open Source
Patches
Projects
Research
CDX
Proposals
Publications
Reading List
Statistics
System integration
Notes
SRPMs
Teaching
CS120
CS456/556
Light
Dark
Automatic
Ethos' Deeply Integrated Distributed Types
W. Michael Petullo
,
Jon A. Solworth
,
Wenyuan Fei
,
Pat Gavlin
May 2014
PDF
Cite
Type
Conference paper
Publication
Proceedings of the 2014 IEEE Security and Privacy Workshops
academic
LangSec
accepted-14
type safety
Related
Teaching Computer Security
On the Generality and Convenience of Etypes
Improving Application Security Through TLS-Library Redesign
The Use of Cyber-Defense Exercises in Undergraduate Computing Education
Studying Naive Users and the Insider Threat with SimpleFlow
Cite
×