Cryptographically-masked flows

DOI10.1016/J.TCS.2008.04.028MaRDI QIDQ935463zbMATH OpenOpenAlexFDO

Authors Aslan Askarov, Daniel Hedin, Andrei Sabelfeld

Publication date 6 August 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://research.chalmers.se/en/publication/79624

zbMATH Keywords

cryptographyinformation flowlanguage-based securitynoninterferencesecurity type systems

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Cryptographically-Masked Flows
• On the computational soundness of cryptographically masked flows
• Secure guarded commands
• Semantics and program analysis of computationally secure information flow
• Cryptographically sound implementations for typed information-flow security

Cites work

• Certification of programs for secure information flow
• CONCUR 2005 – Concurrency Theory
• Cryptographically-Masked Flows
• Encryption-scheme security in the presence of key-dependent messages
• Fundamentals of Computation Theory
• Handling encryption in an analysis for secure information flow
• On the computational soundness of cryptographically masked flows
• On the secure implementation of security protocols
• Probabilistic polynomial-time process calculus and security protocol analysis
• Relations among notions of security for public-key encryption schemes
• Secrecy by typing in security protocols
• Semantics and program analysis of computationally secure information flow
• Verifying secrets and relative secrecy

Cited in

(12)

• Implicit flows in malicious and nonmalicious code
• Towards a Type System for Security APIs
• Cryptographically sound implementations for typed information-flow security
• On the computational soundness of cryptographically masked flows
• Secure guarded commands
• Cryptographically-Masked Flows
• All Secrets Great and Small
• Handling encryption in an analysis for secure information flow
• Computational probabilistic non-interference
• Information and Communications Security
• Fundamentals of Computation Theory
• Possibilistic information flow control in the presence of encrypted communication

This page was built for publication: Cryptographically-masked flows

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