All Secrets Great and Small

DOI10.1007/978-3-642-00590-9_16MaRDI QIDQ3617701zbMATH OpenOpenAlexFDO

Authors Delphine Demange, David Sands

Publication date 31 March 2009

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00590-9_16

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data encryption (aspects in computer science) (68P25)

Recommendations

• scientific article; zbMATH DE number 1692935
• A semantic approach to secure information flow
• Verifying secrets and relative secrecy
• Cryptographically-Masked Flows
• Cryptographically-masked flows

Cited in

(11)

• A secrecy-preserving language for distributed and object-oriented systems
• Inferring secrets by guided experiments
• Keeping secrets in resource aware components
• From exponential to polynomial-time security typing via principal types
• Implicit flows in malicious and nonmalicious code
• Non-termination and secure information flow
• A catalogue of hidden momenta
• Verifying secrets and relative secrecy
• Just Forget It – The Semantics and Enforcement of Information Erasure
• Output-sensitive information flow analysis
• A milestone reached and a secret revealed

This page was built for publication: All Secrets Great and Small

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