Formal Methods

Research Frontiers in Probabilistic Hyperproperties and Information Security

Formal verification of security properties that relate multiple execution traces to detect information leakage and covert channels in probabilistic systems.

All Formal Methods PhD categories