Publications

2024

Journal articles

titre

Novel digital NGD Methodology for FPGA-based Embedded Systems

auteur

Rivo Randriatsiferana, Jordane Lorandel, Ruben Salvador, Christophe Moy

article

IEEE Access, 2024, pp.1-14. ⟨10.1109/access.2024.3403033⟩

Accès au bibtex

Conference papers

titre

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

auteur

Hatchikian-Houdot Jean-Loup, Pierre Wilke, Frédéric Besson, Guillaume Hiet

article

ESORICS 2024 – 29th European Symposium on Research in Computer Security, Tomasz Marciniak; Michał Choraś; Sokratis Katsikas; Joaquin Garcia-Alfaro; Rafał Kozik, Sep 2024, Bydgoszcz, Poland. pp.153-173, ⟨10.1007/978-3-031-70896-1_8⟩

Accès au texte intégral et bibtex

titre

Opening the Black Box: How Boolean AI can Support Legal Analysis

auteur

Grazia Garzo, Stefano Ribes, Alessandro Palumbo

article

CCAI 2024 – 4th International Conference on Computer Communication and Artificial Intelligence, May 2024, Xi’an, China. pp.269 – 272, ⟨10.1109/ccai61966.2024.10603017⟩

Accès au texte intégral et bibtex

titre

Simulating the Network Environment of Sandboxes to Hide Virtual Machine Introspection Pauses

auteur

Léo Cosseron, Louis Rilling, Matthieu Simonin, Martin Quinson

article

EuroSec 2024 – 17th European Workshop on Systems Security, Apr 2024, Athène, Greece. pp.1-7, ⟨10.1145/3642974.3652280⟩

Accès au texte intégral et bibtex

titre

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

auteur

Seungah LEE, Emmanuel Casseau, Angeliki Kritikakou, Olivier Sentieys, Ruben Salvador, Julien Galizzi

article

AeroConf 2024 – IEEE Aerospace Conference, Mar 2024, Big Sky, Montana, United States. pp.1-12, ⟨10.1109/AERO58975.2024.10521057⟩

Accès au texte intégral et bibtex

titre

Machine Learning-Based Classification of Hardware Trojans in FPGAs Implementing RISC-V Cores

auteur

Stefano Ribes, Fabio Malatesta, Grazia Garzo, Alessandro Palumbo

article

ICISSP 2024 – 10th International Conference on Information Systems Security and Privacy, Feb 2024, Rome, Italy. pp.1-8, ⟨10.5220/0012324200003648⟩

Accès au texte intégral et bibtex

2023

Journal articles

titre

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

auteur

Pierre Graux, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke

article

Digital Threats: Research and Practice, 2023, 4 (2), pp.1-27. ⟨10.1145/3584975⟩

Accès au texte intégral et bibtex

Conference papers

titre

Attacking at non-harmonic frequencies in screaming-channel attacks

auteur

Jeremy Guillaume, Maxime Pelcat, Amor Nafkha, Ruben Salvador

article

22nd Smart Card Research and Advanced Application Conference (CARDIS 2023), Nov 2023, Amsterdam, Netherlands. pp.1–20

Accès au texte intégral et bibtex

titre

Built-in Software Obfuscation for Protecting Microprocessors against Hardware Trojan Horses

auteur

Alessandro Palumbo, Marco Ottavi, Luca Cassano

article

2023 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), Oct 2023, Juan-Les-Pins, France. ⟨10.1109/dft59622.2023.10313534⟩

Accès au texte intégral et bibtex

titre

Improving the Detection of Hardware Trojan Horses in Microprocessors via Hamming Codes

auteur

Alessandro Palumbo, Luca Cassano, Pedro Reviriego, Marco Ottavi

article

2023 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), Oct 2023, Juan-Les-Pins, France. ⟨10.1109/dft59622.2023.10313563⟩

Accès au texte intégral et bibtex

titre

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

auteur

Seungah Lee, Ruben Salvador, Angeliki Kritikakou, Olivier Sentieys, Julien Galizzi, Emmanuel Casseau

article

EDHPC 2023 – European Data Handling & Data Processing Conference, European Space Agency (ESA), Oct 2023, Juan-Les-Pins, France. pp.1-7, ⟨10.23919/EDHPC59100.2023.10396136⟩

Accès au texte intégral et bibtex

titre

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

auteur

Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu

article

CSF 2023 – 36th IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, France. pp.1-16

Accès au texte intégral et bibtex

titre

Towards Dependable RISC-V Cores for Edge Computing Devices

auteur

Pegdwende Romaric Nikiema, Alessandro Palumbo, Allan Aasma, Luca Cassano, Angeliki Kritikakou, Ari Kulmala, Jari Lukkarila, Marco Ottavi, Rafail Psiakis, Marcello Traiola

article

IOLTS 2023 – IEEE 29th International Symposium on On-Line Testing and Robust System Design, Jul 2023, Crete, Greece. ⟨10.1109/iolts59296.2023.10224862⟩

Accès au texte intégral et bibtex

titre

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

auteur

Nicolas Gaudin, Jean-Loup Hatchikian-Houdot, Frédéric Besson, Pascal Cotret, Gogniat Guy, Guillaume Hiet, Vianney Lapotre, Pierre Wilke

article

2023 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Jul 2023, Delft, Netherlands. pp.1-7

Accès au texte intégral et bibtex

titre

Assessment of Multi-Plenoptic 2.0 Camera Depth Maps for DIBR

auteur

Hamed Razavi Khosroshahi, Jaime Sancho, Gonzalo Rosa, Ruben Salvador, Eduardo Juarez, Gauthier Lafruit, Mehrdad Teratani

article

International Workshop on Advanced Imaging Technology (IWAIT), Jan 2023, Jeju, South Korea. ⟨10.1117/12.2666761⟩

Accès au bibtex

Reports

titre

Hiding Virtual Machine Introspection Pauses in Networked Sandboxes with Network Simulation

auteur

Léo Cosseron, Martin Quinson, Louis Rilling, Matthieu Simonin

article

RR-9528, Inria Rennes – Bretagne Atlantique & IRISA. 2023, pp.1-14

Accès au texte intégral et bibtex

2022

Journal articles

titre

hXDP: Efficient Software Packet Processing on FPGA NICs

auteur

Marco Spaziani Brunella, Giacomo Belocchi, Marco Bonola, Salvatore Pontarelli, Giuseppe Siracusano, Giuseppe Bianchi, Aniello Cammarano, Alessandro Palumbo, Luca Petrucci, Roberto Bifulco

article

Communications of the ACM, 2022, 65, pp.92 – 100. ⟨10.1145/3543668⟩

Accès au texte intégral et bibtex

titre

Processor Security: Detecting Microarchitectural Attacks via Count-Min Sketches

auteur

Kerem Arikan, Alessandro Palumbo, Luca Cassano, Pedro Reviriego, Salvatore Pontarelli, Giuseppe Bianchi, Oguz Ergin, Marco Ottavi

article

IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2022, 30, pp.938 – 951. ⟨10.1109/tvlsi.2022.3171810⟩

Accès au texte intégral et bibtex

titre

Debiasing Android Malware Datasets: How Can I Trust Your Results If Your Dataset Is Biased?

auteur

Tomás Concepción Miranda, Pierre-Francois Gimenez, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke

article

IEEE Transactions on Information Forensics and Security, 2022, 17, pp.2182-2197. ⟨10.1109/tifs.2022.3180184⟩

Accès au texte intégral et bibtex

titre

Is your FPGA bitstream Hardware Trojan-free? Machine learning can provide an answer

auteur

Alessandro Palumbo, Luca Cassano, Bruno Luzzi, José Alberto Hernández, Pedro Reviriego, Giuseppe Bianchi, Marco Ottavi

