Efficient proofs of software exploitability for real-world processors

CRAhttps://eprint.iacr.org/2022/1223.pdfPublished versio

Efficient Proofs of Software Exploitability for Real-world Processors

We consider the problem of proving in zero-knowledge the existence of vulnerabilities in executables compiled to run on real-world processors. We demonstrate that it is practical to prove knowledge of real exploits for real-world processor architectures without the need for source code and without limiting our consideration to narrow vulnerability classes. To achieve this, we devise a novel circuit compiler and a toolchain that produces highly optimized, non-interactive zero-knowledge proofs for programs executed on the MSP430, an ISA commonly used in embedded hardware. Our toolchain employs a highly optimized circuit compiler and a number of novel optimizations to construct efficient proofs for program binaries. To demonstrate the capability of our system, we test our toolchain by constructing proofs for challenges in the Microcorruption capture the flag exercises

Aires protégées et lutte contre les bioinvasions : des objectifs antagonistes ? Le cas de Psidium cattleianum Sabine (Myrtaceae) autour du parc national de Ranomafana à Madagascar

International audienceLa question des bioinvasions est un sujet peu abordé et pris en compte par les politiques environnementales à Madagascar. Pourtant de nombreuses études montrent qu'au contraire, nombre d'écosystèmes et d'espèces sont menacés à moyen terme par les invasions. Nous nous proposons dans cette étude de mieux cerner les enjeux des bioinvasions à Madagascar à travers le cas de Psidium cattleianum. Son historique d'introduction dans la région du couloir Ranomafana-Andringitra (deux sites écologiquement contractés sur les Hautes-Terres malgaches) est relaté. Nous analyserons ensuite les dynamiques écologiques liés à l'invasion d'un site par cette espèce et en caractérisant ces effets sur la biodiversité végétale. Enfin, le rôle des animaux disperseurs de graines (homme, bovins et animaux sauvages du PN de Ranomafana) dans cette dynamique, a été analysé comme vecteur clé de l'invasion. Finalement, l'importance des usages de P. cattleianum par les populations locales a été montrée afin de discuter d'une possible lutte intégrée (lutte-valorisation économique) contre cette espèce hautement invasive

Aires protégées et lutte contre les bioinvasions : des objectifs antagonistes ? Le cas de Psidium cattleianum Sabine (Myrtaceae) autour du parc national de Ranomafana à Madagascar.

Bioinvasion is a subject that has not been widely addressed and taken into account within environmental policy in Madagascar. However, many studies seem to show how ecosystems and species could be threatened in the medium term by invasive species. This study attempts to understand the history of introduction of Psidium cattleianum into the area of the Ranomafana-Andringitra corridor (between two ecologically-contrasting sites on the Malagasy highlands) and analyzes the ecological dynamics during the invasion of a site by this species and characterizes its effects on the biodiversity. Furthermore, the role of the faunal species as seed-dispersers (man, bovines and indigenous animals of the Ranomafana National Park) seems to be key vectors of the invasion. Finally, the important use of P. cattleianum by the local populations has been demonstrated in order to discuss a possible integrated effort to combat this highly invasive species while providing an economic return