This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Frank Piessens

A grouping.

Frank Piessens, KU Leuven: program verification (VeriFast, 2011) and its hardware-security continuation in the 2026 sCHERI record. Three records.

SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI

Shixin Song and others (2026)

VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java

Bart Jacobs and others (2011) · NASA Formal Methods · Springer

The 1st Verified Software Competition: Experience Report

Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer

Frank Piessens

3 references