Skip to Main content Skip to Navigation


...
hal-00650086v1  Journal articles
Emmanuelle AnceaumeFrancisco BrasilieroRomaric LudinardBruno SericolaFrédéric Tronel. Dependability Evaluation of Cluster-based Distributed Systems
International Journal of Foundations of Computer Science, World Scientific Publishing, 2011, 22 (5), pp.1123-1142. ⟨10.1142/S0129054111008593⟩
...
hal-00650095v1  Conference papers
Emmanuelle AnceaumeBruno SericolaRomaric LudinardFrédéric Tronel. Modeling and Evaluating Targeted Attacks in Large Scale Dynamic Systems
Proceedings of the 41rst 2011 International Conference on Dependable Systems and Networks (DSN), Jun 2011, Hong-Kong, China. pp.12
...
hal-00408871v1  Conference papers
Emmanuelle AnceaumeRomaric LudinardFrédéric TronelF. BrasilieroBruno Sericola. Analytical Study of Adversarial Strategies in Cluster-based Overlays
2nd International Workshop on Reliability, Availability, and Security, 2009, Hiroshima, Japan. pp.12, ⟨10.1109/PDCAT.2009.62⟩
hal-00789582v1  Conference papers
Emmanuelle AnceaumeRomaric LudinardBruno SericolaFrédéric TronelFrancisco Brasileiro. Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. Brief announcement
11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), 2009, Lyon, France
...
hal-00420559v1  Conference papers
Emmanuelle AnceaumeF. BrasilieroRomaric LudinardBruno SericolaFrédéric Tronel. Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems
The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, Lyon, France. pp. 773-774
...
inria-00586875v1  Conference papers
Emmanuelle AnceaumeRomaric LudinardBruno SericolaFrédéric Tronel. Modélisation et Évaluation des Attaques Ciblées dans un Overlay Structuré
CFIP 2011 - Colloque Francophone sur l Ingénierie des Protocoles, UTC, May 2011, Sainte Maxime, France
...
hal-01522360v2  Conference papers
Emmanuelle AnceaumeRomaric LudinardMaria Potop-ButucaruFrédéric Tronel. Bitcoin a Distributed Shared Register
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⟩
...
hal-00909293v1  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs
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
...
hal-01334604v1  Conference papers
Mounir AssafJulien SignolesEric TotelFrédéric Tronel. The Cardinal Abstraction for Quantitative Information Flow
Workshop on Foundations of Computer Security 2016 (FCS 2016), Jun 2016, Lisbon, Portugal
...
hal-01618360v1  Conference papers
Mounir AssafDavid NaumannJulien SignolesEric TotelFrédéric Tronel. Hypercollecting Semantics and its Application to Static Analysis of Information Flow
POPL 2017 - ACM Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.874-887, ⟨10.1145/3009837.3009889⟩
...
hal-00814671v2  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Program Transformation for Non-interference Verification on Programs with Pointers
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⟩
...
hal-00657971v1  Conference papers
Jonathan-Christofer DemayFrédéric MajorczykEric TotelFrédéric Tronel. Detecting illegal system calls using a data-oriented detection model
26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.305-316, ⟨10.1007/978-3-642-21424-0_25⟩
...
hal-01535937v1  Conference papers
Laurent GeorgetMathieu JaumeGuillaume PiolleFrédéric TronelValérie Viet Triem Tong. Suivi de flux d'information correct sous Linux
16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26
...
hal-01535862v1  Conference papers
Laurent GeorgetMathieu JaumeGuillaume PiolleFrédéric TronelValérie Viet Triem Tong. Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux
5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩
...
hal-01535949v1  Conference papers
Laurent GeorgetMathieu JaumeGuillaume PiolleFrédéric TronelValérie Viet Triem Tong. Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory
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⟩
...
hal-00840338v1  Conference papers
Christophe HauserFrédéric TronelColin FidgeLudovic Mé. Intrusion detection in distributed systems, an approach based on taint marking
IEEE ICC2013 - IEEE International Conference on Communications, Jun 2013, Budapest, Hungary
hal-03136790v1  Directions of work or proceedings
Guillaume HietFrédéric TronelJean-Louis Lanet. Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020)
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), Sep 2020, Genoa, IEEE, pp.681, 2020, ⟨10.1109/EuroSPW51379.2020.00097⟩
hal-00269302v1  Conference papers
Michel HurfinJean-Pierre Le NarzulFrédéric MajorczykLudovic MéAyda Saidane et al.  A dependable intrusion detection architecture based on agreement services
Eighth International Symposium on Stabilization, Safety, and Security of Distributes Systems, Nov 2006, France. 17 p
...
hal-02385216v1  Conference papers
Kévin Le BonByron HawkinsErven RohouGuillaume HietFrédéric Tronel. Plateforme de protection de binaires configurable et dynamiquement adaptative
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
...
hal-03340008v1  Conference papers
Camille Le BonErven RohouFrédéric TronelGuillaume Hiet. DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification
SILM 2021 - Workshop on the Security of Software / Hardware Interfaces, Sep 2021, digital event, Austria. pp.1-10
hal-00735997v1  Conference papers
Romaric LudinardEric TotelFrédéric TronelVincent NicometteMohamed Kaâniche et al.  Detecting Attacks Against Data in Web Applications
CRiSIS 2012 - 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8
...
hal-01076907v1  Conference papers
Pierre MeyePhilippe RaipinFrédéric TronelEmmanuelle Anceaume. Mistore: A distributed storage system leveraging the DSL infrastructure of an ISP
International Conference on High Performance Computing & Simulation, HPCS 2014, Jul 2014, Bologne, Italy. pp.260 - 267, ⟨10.1109/HPCSim.2014.6903694⟩
...
hal-00924051v1  Conference papers
Pierre MeyePhilippe Raïpin-ParvédyFrédéric TronelEmmanuelle Anceaume. Toward a distributed storage system leveraging the DSL infrastructure of an ISP
11th IEEE Consumer Communications and Networking Conference, Jan 2014, United States. pp.2
...
hal-01076918v1  Conference papers
Pierre MeyePhilippe RaipinFrédéric TronelEmmanuelle Anceaume. A secure two-phase data deduplication scheme
6th International Symposium on Cyberspace Safety and Security (CSS), Aug 2014, Paris, France
hal-00656933v1  Conference papers
Valérie Viet Triem TongRadoniaina AndriatsimandefitraStéphane GellerSimon BocheFrédéric Tronel et al.  Mise en œuvre de politiques de protection des flux d'information dans l'environnement Android
Computer & Electronics Security Applications Rendez-vous (C&ESAR 2011), Nov 2011, Rennes, France