Linked Presentation: DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed ProtocolsDesign and Verification of the Arm Confidential Compute ArchitectureUPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing
