Olivier Levillain

Learn More
Trusted computing has been explored through several international initiatives. Trust in a platform generally requires a subset of its components to be trusted (typically, the CPU, the chipset and a virtual machine hypervisor). These components are granted maximal privileges and constitute the so called Trusted Computing Base (TCB), the size of which should(More)
The kidney plays a key role in arginine metabolism. Arginine production is controlled by argininosuccinate synthetase (ASS) and argininosuccinate lyase (ASL) which metabolize citrulline and aspartate to arginine and fumarate whereas arginine consumption is dependent on arginine:glycine amidinotransferase (GAT), which mediates creatine and ornithine(More)
As in human disease, macrophages (MØ) are central players in the development and progression of experimental atherosclerosis. In this study we have evaluated the phenotype of MØ associated with progression of atherosclerosis in the apolipoprotein E (ApoE) knockout (KO) mouse model.We found that bone marrow-derived MØ submitted to M1 and M2 polarization(More)
Microdissected rat proximal straight tubules (PST) and inner medullary collecting ducts (IMCD) highly produce urea from l-arginine, supporting the expression of the mitochondrial arginase II. However, IMCD contain a very low density of mitochondria compared with PST. Recently, arginase II has been localized by immunohistochemistry in rat PST but not IMCD.(More)
Over the years, SSL/TLS has become an essential part of internet security. As such, it should offer robust and state-of-the-art security, in particular for HTTPS, its first application. Theoretically, the protocol allows for a trade-off between secure algorithms and decent performance. Yet in practice, servers do not always support the latest version of the(More)
The renal basic amino acid metabolism often differs in rodents, strict carnivores, and omnivore species. Given the pivotal role of L-arginine and L-ornithine in several metabolic pathways and the fact that the dog is closely related to humans, being also an omnivore, we tested whether L-arginine metabolism and L-ornithine catabolism take place in the dog(More)
Static analysis is a difficult task, partly because programming languages are extremely rich, and have intricate semantics with architecture-dependent aspects. We have therefore chosen to design New-speak, a kernel language dedicated to the purpose of static analysis. And, we have implemented a front-end, C2Newspeak, that translates C programs into(More)
The role of polyamines in renal physiology is only partially understood. Moreover, most of the data on the enzymes of polyamine metabolism come from studies using whole kidneys. The aim of the present study was to analyze the mRNA abundance of the genes implicated in both the polyamine biosynthetic and catabolic pathways in different renal zones of male and(More)
Introduction • The goal of this presentation is to explain why security should be taken into account during the early steps of any new hardware or software technology design. • We consider the example of System Management Mode, one of the legacy modes of operation of modern x86 and x86-64 CPUs. • System Management Mode is a highly privileged mode, and(More)
—Following several studies conducted by the French Network and Information Security Agency (ANSSI), this paper discusses the question of the intrinsic security characteristics of programming languages. Through illustrations and discussions, it advocates for a different vision of well-known mechanisms and is intended to provide some food for thoughts(More)