MMODELYST
People/Lucas C. Cordeiro
PPL

Lucas C. Cordeiro

Papers (2)
ConVer: Using Contracts and Loop Invariant Synthesis for Scalable Formal Software VerificationFedSurrogate: Backdoor Defense in Federated Learning via Layer Criticality and Surrogate Replacement