Algebraic power analysis by abstract interpretation

DOI10.1007/s10990-004-4867-yzbMath1099.68053OpenAlexW2035606262WikidataQ62046242 ScholiaQ62046242MaRDI QIDQ2386354

Isabella Mastroeni

Publication date: 22 August 2005

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-004-4867-y

zbMATH Keywords

abstract domainssoftware watermarking

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theory of software (68N99)

This page was built for publication: Algebraic power analysis by abstract interpretation