Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
Journal
Overview
Identifiers
View All
Overview
publication venue for
Verifying secrets and relative secrecy
2000
Secure information flow in a multi-threaded imperative language
1998
Identifiers
International Standard Serial Number (ISSN)
0730-8566