Runtime Verification of Information flow: Policy-Based Runtime Verification of Information Flow Control

Simplifying Runtime Verification of Distributed Programs: Ameliorating the State Space Explosion Problem

Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)

Breaking Barriers in HW-to-SW Stack Verification: Virtual Prototyping meets Metamorphic Testing and Dynamic Runtime Instrumentation

Efficient Sensitive Information Obscurer Drum Stamp Quick Veiling on Various Articles Including Verifications Declarations Recyclable ABS Polystyrene Construction Invoice Obstacle