Physical Side-Channel Attacks on Embedded Neural Networks: A Survey

Data-Type Assessment for Real-Time Hyperspectral Classification in Medical Imaging

GoRG: Towards a GPU-Accelerated Multiview Hyperspectral Depth Estimation Tool for Medical Applications

Virtual Triggering: a Technique to Segment Cryptographic Processes in Side-Channel Traces

Porting a PCA-based hyperspectral image dimensionality reduction algorithm for brain cancer detection on a manycore architecture

Automatic instrumentation of dataflow applications using PAPI

Dataflow-Functional High-Level Synthesis for Coarse-Grained Reconfigurable Accelerators

Novel digital NGD Methodology for FPGA-based Embedded Systems

Attacking at non-harmonic frequencies in screaming-channel attacks

High-Level Synthesis-Based On-board Payload Data Processing considering the Roofline Model

On-board Payload Data Processing Combined with the Roofline Model for Hardware/Software Design

An abstract stack based approach to verified compositional compilation to machine code

Analyse statique de code dynamique

Preventing Serialization Vulnerabilities through Transient Field Detection

Isolating malicious code in Android malware in the wild

A Concrete Memory Model for CompCert

Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures

A Precise and Abstract Memory Model for C Using Symbolic Values

Abusing Android Runtime for Application Obfuscation

DaViz: Visualization for Android Malware Datasets

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

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

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

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

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

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

Compiling Sandboxes: Formally Verified Software Fault Isolation

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

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

STACS 2012 Special Issue

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

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

Selbstorganisationen urbaner Strukturen

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

Comet 17P/Holmes

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

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

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

Implementation of exponential and parametrized algorithms in the AGAPE project

Malware à base de canaux auxiliaires

Contre-mesures logicielles contre les fautes induisant des sauts

Network Information Hiding and Science 2.0: Can it be a Match?

Collaboration entre politiques MAC et IDS pour une approche basée sur une méta-politique

Attacking Smartphone Privacy Using Local Covert Channels

Team-based MAC policy over Security-Enhanced Linux

Security and results of a large-scale high-interaction honeypot

Detecting Local Covert Channels Using Process Activity Correlation on Android Smartphones

Comment ajouter de la privacy after design pour les applications Android ?