Abigail Pribisova -

Registered user since Sun 11 Jan 2026

Name:Abigail Pribisova

Affiliation:MPI-SP and MPI-SWS

Contributions

2026

PriSC

Author of Towards formally secure compilation of verified F* programs against unverified ML contexts within the PriSC-track