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

DOI10.4230/LIPICS.ICALP.2016.32MaRDI QIDQ4598168zbMATH OpenOpenAlexFDO

Authors Richard J. Lipton, Rafail Ostrovsky, Vassilis Zikas

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

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

Recommendations

• Efficient malware detection using model-checking
• Hunting distributed malware with the \(\kappa \)-calculus

Cited in

(2)

• Provably-secure remote memory attestation for heap overflow protection
• scientific article; zbMATH DE number 1420969 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4598168)