On the computational soundness of cryptographically masked flows

DOI10.1145/1328438.1328479zbMath1295.68152OpenAlexW1972480720MaRDI QIDQ3189852

Peeter Laud

Publication date: 12 September 2014

Published in: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1328438.1328479

zbMATH Keywords

encryptionsecure information flowcomputational soundnesscryptographically masked flows

Mathematics Subject Classification ID

Cryptography (94A60) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Cryptographically-masked flows ⋮ A survey of symbolic methods in computational analysis of cryptographic systems

This page was built for publication: On the computational soundness of cryptographically masked flows