article

Journal of Systems Architecture, 2022, 128, ⟨10.1016/j.sysarc.2022.102543⟩

Accès au texte intégral et bibtex

titre

Cross-domain Alert Correlation methodology for Industrial Control Systems

auteur

Oualid Koucham, Stéphane Mocanu, Guillaume Hiet, Jean-Marc Thiriet, Frédéric Majorczyk

article

Computers & Security, 2022, 118 (July), pp.102723. ⟨10.1016/j.cose.2022.102723⟩

Accès au texte intégral et bibtex

titre

Ground deformation monitoring of the eruption offshore Mayotte

auteur

Aline Peltier, Sébastien Saur, Valérie Ballu, François Beauducel, Pierre Briole, Kristel Chanard, Denis Dausse, Jean-Bernard de Chabalier, Raphael Grandin, Perrine Rouffiac, Yann-Treden Tranchant, Maxime Bès de Berc, Simon Besançon, Patrice Boissier, Céleste Broucke, Christophe Brunet, Kevin Canjamalé, Erwan Carme, Philippe Catherine, Alison Colombain, Wayne Crawford, Romuald Daniel, Grégoire Dectot, Nicolas Desfete, Cécile Doubre, Tom Dumouch, Cyprien Griot, Marc Grunberg, Hélène Jund, Philippe Kowalski, Frédéric Lauret, Jacques Lebreton, Frédérick Pesqueira, Frédéric Tronel, Pierre Valty, Jérôme van der Woerd

article

Comptes Rendus. Géoscience, 2022, 354 (S2), pp. 176. ⟨10.5802/crgeos.176⟩

Accès au texte intégral et bibtex

Conference papers

titre

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

auteur

Jeremy Guillaume, Maxime Pelcat, Amor Nafkha, Rubén Salvador

article

36th IEEE Workshop on Signal Processing Systems (SIPS 2022), IEEE, Nov 2022, Rennes, France

Accès au texte intégral et bibtex

titre

Is RISC-V ready for Space? A Security Perspective

auteur

Luca Cassano, Stefano Di Mascio, Alessandro Palumbo, Alessandra Menicucci, Gianluca Furano, Giuseppe Bianchi, Marco Ottavi

article

2022 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), Oct 2022, Austin, United States. ⟨10.1109/dft56152.2022.9962352⟩

Accès au texte intégral et bibtex

titre

RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems

auteur

Nicolas Bellec, Guillaume Hiet, Simon Rokicki, Frédéric Tronel, Isabelle Puaut

article

ECRTS 2022 – 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2022.18⟩

Accès au texte intégral et bibtex

titre

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

auteur

Manuel Villa, Jaime Sancho, Guillermo Vazquez, Gonzalo Rosa, Gemma Urbanos, Alberto Martin-Perez, Pallab Sutradhar, Ruben Salvador, Miguel Chavarrias, Alfonso Lagares, Eduardo Juarez, Cesar Sanz

article

15th International Workshop on Design and Architectures for Signal and Image Processing (DASIP), Jun 2022, Budapest, Hungary. ⟨10.1007/978-3-031-12748-9_10⟩

Accès au bibtex

titre

DaViz: Visualization for Android Malware Datasets

auteur

Tomás Concepción Miranda, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke

article

RESSI 2022 – Rendez-Vous de la Recherche et de l’Enseignement de la Sécurité des Systèmes d’Information, May 2022, Chambon-sur-Lac, France. pp.1-3

Accès au texte intégral et bibtex

2021

Journal articles

titre

Mayotte seismic crisis: building knowledge in near real-time by combining land and ocean-bottom seismometers, first results

auteur

Jean-Marie Saurel, Eric Jacques, Chastity Aiken, Anne Lemoine, Lise Retailleau, Aude Lavayssière, Océane Foix, Anthony Dofal, Angèle Laurent, Nicolas Mercury, Wayne Crawford, Arnaud Lemarchand, Romuald Daniel, Pascal Pelleau, Maxime Bès de Berc, Grégoire Dectot, Didier Bertil, Agathe Roullé, Céleste Broucke, Alison Colombain, Hélène Jund, Simon Besançon, Pierre Guyavarch, Philippe Kowalski, Mickaël Roudaut, Ronan Apprioual, Jean Battaglia, Soumya Bodihar, Patrice Boissier, Marie Paule Bouin, Christophe Brunet, Kévin Canjamale, Philippe Catherine, Nicolas Desfete, Cécile Doubre, Rémi Dretzen, Tom Dumouche, Philippe Fernagu, Valérie Ferrazzini, Fabrice Fontaine, Arnaud Gaillot, Louis Géli, Cyprien Griot, Marc Grunberg, Emre Can Guzel, Roser Hoste-Colomer, Sophie Lambotte, Frédéric Lauret, Félix Léger, Emmanuel Maros, Aline Peltier, Jérôme Vergne, Claudio Satriano, Frédéric Tronel, Jérôme van Der Woerd, Yves Fouquet, Stephan Jorry, Emmanuel Rinnert, Isabelle Thinon, Nathalie Feuillet

article

Geophysical Journal International, 2021, 228 (2), pp.1281-1293. ⟨10.1093/gji/ggab392⟩

Accès au texte intégral et bibtex

titre

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

auteur

Maria Mendez Real, Ruben Salvador

article

Applied Sciences, 2021, 11 (15), pp.6790. ⟨10.3390/app11156790⟩

Accès au texte intégral et bibtex

titre

A tight integration of symbolic execution and fuzzing

auteur

Yaëlle Vinçont, Sébastien Bardin, Michaël Marcozzi

article

Lecture Notes in Computer Science, 2021, FPS 2021 – The 14th International Symposium on Foundations & Practice of Security, 13291, ⟨10.1007/978-3-031-08147-7_20⟩

Accès au texte intégral et bibtex

titre

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

auteur

Jaime Sancho, Pallab Sutradhar, Gonzalo Rosa, Miguel Chavarrias, Angel Perez-Nunez, Ruben Salvador, Alfonso Lagares, Eduardo Juarez, Cesar Sanz

article

Sensors, 2021, 21 (12), ⟨10.3390/s21124091⟩

Accès au texte intégral et bibtex

Conference papers

titre

Automated Risk Analysis of a Vulnerability Disclosure Using Active Learning

auteur

Clément Elbaz, Louis Rilling, Christine Morin

article

C&ESAR 2021 – 28th Computer & Electronics Security Application Rendezvous, Nov 2021, Rennes, France. pp.1-19

Accès au texte intégral et bibtex

titre

A Lightweight Security Checking Module to Protect Microprocessors against Hardware Trojan Horses

auteur

Alessandro Palumbo, Luca Cassano, Pedro Reviriego, Giuseppe Bianchi, Marco Ottavi

article

2021 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Oct 2021, Remote, France. ⟨10.1109/dft52944.2021.9568291⟩

Accès au texte intégral et bibtex

titre

DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification

auteur

Camille Le Bon, Erven Rohou, Frédéric Tronel, Guillaume Hiet

article

SILM 2021 – Workshop on the Security of Software / Hardware Interfaces, Sep 2021, digital event, Austria. pp.86-95, ⟨10.1109/EuroSPW54576.2021.00016⟩

Accès au texte intégral et bibtex

titre

Methodology for Specification and Verification of High-Level Requirements with MetAcsl

auteur

Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall

article

FormaliSE 2021 – 9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France

Accès au texte intégral et bibtex

titre

SLA Definition for Network Intrusion Detection Systems in IaaS Clouds

auteur

Amir Teshome Wonjiga, Louis Rilling, Christine Morin

article

