Laboratoire Méthodes Formelles (LMF)
… machine in the presence of untrusted code Armael Gueneau 02/12/24 Journal of the ACM From Local to Global … Extensions and Simplifications Alexandre Clément, Renaud Vilmart 02/01/24 Leibniz International Proceedings in … 69 : Engineering 7 : Physics and Astronomy 7 : Decision Sciences 7 : Arts and Humanities 5 : Biochemistry, Genetics …Published on: