Gray-box monitoring of hyperproperties with an application to privacy

DOI10.1007/S10703-020-00358-WzbMath1502.68187OpenAlexW3126303719MaRDI QIDQ2147690

Gerardo Schneider, Sandro Stucki, Borzoo Bonakdarpour, César Sánchez

Publication date: 20 June 2022

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-020-00358-w

zbMATH Keywords

securityprivacyruntime verificationLTLmonitorabilitydata minimizationhyperLTLhyperproperty

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Privacy of data (68P27)

Related Items (1)

Monitorable hyperproperties of nonterminating systems

Uses Software

• JML
• z3
• KeY
• GitHub

Cites Work

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A brief account of runtime verification
• Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
• Symbolic execution and program testing

This page was built for publication: Gray-box monitoring of hyperproperties with an application to privacy