SAC 2021 – 36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual Event, Republic of Korea., South Korea. pp.1-10, ⟨10.1145/3412841.3441885⟩

Accès au texte intégral et bibtex

titre

Preventing Serialization Vulnerabilities through Transient Field Detection

auteur

Pierre Graux, Jean-François Lalande, Valérie Viet Triem Tong, Pierre Wilke

article

SAC 2021 – 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea. pp.1-9

Accès au texte intégral et bibtex

Habilitation à diriger des recherches

titre

Security at the Hardware/Software Interface

auteur

Guillaume Hiet

article

Cryptography and Security [cs.CR]. Université de Rennes 1, 2021

Accès au texte intégral et bibtex

Theses

titre

Software security : combining fuzzing and symbolic methods for vulnerability detection

auteur

Yaëlle Vinçont

article

Cryptography and Security [cs.CR]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG112⟩

Accès au texte intégral et bibtex

2020

Journal articles

titre

Modular verification of programs with effects and effects handlers

auteur

Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet

article

Formal Aspects of Computing, 2020, ⟨10.1007/s00165-020-00523-2⟩

Accès au bibtex

titre

Intrusion Survivability for Commodity Operating Systems

auteur

Ronny Chevalier, David Plaquin, Chris Dalton, Guillaume Hiet

article

Digital Threats: Research and Practice, 2020, 1 (4), pp.1-30. ⟨10.1145/3419471⟩

Accès au texte intégral et bibtex

Conference papers

titre

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

auteur

Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Jean-Louis Lanet

article

C&ESAR 2020 – Computer & Electronics Security Applications Rendez-vous, Dec 2020, Rennes, France

Accès au texte intégral et bibtex

titre

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

auteur

Yuting Wang, Xiangzhen Xu, Pierre Wilke, Zhong Shao

article

OOPSLA 2020 : Conference on Object-Oriented Programming Systems, Languages,and Applications, Nov 2020, Chicago, United States. pp.1-28

Accès au texte intégral et bibtex

titre

Abusing Android Runtime for Application Obfuscation

auteur

Pierre Graux, Jean-François Lalande, Pierre Wilke, Valérie Viet Triem Tong

article

SAD 2020 – Workshop on Software Attacks and Defenses, Sep 2020, Genova, Italy. pp.616-624, ⟨10.1109/EuroSPW51379.2020.00089⟩

Accès au texte intégral et bibtex

titre

Fighting N-Day Vulnerabilities with Automated CVSS Vector Prediction at Disclosure

auteur

Clément Elbaz, Louis Rilling, Christine Morin

article

ARES 2020 – International Conference on Availability, Reliability and Security, Aug 2020, Virtual Event, Ireland. pp.1-10

Accès au texte intégral et bibtex

titre

Evasive Windows Malware: Impact on Antiviruses and Possible Countermeasures

auteur

Cédric Herzog, Valérie Viet Triem Tong, Pierre Wilke, Arnaud van Straaten, Jean-Louis Lanet

article

SECRYPT 2020 – 17th International Conference on Security and Cryptography, Jul 2020, Lieusaint – Paris, France. pp.302-309, ⟨10.5220/0009816703020309⟩

Accès au texte intégral et bibtex

titre

Automated Keyword Extraction from “One-day” Vulnerabilities at Disclosure

auteur

Clément Elbaz, Louis Rilling, Christine Morin

article

NOMS 2020 – IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary. pp.1-9

Accès au texte intégral et bibtex

Proceedings

titre

Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020)

auteur

Guillaume Hiet, Frédéric Tronel, Jean-Louis Lanet

article

2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genoa, IEEE, pp.681, 2020, ⟨10.1109/EuroSPW51379.2020.00097⟩

Accès au bibtex

Reports

titre

Semestre SILM : livre blanc

auteur

Guillaume Hiet

article

CentraleSupélec; Inria. 2020

Accès au texte intégral et bibtex

2019

Journal articles

titre

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

auteur

Claudio Rubattu, Francesca Palumbo, Carlo Sau, Rubén Salvador, Jocelyn Sérot, Karol Desnos, Luigi Raffo, Maxime Pelcat

article

IEEE Embedded Systems Letters, 2019, 11 (3), pp.69-72. ⟨10.1109/LES.2018.2882989⟩

Accès au texte intégral et bibtex

titre

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

auteur

Frédéric Besson, Sandrine Blazy, Pierre Wilke

article

Journal of Automated Reasoning, 2019, 63 (2), pp.369-392. ⟨10.1007/s10817-018-9496-y⟩

Accès au texte intégral et bibtex

titre

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

auteur

Frédéric Besson, Sandrine Blazy, Pierre Wilke

article

Journal of Automated Reasoning, 2019, 62 (4), pp.433-480. ⟨10.1007/s10817-017-9439-z⟩

Accès au texte intégral et bibtex

titre

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

auteur

Yuting Wang, Pierre Wilke, Zhong Shao

article

Proceedings of the ACM on Programming Languages, 2019, 3 (62), pp.30. ⟨10.1145/3290375⟩

Accès au texte intégral et bibtex

titre

PAPIFY: Automatic Instrumentation and Monitoring of Dynamic Dataflow Applications Based on PAPI

auteur

Daniel Madronal, Florian Arrestier, Jaime Sancho, Antoine Morvan, Raquel Lazcano, Karol Desnos, Ruben Salvador, Daniel Menard, Eduardo Juarez, Cesar Sanz

article

IEEE Access, 2019, 7, pp.111801-111812. ⟨10.1109/ACCESS.2019.2934223⟩

Accès au texte intégral et bibtex

Conference papers

titre

Survivor: A Fine-Grained Intrusion Response and Recovery Approach for Commodity Operating Systems

auteur

Ronny Chevalier, David Plaquin, Chris Dalton, Guillaume Hiet

article

ACSAC 2019 – 35th Annual Computer Security Applications Conference, Dec 2019, San Juan, Puerto Rico. ⟨10.1145/3359789.3359792⟩

Accès au texte intégral et bibtex

titre

Blockchain as a Trusted Component in Cloud SLA Verification

auteur

Amir Teshome Wonjiga, Sean Peisert, Louis Rilling, Christine Morin

article

UCC 2019 – 12th IEEE/ACM International Conference on Utility and Cloud Computing, Dec 2019, Auckland, New Zealand. pp.93-100, ⟨10.1145/3368235.3368872⟩

Accès au texte intégral et bibtex

titre

Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

auteur

Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall

article

International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩

Accès au texte intégral et bibtex

titre

Isolating malicious code in Android malware in the wild

auteur

Valérie Viet Triem Tong, Cédric Herzog, Tomás Concepción Miranda, Pierre Graux, Jean-François Lalande, Pierre Wilke

article

MALCON 2019 – 14th International Conference on Malicious and Unwanted Software, Oct 2019, Nantucket, United States

Accès au texte intégral et bibtex

titre

Towards Automated Risk Analysis of “One-day” Vulnerabilities

auteur

Clément Elbaz, Louis Rilling, Christine Morin

article

RESSI 2019 – Rendez-vous de la Recherche et de l’Enseignement de la Sécurité des Systèmes d’Information, Aug 2019, Erquy, France. pp.1-3

Accès au texte intégral et bibtex

titre

Plateforme de protection de binaires configurable et dynamiquement adaptative

auteur

Kévin Le Bon, Byron Hawkins, Erven Rohou, Guillaume Hiet, Frédéric Tronel

article

RESSI 2019 – Rendez-Vous de la Recherche et de l’Enseignement de la Sécurité des Systèmes d’Information, May 2019, Erquy, France. pp.1-3

Accès au texte intégral et bibtex

titre

MetAcsl: Specification and Verification of High-Level Properties

auteur

Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall

