Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Proceedings of the Computer Security Foundations Workshop
Journal
Overview
Identifiers
View All
Overview
publication venue for
Tight Bounds on Information Leakage from Repeated Independent Runs
2017
Axioms for Information Leakage
2016
Correlated Secrets in Quantitative Information Flow
2016
Additive and multiplicative notions of leakage, and their capacities
2014
Measuring Information Leakage using Generalized Gain Functions
2012
Lenient array operations for practical secure information flow
2004
Probabilistic noninterference through weak probabilistic bisimulation
2003
A new type system for secure information flow
2001
Probabilistic noninterference in a concurrent language
1998
Eliminating covert flows with minimum typings
1997
Identifiers
International Standard Serial Number (ISSN)
1063-6900
Electronic International Standard Serial Number (EISSN)
2377-5459