Leveraging rust types for modular specification and verification. - Vytautas Astrauskas; Peter Müller 001; Federico Poli 001; Alexander J. Summers (Proc. ACM Program. Lang., 2019)

How do programmers use unsafe rust? - Vytautas Astrauskas; Christoph Matheja; Federico Poli 001; Peter Müller 001; Alexander J. Summers (Proc. ACM Program. Lang., 2020)

The Prusti Project: Formal Verification for Rust. - Vytautas Astrauskas; Aurel Bílý; Jonás Fiala; Zachary Grannan; Christoph Matheja; Peter Müller 001; Federico Poli 001; Alexander J. Summers (NFM, 2022)

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities. - Federico Poli 001; Xavier Denis; Peter Müller 001; Alexander J. Summers (CoRR, 2024)

Enabling Rich Lightweight Verification of Rust Software. - Federico Poli 001 (2024)