article

TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩

Accès au texte intégral et bibtex

titre

Compiling Sandboxes: Formally Verified Software Fault Isolation

auteur

Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas Jensen, Pierre Wilke

article

ESOP 2019 – 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.499-524, ⟨10.1007/978-3-030-17184-1_18⟩

Accès au texte intégral et bibtex

titre

Teaching Android Mobile Security

auteur

Jean-François Lalande, Valérie Viet Triem Tong, Pierre Graux, Guillaume Hiet, Wojciech Mazurczyk, Habiba Chaoui, Pascal Berthomé

article

SIGCSE ’19 – 50th ACM Technical Symposium on Computer Science Education, Feb 2019, Minneapolis, United States. pp.232-238, ⟨10.1145/3287324.3287406⟩

Accès au texte intégral et bibtex

Reports

titre

Automated Keyword Extraction from “One-day” Vulnerabilities at Disclosure

auteur

Clément Elbaz, Louis Rilling, Christine Morin

article

[Research Report] RR-9299, Inria Rennes – Bretagne Atlantique. 2019, pp.1-22

Accès au texte intégral et bibtex

titre

Security Monitoring SLA Verification in Clouds: the Case of Data Integrity

auteur

Amir Teshome Wonjiga, Louis Rilling, Christine Morin

article

[Research Report] RR-9267, Inria Rennes – Bretagne Atlantique. 2019, pp.1-29

Accès au texte intégral et bibtex

titre

Defining Security Monitoring SLAs in IaaS Clouds: the Example of a Network IDS

auteur

Amir Teshome Wonjiga, Louis Rilling, Christine Morin

article

[Research Report] RR-9263, Inria Rennes Bretagne Atlantique. 2019, pp.1-37

Accès au texte intégral et bibtex

2018

Conference papers

titre

A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components

auteur

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Gogniat Guy, Arnab Kumar Biswas

article

AsianHOST 2018 – Asian Hardware Oriented Security and Trust Symposium, Dec 2018, Hong Kong, China. pp.1-13, ⟨10.1109/asianhost.2018.8607177⟩

Accès au texte intégral et bibtex

titre

Automatic Reconfiguration of NIDSs in IaaS Clouds with SAIDS

auteur

Anna Giannakou, Louis Rilling, Christine Morin, Jean-Louis Pazat

article

CloudCom 2018 – 10th IEEE International Conference on Cloud Computing Technology and Science, Dec 2018, Nicosia, Cyprus. pp.99-106, ⟨10.1109/CloudCom2018.2018.00031⟩

Accès au bibtex

titre

A small and adaptive coprocessor for information flow tracking in ARM SoCs

auteur

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Arnab Kumar Biswas, Vianney Lapotre, Gogniat Guy

article

ReConFig 2018 – International Conference on Reconfigurable Computing and FPGAs, Dec 2018, Cancun, Mexico. pp.1-17, ⟨10.1109/reconfig.2018.8641695⟩

Accès au texte intégral et bibtex

titre

Reactive and Adaptive Security Monitoring in Cloud Computing

auteur

Clément Elbaz, Louis Rilling, Christine Morin

article

FAS* Doctoral Symposium 2018, Sep 2018, Trento, Italy. pp.1-3, ⟨10.1109/FAS-W.2018.00014⟩

Accès au texte intégral et bibtex

titre

Efficient Mining of Temporal Safety Properties for Intrusion Detection in Industrial Control Systems

auteur

Oualid Koucham, Stéphane Mocanu, Guillaume Hiet, Jean-Marc Thiriet, Frédéric Majorczyk

article

SAFEPROCESS 2018 – 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Aug 2018, Varsovie, Poland. pp.1-8

Accès au texte intégral et bibtex

titre

Towards Enforcement of the EU GDPR: Enabling Data Erasure

auteur

Subhadeep Sarkar, Jean-Pierre Banâtre, Louis Rilling, Christine Morin

article

iThings 2018 – 11th IEEE International Conference of Internet of Things, Jul 2018, Halifax, Canada. pp.1-8

Accès au texte intégral et bibtex

titre

Modular Verification of Programs with Effects and Effect Handlers in Coq

auteur

Thomas Letan, Yann Régis-Gianas, Pierre Chifflier, Guillaume Hiet

article

FM 2018 – 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.338-354, ⟨10.1007/978-3-319-95582-7_20⟩

Accès au texte intégral et bibtex

titre

Mesurer et prévenir l’évolution de la menace dans un cloud d’infrastructure

auteur

Clément Elbaz, Louis Rilling, Christine Morin

article

ComPas’18 – Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-7

Accès au texte intégral et bibtex

titre

Intrusion Survivability for Commodity Operating Systems and Services: A Work in Progress

auteur

Ronny Chevalier, David Plaquin, Guillaume Hiet

article

RESSI 2018 – Rendez-Vous de la Recherche et de l’Enseignement de la Sécurité des Systèmes d’Information, May 2018, Nancy / La Bresse, France

Accès au texte intégral et bibtex

titre

SAIDS: A Self-Adaptable Intrusion Detection System for IaaS Clouds

auteur

Anna Giannakou, Louis Rilling, Christine Morin, Jean-Louis Pazat

article

2018 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), May 2018, Washington DC, United States. pp.354-355

Accès au texte intégral et bibtex

titre

Verification for Security Monitoring SLAs in IaaS Clouds: the Example of a Network IDS

auteur

Amir Teshome Wonjiga, Louis Rilling, Christine Morin

article

NOMS 2018 – Network Operations and Management Symposium, Apr 2018, Taipei, Taiwan. pp.1-7, ⟨10.1109/NOMS.2018.8406157⟩

Accès au bibtex

2017

Journal articles

titre

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

auteur

R. Lazcano, D. Madronal, Ruben Salvador, Karol Desnos, Maxime Pelcat, R. Guerra, H. Fabelo, S. Ortega, S. Lopez, G. M. Callico, E. Juarez, C. Sanz

article

Journal of Systems Architecture, 2017, 77, pp.101-111. ⟨10.1016/j.sysarc.2017.05.001⟩

Accès au texte intégral et bibtex

Conference papers

titre

Co-processor-based Behavior Monitoring: Application to the Detection of Attacks Against the System Management Mode

auteur

Ronny Chevalier, Maugan Villatel, David Plaquin, Guillaume Hiet

article

ACSAC 2017 – 33rd Annual Computer Security Applications Conference, Dec 2017, Orlando, United States. pp.399-411, ⟨10.1145/3134600.3134622⟩

Accès au texte intégral et bibtex

titre

Bitcoin a Distributed Shared Register

auteur

Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frédéric Tronel

article

SSS 2017 – 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2017, Boston, MA, United States. pp.456-468, ⟨10.1007/978-3-319-69084-1_34⟩

Accès au texte intégral et bibtex

titre

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

auteur

Frédéric Besson, Sandrine Blazy, Pierre Wilke

article

ITP 2017 – 8th International Conference on Interactive Theorem Proving, Sep 2017, Brasilia, Brazil. pp.81-97, ⟨10.1007/978-3-319-66107-0_6⟩

Accès au texte intégral et bibtex

titre

ARMHEx: A hardware extension for DIFT on ARM-based SoCs

auteur

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat

article

2017 27th International Conference on Field Programmable Logic and Applications (FPL), Sep 2017, Ghent, Belgium. ⟨10.23919/fpl.2017.8056767⟩

Accès au texte intégral et bibtex

titre

Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory

auteur

Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong

article

15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy. pp.1-16, ⟨10.1007/978-3-319-66197-1_1⟩

Accès au texte intégral et bibtex

titre

Suivi de flux d’information correct sous Linux

auteur

Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong

article

