Cryptographically-Masked Flows

DOI10.1007/11823230_23zbMath1225.68086OpenAlexW1616718256MaRDI QIDQ3613392

Daniel Hedin, Aslan Askarov, 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

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

Related Items (2)

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

This page was built for publication: Cryptographically-Masked Flows