Cryptographically-Masked Flows

DOI10.1007/11823230_23MaRDI QIDQ3613392zbMATH OpenOpenAlexFDO

Authors Aslan Askarov, Daniel Hedin, Andrei Sabelfeld

Publication date 12 March 2009

Published in Static Analysis (Search for Journal in Brave)

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

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
• Cryptographically sound implementations for typed information-flow security
• Semantics and program analysis of computationally secure information flow

Cited in

(12)

• 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
• All Secrets Great and Small
• Handling encryption in an analysis for secure information flow
• Computational probabilistic non-interference
• Information and Communications Security
• A survey of symbolic methods in computational analysis of cryptographic systems
• Fundamentals of Computation Theory
• Possibilistic information flow control in the presence of encrypted communication
• Cryptographically-masked flows

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 Q3613392)