16èmes journées AFADL (Approches formelles dans l’assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26

Accès au texte intégral et bibtex

titre

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux

auteur

Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong

article

5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩

Accès au texte intégral et bibtex

titre

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

auteur

Mounir Assaf, David A Naumann, Julien Signoles, Eric Totel, Frédéric Tronel

article

POPL 2017 – ACM Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.874-887, ⟨10.1145/3009837.3009889⟩

Accès au texte intégral et bibtex

Poster communications

titre

ARMHEx: a framework for efficient DIFT in real-world SoCs

auteur

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat

article

Field Programmable Logic (FPL), Sep 2017, Ghent, Belgium. , 2017

Accès au texte intégral et bibtex

Reports

titre

Verification for Security Monitoring SLAs in IaaS Clouds: the Example of a Network IDS

auteur

Amir Teshome Wonjiga, Louis Rilling, Christine Morin

article

[Research Report] RR-9091, Inria Rennes Bretagne Atlantique. 2017

Accès au texte intégral et bibtex

2016

Conference papers

titre

AL-SAFE: A Secure Self-Adaptable Application-Level Firewall for IaaS Clouds

auteur

Anna Giannakou, Louis Rilling, Jean-Louis Pazat, Christine Morin

article

CloudCom2016-8th IEEE International Conference on Cloud Computing Technology and Science, Dec 2016, luxembourg, Luxembourg

Accès au texte intégral et bibtex

titre

SpecCert: Specifying and Verifying Hardware-based Software Enforcement

auteur

Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin

article

21st International Symposium on Formal Methods (FM 2016), Nov 2016, Limassol, Cyprus. ⟨10.1007/978-3-319-48989-6_30⟩

Accès au texte intégral et bibtex

titre

Detecting Process-Aware Attacks in Sequential Control Systems

auteur

Oualid Koucham, Stéphane Mocanu, Guillaume Hiet, Jean-Marc Thiriet, Frédéric Majorczyk

article

NordSec 2016 – 21st Nordic Conference on Secure IT Systems (NordSec 2016), Nov 2016, Oulu, Finland. p.20-36, ⟨10.1007/978-3-319-47560-8_2⟩

Accès au bibtex

titre

A self-correcting information flow control model for the web-browser

auteur

Deepak Subramanian, Guillaume Hiet, Christophe Bidan

article

FPS 2016 – The 9th International Symposium on Foundations & Practice of Security, Oct 2016, Québec City, Canada. pp.285-301, ⟨10.1007/978-3-319-51966-1_19⟩

Accès au texte intégral et bibtex

titre

Including Security Monitoring in Cloud Service Level Agreements

auteur

Amir Teshome Wonjiga, Louis Rilling, Christine Morin

article

Symposium on Reliable Distributed Systems (SRDS), PhD forum, Sep 2016, Budapest, Hungary

Accès au texte intégral et bibtex

titre

Towards a hardware-assisted information flow tracking ecosystem for ARM processors

auteur

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat

article

26th International Conference on Field-Programmable Logic and Applications (FPL 2016), Aug 2016, Lausanne, Switzerland. ⟨10.1109/fpl.2016.7577396⟩

Accès au texte intégral et bibtex

titre

Preventive Information Flow Control through a Mechanism of Split Addresses

auteur

Deepak Subramanian, Guillaume Hiet, Christophe Bidan

article

9th International Conference on Security of Information and Networks (SIN 2016), Jul 2016, Newark, United States. p.1-8, ⟨10.1145/2947626.2947645⟩

Accès au bibtex

titre

AL-SAFE: A Secure Self-Adaptable Application-Level Firewall for IaaS Clouds

auteur

Anna Giannakou, Louis Rilling, Christine Morin, Jean-Louis Pazat

article

SEC2 2016 – Second workshop on Security in Clouds , Jul 2016, Lorient, France

Accès au texte intégral et bibtex

titre

Including Security Monitoring in Cloud SLA

auteur

Amir Teshome Wonjiga, Louis Rilling, Christine Morin

article

SEC2 2016 – Second workshop on Security in Clouds, Jul 2016, Lorient, France

Accès au texte intégral et bibtex

titre

The Cardinal Abstraction for Quantitative Information Flow

auteur

Mounir Assaf, Julien Signoles, Eric Totel, Frédéric Tronel

article

Workshop on Foundations of Computer Security 2016 (FCS 2016), Jun 2016, Lisbon, Portugal

Accès au texte intégral et bibtex

titre

A portable approach for SoC-based Dynamic Information Flow Tracking implementations

auteur

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat

article

11ème Colloque du GDR SoC/SiP, Jun 2016, Nantes, France

Accès au texte intégral et bibtex

titre

INDIC : Supervision de sécurité à la carte pour les utilisateurs de cloud IaaS

auteur

Louis Rilling, Christine Morin

article

Rendez-vous de la Recherche et de l’Enseignement de la Sécurité des systèmes d’information (RESSI 2016), LAAS-CNRS, INSA Toulouse, May 2016, Toulouse, France

Accès au texte intégral et bibtex

titre

Classification des approches de détection d’intrusions dans les systèmes de contrôle industriels et axes d’amélioration

auteur

Oualid Koucham, Stéphane Mocanu, Guillaume Hiet, Jean-Marc Thiriet, Frédéric Majorczyk

article

Rendez-Vous de la Recherche et de l’Enseignement de la Sécurité des Systèmes d’Information (RESSI 2016), May 2016, Toulouse, France

Accès au bibtex

titre

How to Secure Application-Level Firewalls in IaaS Clouds

auteur

Anna Giannakou, Louis Rilling, Christine Morin, Jean-Louis Pazat

article

CloudDP, 6th International Workshop on Cloud Data and Platforms, Guillaume Pierre, Rui Oliveira Apr 2016, London, United Kingdom

Accès au bibtex

Poster communications

titre

HardBlare: a Hardware-Assisted Approach for Dynamic Information Flow Tracking

auteur

Mounir Nasr Allah, Guillaume Hiet, Muhammad Abdul Wahab, Pascal Cotret, Guy Gogniat, Vianney Lapotre

article

Séminaire des doctorantes et doctorants en informatique de la Société Informatique de France, Apr 2016, Paris, France. 2016

Accès au texte intégral et bibtex

titre

HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

auteur

Pascal Cotret, Guillaume Hiet, Guy Gogniat

article

HiPEAC, Jan 2016, Prague, Czech Republic. 2016

Accès au bibtex

Reports

titre

SpecCert: Specifying and Verifying Hardware-based Security Enforcement

auteur

Thomas Letan, Pierre Chifflier, Guillaume Hiet, Pierre Néron, Benjamin Morin

article

[Technical Report] CentraleSupélec; Agence Nationale de Sécurité des Systèmes d’Information. 2016, pp.20

Accès au texte intégral et bibtex

Theses

titre

Formally verified compilation of low-level C code

auteur

Pierre Wilke

article

Programming Languages [cs.PL]. Université de Rennes, 2016. English. ⟨NNT : 2016REN1S088⟩

Accès au texte intégral et bibtex

2015

Conference papers

titre

Etude comparative des formats d’alertes

auteur

Guillaume Hiet, Hervé Debar, Sélim Ménouar, Vérène Houdebine

article

C&ESAR (Computer & Electronics Security Applications Rendez-vous) 2015, Nov 2015, Rennes, France. pp.125-148

Accès au bibtex

titre

Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase

auteur

Laurent Georget, Frédéric Tronel, Valérie Viet Triem Tong

article

2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT), IEEE, Sep 2015, Bremen, Germany. ⟨10.1109/vissoft.2015.7332431⟩

Accès au texte intégral et bibtex

titre

A Concrete Memory Model for CompCert

auteur

