Malware Windows Evasifs : Impact sur les Antivirus et Possible Contre-mesure

A Precise and Abstract Memory Model for C Using Symbolic Values

A Concrete Memory Model for CompCert

A generic framework to develop and verify security mechanisms at the microarchitectural level: application to control-flow integrity

DaViz: Visualization for Android Malware Datasets

CompCertS: A Memory-Aware Verified C Compiler using Pointer as Integer Semantics

OATs’inside : Retrieving Object Behaviors From Native-based Obfuscated Android Applications

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files

An XVisor extension using a Domain Specific Language to detect Rootkits in Virtual Machines

heRVé: towards a formally verified RISC-V processor with security mechanisms

Compiling Sandboxes: Formally Verified Software Fault Isolation

Side-Channel Resistant Applications through Co-designed Hardware/ Software: the SCRATCHS Project

CompCertS: A Memory-Aware Verified C Compiler using a Pointer as Integer Semantics

Formal Hardware/Software Models for Cache Locking Enabling Fast and Secure Code

STACS 2012 Special Issue

Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012)

Selbstorganisationen urbaner Strukturen

In situ characterization of liquid network structures at high pressure and temperature using X-ray absorption spectroscopy coupled with the Paris-Edinburgh press

X-ray Free Electron Laser-Induced Synthesis of ε-Iron Nitride at High Pressures

Stimulation of salivary secretion in vivo by CFTR potentiators in Cftr+/+ and Cftr−/− mice

DISCUSSION ON THE COMPOSITION AND TRANSPORT COEFFICIENTS CALCULATION MADE IN PLASMA OUT OF EQUILIBRIUM

Determination of the isomeric forms proportion of fluorogenic naphthalene-2,3-dicarboxaldehyde in a binary mixture of water:methanol using electrochemical methods.

Comet 17P/Holmes

Humans and Insects Decide in Similar Ways

Local Structures around Si, Al and Na in Hydrated Silicate Glasses

In situ speciation of nickel in hydrous melts exposed to extreme conditions.

Ecotoxicological impact of sulfamethoxazole on nitrogen cycling microbial communities, in agricultural amended soil

Self-administered intranasal etripamil using a symptom-prompted, repeat-dose regimen for atrioventricular-nodal-dependent supraventricular tachycardia (RAPID): a multicentre, randomised trial

Language impairment in the genetic forms of behavioural variant frontotemporal dementia

Formally verified compilation of low-level C code

Toward next-generation primate neuroscience: A collaboration-based strategic plan for integrative neuroimaging

NfL reliability across laboratories, stage-dependent diagnostic performance and matrix comparability in genetic FTD: a large GENFI study

Mediterranean winter rainfall in phase with African monsoons during the past 1.36 million years

Novel experimental setup for megahertz X-ray diffraction in a diamond anvil cell at the High Energy Density (HED) instrument of the European X-ray Free-Electron Laser (EuXFEL)

Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections

Alignment of the CMS Silicon Strip Tracker during stand-alone Commissioning

Age at symptom onset and death and disease duration in genetic frontotemporal dementia: an international retrospective cohort study

The environmental and evolutionary history of Lake Ohrid (FYROM/Albania): interim results from the SCOPSCO deep drilling project

CMS Physics Technical Design Report, Volume II: Physics Performance

MARK2 variants cause autism spectrum disorder via the downregulation of WNT/β-catenin signaling pathway

Calibration of the CMS Drift Tube Chambers and Measurement of the Drift Velocity with Cosmic Rays

Measurement of the Muon Stopping Power in Lead Tungstate

Alignment of the CMS Muon System with Cosmic-Ray and Beam-Halo Muons

Performance of the CMS Level-1 Trigger during Commissioning with Cosmic Ray Muons

Performance of the CMS Drift-Tube Local Trigger with Cosmic Rays

Commissioning and Performance of the CMS Pixel Tracker with Cosmic Ray Muons

Performance of CMS Muon Reconstruction in Cosmic-Ray Events

Performance of the CMS Drift Tube Chambers with Cosmic Rays

Identification and Filtering of Uncharacteristic Noise in the CMS Hadron Calorimeter