Type Inference and Informative Error Reporting for Secure Information Flow

doi 10.1145/1185448.1185567
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Information Flow Inference for ML

ACM SIGPLAN Notices
2002English

Fisher Information and Statistical Inference for Phase-Type Distributions

Journal of Applied Probability
MathematicsStatisticsUncertaintyProbability
2011English

Lenient Array Operations for Practical Secure Information Flow

English

Secure Information Flow via Stripping and Fast Simulation

English

Self-Adaptation and Secure Information Flow in Multiparty Communications

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2016English

Ignorable and Informative Designs in Survey Sampling Inference

Biometrika
StatisticsProbabilityUncertaintyApplied MathematicsBiological SciencesAgriculturalMathematics
1984English

Constraints Inference Channels and Secure Databases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Secure Program Execution via Dynamic Information Flow Tracking

Operating Systems Review (ACM)
HardwareComputer NetworksInformation SystemsArchitectureCommunications
2004English

Secure Program Execution via Dynamic Information Flow Tracking

ACM SIGPLAN Notices
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy