Laboratoire Méthodes Formelles (LMF)
… Laboratoire Méthodes Formelles (LMF) Laboratoire Méthodes Formelles (LMF) ENS Paris-Saclay CentraleSupélec CNRS … on a capability machine in the presence of untrusted code Armael Gueneau 02/12/24 Journal of the ACM From Local to … Laboratoire Méthodes Formelles (LMF) ENS Paris-Saclay CentraleSupélec CNRS …Published on: