Quantified interference for a while language

MaRDI QIDQ2849851zbMATH OpenFDO

Authors David Clark, Sebastian Hunt, Pasquale Malacaria

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104052478

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Information theory and security: Quantitative information flow
• The complexity of quantitative information flow in recursive programs
• Quantitative Information Flow, Relations and Polymorphic Types
• Assessing security threats of looping constructs
• Quantifying Information Leakage in Process Calculi

Cited in

(10)

• Synthesis from hyperproperties
• Quantitative information flow as safety and liveness hyperproperties
• Anonymity protocols as noisy channels
• Anonymity Protocols as Noisy Channels
• On Privacy and Accuracy in Data Releases (Invited Paper)
• A monotonicity principle for information theory
• Compositional Methods for Information-Hiding
• Information hiding in probabilistic concurrent systems
• Return value prediction meets information theory
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Quantified interference for a while language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849851)