Frédéric Besson, Sandrine Blazy, Pierre Wilke

article

ITP 2015 : 6th International Conference on Interactive Theorem Proving, Aug 2015, Nanjing, China. pp.67-83, ⟨10.1007/978-3-319-22102-1_5⟩

Accès au texte intégral et bibtex

titre

Self Adaptation in Security Monitoring for IaaS Clouds

auteur

Anna Giannakou, Louis Rilling, Frédéric Majorczyk, Christine Morin, Jean-Louis Pazat

article

SEC2 2015 – Premier atelier sur la Sécurité dans les Clouds, Louis Rilling,Marc Lacoste, Jun 2015, Lille, France

Accès au texte intégral et bibtex

titre

Towards Self Adaptable Security Monitoring in IaaS Clouds

auteur

Anna Giannakou, Louis Rilling, Jean-Louis Pazat, Frédéric Majorczyk, Christine Morin

article

15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CC-GRID 2015), May 2015, Shenzen, China

Accès au texte intégral et bibtex

titre

Towards a Formal Semantics for System Calls in terms of Information Flow

auteur

Laurent Georget, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong, Mathieu Jaume

article

Tenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. pp.1-4

Accès au bibtex

Poster communications

titre

Self Adaptation for Security Monitoring in IaaS clouds

auteur

Anna Giannakou, Louis Rilling, Christine Morin, Jean-Louis Pazat

article

EIT Digital symposium on the future of cloud computing, Oct 2015, Rennes, France. 2015

Accès au texte intégral et bibtex

titre

HardBlare: an efficient hardware-assisted DIFC for non-modified embedded processors

auteur

Pascal Cotret, Guillaume Hiet, Guy Gogniat, Vianney Lapotre

article

CHES 2015 – Workshop on Cryptographic Hardware and Embedded Systems, Sep 2015, Saint-Malo, France. 2015

Accès au texte intégral et bibtex

2014

Journal articles

titre

An Invariant-based Approach for Detecting Attacks against Data in Web Applications

auteur

Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy

article

International journal of secure software engineering, 2014, 5 (1), pp.19-38. ⟨10.4018/ijsse.2014010102⟩

Accès au texte intégral et bibtex

Conference papers

titre

Hardware/Software Support for Securing Virtualization in Embedded Systems

auteur

Franck Bucheron, Arnaud Tisserand, Louis Rilling

article

1st Symposium on Digital Trust in Auvergne, Dec 2014, Clermont-Ferrand, France

Accès au texte intégral et bibtex

titre

A secure two-phase data deduplication scheme

auteur

Pierre Meye, Philippe Raipin, Frédéric Tronel, Emmanuelle Anceaume

article

6th International Symposium on Cyberspace Safety and Security (CSS), Aug 2014, Paris, France

Accès au texte intégral et bibtex

titre

Mistore: A distributed storage system leveraging the DSL infrastructure of an ISP

auteur

Pierre Meye, Philippe Raipin, Frédéric Tronel, Emmanuelle Anceaume

article

International Conference on High Performance Computing & Simulation, HPCS 2014, Jul 2014, Bologne, Italy. pp.260 – 267, ⟨10.1109/HPCSim.2014.6903694⟩

Accès au texte intégral et bibtex

titre

Towards Automated Protocol Reverse Engineering Using Semantic Information

auteur

Georges Bossert, Frédéric Guihéry, Guillaume Hiet

article

ASIA CCS ’14, Jun 2014, Kyoto, Japan. pp.51-62, ⟨10.1145/2590296.2590346⟩

Accès au bibtex

titre

Preventive Information Flow Control through a Mechanism of Split Addresses

auteur

Deepak Subramanian, Guillaume Hiet, Christophe Bidan

article

9ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d’Information, May 2014, Saint-Germain-Au-Mont-d’Or, France

Accès au bibtex

titre

Toward a distributed storage system leveraging the DSL infrastructure of an ISP

auteur

Pierre Meye, Philippe Raïpin-Parvédy, Frédéric Tronel, Emmanuelle Anceaume

article

11th IEEE Consumer Communications and Networking Conference, Jan 2014, United States. pp.2

Accès au texte intégral et bibtex

titre

A Precise and Abstract Memory Model for C Using Symbolic Values

auteur

Frédéric Besson, Sandrine Blazy, Pierre Wilke

article

12th Asian Symposium on Programming Languages and Systems (APLAS 2014), 2014, Singapore, Singapore. pp.449 – 468, ⟨10.1007/978-3-319-12736-1_24⟩

Accès au texte intégral et bibtex

2013

Conference papers

titre

Moniteur hybride de flux d’information pour un langage supportant des pointeurs

auteur

Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel

article

SARSSI – 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d’Information, Sep 2013, Mont de Marsan, France

Accès au texte intégral et bibtex

titre

Program Transformation for Non-interference Verification on Programs with Pointers

auteur

Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel

article

28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩

Accès au texte intégral et bibtex

titre

Intrusion detection in distributed systems, an approach based on taint marking

auteur

Christophe Hauser, Frédéric Tronel, Colin Fidge, Ludovic Mé

article

IEEE ICC2013 – IEEE International Conference on Communications, Jun 2013, Budapest, Hungary

Accès au texte intégral et bibtex

Master thesis

titre

Analyse statique de code dynamique

auteur

Pierre Wilke

article

Théorie et langage formel [cs.FL]. 2013

Accès au texte intégral et bibtex

Reports

titre

Moniteur hybride de flux d’information pour un langage supportant des pointeurs

auteur

Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel

article

[Rapport de recherche] RR-8326, INRIA. 2013, pp.25

Accès au texte intégral et bibtex

2012

Journal articles

titre

Spécification et mécanisme de détection de flots d’information illégaux

auteur

Mathieu Jaume, Valérie Viet Triem Tong, Guillaume Hiet

article

Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, 2012, 31 (6), pp.713-742. ⟨10.3166/tsi.31.713-742⟩

Accès au bibtex

Conference papers

titre

Detecting Attacks Against Data in Web Applications

auteur

Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy

article

CRiSIS 2012 – 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8

Accès au bibtex

titre

Netzob : un outil pour la rétro-conception de protocoles de communication

auteur

Georges Bossert, Frédéric Guihéry, Guillaume Hiet

article

SSTIC 2012, Jun 2012, Rennes, France. pp.43

Accès au bibtex

titre

Snooze: A Scalable and Autonomic Virtual Machine Management Framework for Private Clouds

auteur

Eugen Feller, Louis Rilling, Christine Morin

article

12th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid 2012), May 2012, Ottawa, Canada

Accès au texte intégral et bibtex

titre

A taint marking approach to confidentiality violation detection

auteur

Christophe Hauser, Frédéric Tronel, Jason Reid, Colin Fidge

article

AISC 2012, Jan 2012, Melbourne, Australia. pp.83-90

Accès au bibtex

Book sections

titre

Towards Energy-Efficient, Scalable and Resilient IaaS Clouds

auteur

Eugen Feller, Louis Rilling, Christine Morin

article

Massimo Villari and Ivona Brandic and Francesco Tusa. Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice, IGI Global, 2012

Accès au bibtex

2011

Journal articles

titre

Dependability Evaluation of Cluster-based Distributed Systems

auteur

Emmanuelle Anceaume, Francisco Brasiliero, Romaric Ludinard, Bruno Sericola, Frédéric Tronel

article

International Journal of Foundations of Computer Science, 2011, 22 (5), pp.1123-1142. ⟨10.1142/S0129054111008593⟩

Accès au texte intégral et bibtex

Conference papers

titre

Mise en œuvre de politiques de protection des flux d’information dans l’environnement Android

auteur

