Cryptographically-masked flows

DOI10.1016/j.tcs.2008.04.028zbMath1146.68032OpenAlexW2010252434MaRDI QIDQ935463

Andrei Sabelfeld, Daniel Hedin, Aslan Askarov

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

cryptographynoninterferenceinformation flowlanguage-based securitysecurity type systems

Mathematics Subject Classification ID

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

Cites Work

• Secrecy by typing in security protocols
• On the computational soundness of cryptographically masked flows
• Cryptographically-Masked Flows
• Certification of programs for secure information flow
• Verifying secrets and relative secrecy
• Fundamentals of Computation Theory
• CONCUR 2005 – Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Cryptographically-masked flows