Formally verified differential dynamic logic. - Rose Bohrer; Vincent Rahli; Ivana Vukotic; Marcus Völp; André Platzer (CPP, 2017)

Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq. - Vincent Rahli; Ivana Vukotic; Marcus Völp; Paulo Jorge Esteves Veríssimo (ESOP, 2018)

Asphalion: trustworthy shielding against Byzantine faults. - Ivana Vukotic; Vincent Rahli; Paulo Jorge Esteves Veríssimo (Proc. ACM Program. Lang., 2019)

Formal Framework for Verifying Implementations of Byzantine Fault-Tolerant Protocols Under Various Models. - Ivana Vukotic (2020)