3 papers
cs.CR2022
The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code)
Dominic P. Mulligan, Nick Spinale
Interactive theorem proving software is typically designed around a trusted proof-checking kernel, the sole system component capable of authenticating theorems. Untrusted automatio…
cs.CR2022
Private delegated computations using strong isolation
Mathias Brossard, Guilhem Bryant, Basma El Gaabouri +12
Sensitive computations are now routinely delegated to third-parties. In response, Confidential Computing technologies are being introduced to microprocessors, offering a protected…
math.NT2020
Newly reducible polynomial iterates
Peter Illig, Rafe Jones, Eli Orvis +2
Given a field and , we say that a polynomial has newly reducible th iterate over if is irreducible over , but is not (here d…