Linked Presentation: DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed ProtocolsBlackBox: A Container Security Monitor for Protecting Containers on Untrusted Operating SystemsDesign and Verification of the Arm Confidential Compute ArchitectureUPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing