Provably Secure Virus Detection: Using The Observer Effect Against Malware.

DOI10.4230/LIPIcs.ICALP.2016.32zbMath1388.68025OpenAlexW2539207008MaRDI QIDQ4598168

Vassilis Zikas, Rafail Ostrovsky, Richard J. Lipton

Publication date: 19 December 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#LiptonOZ16

zbMATH Keywords

cryptographyprovable securitysoftware attestation

Mathematics Subject Classification ID

Cryptography (94A60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Provably-Secure Remote Memory Attestation for Heap Overflow Protection

This page was built for publication: Provably Secure Virus Detection: Using The Observer Effect Against Malware.