Verifying Code Correctness of Protected Software through Translation Validation

Sebastian Schrittwieser

Research Group Security and Privacy

Publications: Contribution to journal › Article › Peer Reviewed

Original language	English
Journal	ERCIM News
Volume	139
Publication status	Published - 1 Oct 2024

Austrian Fields of Science 2012

102016 IT security

Access to Document

https://ercim-news.ercim.eu/en139/special/verifying-code-correctness-of-protected-software-through-translation-validation

1 Active

Assurance and Transparency in Software Protection (AsTra)
Schrittwieser, S. (Project Lead)
1/04/24 → 31/03/29
Project: Research cooperation

Cite this