Valérie Viet Triem Tong, Radoniaina Andriatsimandefitra, Stéphane Geller, Simon Boche, Frédéric Tronel, Christophe Hauser

article

Computer & Electronics Security Applications Rendez-vous (C&ESAR 2011), Nov 2011, Rennes, France

Accès au bibtex

titre

Energy-Aware Ant Colony Based Workload Placement in Clouds

auteur

Eugen Feller, Louis Rilling, Christine Morin

article

The 12th IEEE/ACM International Conference on Grid Computing (GRID-2011), Sep 2011, Lyon, France

Accès au texte intégral et bibtex

titre

From SSIR to CIDre: a New Security Research Group in Rennes

auteur

Emmanuelle Anceaume, Christophe Bidan, Sébastien Gambs, Guillaume Hiet, Michel Hurfin, Ludovic Mé, Guillaume Piolle, Nicolas Prigent, Eric Totel, Frédéric Tronel, Valérie Viet Triem Tong

article

1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands

Accès au bibtex

titre

Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems

auteur

Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Frédéric Tronel

article

Proceedings of the 41rst 2011 International Conference on Dependable Systems and Networks (DSN), Jun 2011, Hong-Kong, China. pp.12

Accès au texte intégral et bibtex

titre

Detecting illegal system calls using a data-oriented detection model

auteur

Jonathan-Christofer Demay, Frédéric Majorczyk, Eric Totel, Frédéric Tronel

article

26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.305-316, ⟨10.1007/978-3-642-21424-0_25⟩

Accès au texte intégral et bibtex

titre

Information Flow Control for Intrusion Detection derived from MAC Policy

auteur

Stéphane Geller, Christophe Hauser, Frédéric Tronel, Valérie Viet Triem Tong

article

2011 IEEE International Conference on Communications (ICC), Jun 2011, Kyoto, Japan. 6 p., ⟨10.1109/icc.2011.5962660⟩

Accès au texte intégral et bibtex

titre

Modelling to Simulate Botnet Command and Control Protocols for the Evaluation of Network Intrusion Detection Systems

auteur

Georges Bossert, Guillaume Hiet, Thibaut Henin

article

SAR-SSI 2011, May 2011, La Rochelle, France. pp.1-8, ⟨10.1109/SAR-SSI.2011.5931397⟩

Accès au bibtex

titre

Modélisation et Évaluation des Attaques Ciblées dans un Overlay Structuré

auteur

Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Frédéric Tronel

article

CFIP 2011 – Colloque Francophone sur l Ingénierie des Protocoles, UTC, May 2011, Sainte Maxime, France

Accès au texte intégral et bibtex

Reports

titre

Snooze: A Scalable and Autonomic Virtual Machine Management Framework for Private Clouds

auteur

Eugen Feller, Louis Rilling, Christine Morin

article

[Research Report] RR-7833, INRIA. 2011

Accès au texte intégral et bibtex

titre

Energy-Aware Ant Colony Based Workload Placement in Clouds

auteur

Eugen Feller, Louis Rilling, Christine Morin

article

[Research Report] RR-7622, INRIA. 2011

Accès au texte intégral et bibtex

2010

Conference papers

titre

Snooze: A Scalable, Fault-Tolerant and Distributed Consolidation Manager for Large-Scale Clusters

auteur

Eugen Feller, Louis Rilling, Christine Morin, Renaud Lottiaux, Daniel Leprince

article

2010 IEEE/ACM International Conference on Green Computing and Communications (GreenCom-2010), Dec 2010, Hangzhou, China

Accès au texte intégral et bibtex

titre

Generation et evaluation de mecanismes de detection d’intrusion au niveau applicatif

auteur

Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel

article

SARSSI 2010, May 2010, Menton, France. pp.NC

Accès au bibtex

titre

Sécurité de la plate-forme d’exécution Java : limites et propositions d’améliorations

auteur

Guillaume Hiet, Frédéric Guihéry, Goulven Guiheux, David Pichardie, Christian Brunette

article

Symposium sur la sécurité des technologies de l’information et des communications (SSTIC), 2010, Rennes, France

Accès au texte intégral et bibtex

Reports

titre

Performance Analysis of Large Scale Peer-to-Peer Overlays using Markov Chains

auteur

Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Frédéric Tronel

article

[Research Report] PI-1963, 2010, pp.18

Accès au texte intégral et bibtex

titre

Snooze: A Scalable, Fault-Tolerant and Distributed Consolidation Manager for Large-Scale Clusters

auteur

Eugen Feller, Louis Rilling, Christine Morin, Renaud Lottiaux, Daniel Leprince

article

[Research Report] RR-7398, INRIA. 2010

Accès au texte intégral et bibtex

titre

Dependability Evaluation of Cluster-based Systems

auteur

Emmanuelle Anceaume, Francisco Brasileiro, Romaric Ludinard, Bruno Sericola, Frédéric Tronel

article

[Research Report] PI 1947, 2010, pp.16

Accès au texte intégral et bibtex

2009

Journal articles

titre

Policy-based intrusion detection in web applications by monitoring Java information flows

auteur

Guillaume Hiet, Valérie Viet Triem Tong, Ludovic Mé, Benjamin Morin

article

International Journal of Information and Computer Security, 2009, Vol.3 (N°3/4), 15 p

Accès au bibtex

Conference papers

titre

Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems

auteur

Emmanuelle Anceaume, F. Brasiliero, Romaric Ludinard, Bruno Sericola, Frédéric Tronel

article

The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, Lyon, France. pp. 773-774

Accès au texte intégral et bibtex

titre

SIDAN: a tool dedicated to Software Instrumentation for Detecting Attacks on Non-control-data

auteur

Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel

article

4th International Conference on Risks and Security of Internet and Systems (CRISIS’2009), Oct 2009, Toulouse, France. pp.NC

Accès au bibtex

titre

Analytical Study of Adversarial Strategies in Cluster-based Overlays

auteur

Emmanuelle Anceaume, Romaric Ludinard, Frédéric Tronel, F. Brasiliero, Bruno Sericola

article

2nd International Workshop on Reliability, Availability, and Security, 2009, Hiroshima, Japan. pp.12, ⟨10.1109/PDCAT.2009.62⟩

Accès au texte intégral et bibtex

titre

Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. Brief announcement

auteur

Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Frédéric Tronel, Francisco V. Brasileiro

article

11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), 2009, Lyon, France

Accès au bibtex

Other publications

titre

Automatic Software Instrumentation for the Detection of Non-control-data Attacks

auteur

Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel

article

2009

Accès au bibtex

2008

Journal articles

titre

Study of the electro-oxidation of CoO and Co(OH)2 at 90 °C in alkaline medium

auteur

Frédéric Tronel, Liliane Guerlou-Demourgues, Lionel Goubault, Patrick Bernard, Claude Delmas

article

Journal of Power Sources, 2008, 179 (2), pp.837-847. ⟨10.1016/j.jpowsour.2008.01.005⟩

Accès au bibtex

Conference papers

titre

Policy-Based Intrusion Detection in Web Applications by Monitoring Java Information Flows

auteur

Guillaume Hiet, Valérie Viet Triem Tong, Ludovic Mé, Benjamin Morin

article

CRiSIS 2008, Oct 2008, Tozeur, Tunisia. 8 p

Accès au bibtex

Theses

titre

Détection d’intrusions paramétrée par la politique de sécurité grâce au contrôle collaboratif des flux d’informations au sein du système d’exploitation et des applications : mise en œuvre sous Linux pour les programmes Java

auteur

Guillaume Hiet

article

Autre [cs.OH]. Université Rennes 1, 2008. Français. ⟨NNT : ⟩

Accès au texte intégral et bibtex

2007

Journal articles

titre

Using Overlay Networks to Build Operating System Services for Large Scale Grids

auteur

Emmanuel Jeanvoine, Louis Rilling, Christine Morin, Daniel Leprince

article

Scalable Computing : Practice and Experience, 2007, 8 (3), pp.229–239

Accès au bibtex

Conference papers

titre

Monitoring both OS and program level information flows to detect intrusions against network servers

auteur

Guillaume Hiet, Ludovic Mé, Benjamin Morin, Valérie Viet Triem Tong

article

IEEE Workshop on Monitoring, Attack Detection and Mitigation, Nov 2007, Toulouse, France

Accès au bibtex

titre

Détection fiable et pertinente de flux d’information illégaux

auteur

Guillaume Hiet, Ludovic Mé, Jacob Zimmermann, Christophe Bidan, Benjamin Morin, Valérie Viet Triem Tong

article

Sixth Conference on Security and Network Architectures (SARSSI), Jun 2007, France

Accès au bibtex

2006

Journal articles

titre

Vers une détection d’intrusions à fiabilité et pertinence prouvables

auteur

Christophe Bidan, Guillaume Hiet, Ludovic Mé, Benjamin Morin, Jacob Zimmermann

article

La Revue de l’électricité et de l’électronique, 2006, 9, 13 p

Accès au bibtex

titre

New spinel cobalt oxides, potential conductive additives for the positive electrode of Ni-MH batteries

auteur

Frédéric Tronel, Liliane Guerlou-Demourgues, Michel Ménétrier, Laurence Croguennec, Lionel Goubault, Patrick Bernard, Claude Delmas

article

Chemistry of Materials, 2006, 18 (25), pp.5840-5851. ⟨10.1021/cm060175t⟩

Accès au bibtex

titre

The Na0.60CoO2 phase, a potential conductive additive for the positive electrode of Ni–MH cells

auteur

Frédéric Tronel, Liliane Guerlou-Demourgues, Maïté Basterreix, Claude Delmas

article

Journal of Power Sources, 2006, 158 (1), pp.722-729. ⟨10.1016/j.jpowsour.2005.07.091⟩

Accès au bibtex

Conference papers

titre

A dependable intrusion detection architecture based on agreement services

auteur

Michel Hurfin, Jean-Pierre Le Narzul, Frédéric Majorczyk, Ludovic Mé, Ayda Saidane, Eric Totel, Frédéric Tronel

article

Eighth International Symposium on Stabilization, Safety, and Security of Distributes Systems, Nov 2006, France. 17 p

Accès au bibtex

titre

Vigne : vers un système d’exploitation auto-réparant pour la grille

auteur

Louis Rilling

article

5ème Conférence Française sur les Systèmes d’Exploitation, Oct 2006, Perpignan, France

Accès au bibtex

titre

Using Overlay Networks to Build Operating System Services for Large Scale Grids

auteur

Emmanuel Jeanvoine, Louis Rilling, Christine Morin, Daniel Leprince

article

Proceedings of the 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), Jul 2006, Timisoara, Romania. pp.191–198, ⟨10.1109/ISPDC.2006.54⟩

Accès au bibtex

titre

Architecture distribuée pour la gestion des ressources dans des grilles à grande échelle

auteur

Emmanuel Jeanvoine, Louis Rilling, Christine Morin, Daniel Leprince

article

NOTERE’2006: nouvelles technologies de la répartition, Jun 2006, Toulouse, France

Accès au bibtex

Reports

titre

Distributed Architecture for Resource Management in Large Scale Grids

auteur

Emmanuel Jeanvoine, Louis Rilling, Christine Morin, Daniel Leprince

article

[Research Report] RR-5814, INRIA. 2006, pp.13

Accès au texte intégral et bibtex

titre

Distributed Architecture for Resource Management in Large Scale Grids

auteur

Emmanuel Jeanvoine, Louis Rilling, Christine Morin, Daniel Leprince

article

[Research Report] PI 1775, 2006, pp.13

Accès au texte intégral et bibtex

2005

Conference papers

titre

A practical transparent data sharing service for the Grid

auteur

Louis Rilling, Christine Morin

article

Fifth International Workshop on Distributed Shared Memory (DSM 2005), May 2005, Cardiff, United Kingdom. pp.897-904, ⟨10.1109/CCGRID.2005.1558657⟩

Accès au bibtex

titre

Partage de données transparent et tolérant aux fautes pour la grille

auteur

Louis Rilling, Christine Morin

article

RenPar’16 : 16ème Rencontres Francophones du Parallélisme, Apr 2005, Le Croisic, France

Accès au bibtex

Reports

titre

Using Overlay Networks to Build Operating System Services for Large Scale Grids

auteur

Emmanuel Jeanvoine, Louis Rilling, Christine Morin, Daniel Leprince

article

[Research Report] PI 1773, 2005, pp.16

Accès au texte intégral et bibtex

titre

Using Overlay Networks to Build Operating System Services for Large Scale Grids

auteur

Emmanuel Jeanvoine, Louis Rilling, Christine Morin, Daniel Leprince

article

[Research Report] RR-5776, INRIA. 2005, pp.16

Accès au texte intégral et bibtex

2004

Reports

titre

A Fault-Tolerant Transparent Data Sharing Service for the Grid

auteur

Louis Rilling, Christine Morin

article

[Research Report] RR-5427, INRIA. 2004, pp.26

Accès au texte intégral et bibtex

2003

Journal articles

titre

A Case for Single System Image Cluster Operating Systems: the Kerrighed Approach

auteur

Geoffroy Vallée, Renaud Lottiaux, Louis Rilling, Jean-Yves Berthou, Ivan Dutka-Malhen, Christine Morin

article

Parallel Processing Letters, 2003, 13 (2), pp.95-122

Accès au bibtex

Conference papers

titre

A New Approach to Configurable Dynamic Scheduling in Clusters based on Single System Image Technologies

auteur

Geoffroy Vallée, Christine Morin, Jean-Yves Berthou, Louis Rilling

article

Proc. 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003, Nice, France. pp.91

Accès au bibtex

titre

Kerrighed: a Single System Image Cluster Operating System for High Performance Computing

auteur

Christine Morin, Renaud Lottiaux, Geoffroy Vallée, Pascal Gallard, Gaël Utard, Ramamurthy Badrinath, Louis Rilling

article

Proc. of Europar 2003: Parallel Processing, 2003, Klagenfurt, Austria. pp.1291–1294

Accès au bibtex

Reports

titre

Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components

auteur

Frédéric Tronel, Frédéric Lang, Hubert Garavel

article

RR-5012, INRIA. 2003

Accès au texte intégral et bibtex

titre

A Coherence Protocol for Cached Copies of Volatile Objects in Peer-to-Peer Systems

auteur

Louis Rilling, Christine Morin

article

[Research Report] RR-5059, INRIA. 2003

Accès au texte intégral et bibtex

titre

A New Approach to Configurable Dynamic Scheduling in Clusters based on Single System Image Technologies

auteur

Geoffroy Vallée, Christine Morin, Jean-Yves Berthou, Louis Rilling

article

[Research Report] RR-4801, INRIA. 2003

Accès au texte intégral et bibtex

2000

Reports

titre

Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework

auteur

Fabiola Greve, Michel Hurfin, Michel Raynal, Frédéric Tronel

article

[Research Report] RR-3856, INRIA. 2000

Accès au texte intégral et bibtex

1999

Reports

titre

Computing Global Functions in Asynchronous Distributed Systems with Process Crashes

auteur

Jean-Michel Hélary, Michel Hurfin, Achour Mostefaoui, Michel Raynal, Frédéric Tronel

article

[Research Report] RR-3656, INRIA. 1999

Accès au texte intégral et bibtex