Frédéric Tronel
40
Documents
Identifiants chercheurs
- ftronel
- 0000-0002-2420-6105
- IdRef : 075985314
Présentation
Publications
|
An Invariant-based Approach for Detecting Attacks against Data in Web ApplicationsInternational journal of secure software engineering, 2014, 5 (1), pp.19-38. ⟨10.4018/ijsse.2014010102⟩
Article dans une revue
hal-01083296v1
|
|
Dependability Evaluation of Cluster-based Distributed SystemsInternational Journal of Foundations of Computer Science, 2011, 22 (5), pp.1123-1142. ⟨10.1142/S0129054111008593⟩
Article dans une revue
hal-00650086v1
|
|
RT-DFI: Optimizing Data-Flow Integrity for Real-Time SystemsECRTS 2022 - 34th Euromicro Conference on Real-Time Systems, Jul 2022, Modène, Italy. pp.1-24, ⟨10.4230/LIPIcs.ECRTS.2022.18⟩
Communication dans un congrès
hal-03641576v1
|
|
DAMAS: Control-Data Isolation at Runtime through Dynamic Binary ModificationSILM 2021 - Workshop on the Security of Software / Hardware Interfaces, Sep 2021, digital event, Austria. pp.86-95, ⟨10.1109/EuroSPW54576.2021.00016⟩
Communication dans un congrès
hal-03340008v1
|
|
Plateforme de protection de binaires configurable et dynamiquement adaptativeRESSI 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
Communication dans un congrès
hal-02385216v1
|
|
Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩
Communication dans un congrès
hal-01535862v1
|
|
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory15th 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⟩
Communication dans un congrès
hal-01535949v1
|
|
Hypercollecting Semantics and its Application to Static Analysis of Information FlowPOPL 2017 - ACM Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.874-887, ⟨10.1145/3009837.3009889⟩
Communication dans un congrès
hal-01618360v1
|
|
Suivi de flux d'information correct sous Linux16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26
Communication dans un congrès
hal-01535937v1
|
|
Bitcoin a Distributed Shared RegisterSSS 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⟩
Communication dans un congrès
hal-01522360v2
|
|
The Cardinal Abstraction for Quantitative Information FlowWorkshop on Foundations of Computer Security 2016 (FCS 2016), Jun 2016, Lisbon, Portugal
Communication dans un congrès
hal-01334604v1
|
|
Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT), IEEE, Sep 2015, Bremen, Germany. ⟨10.1109/vissoft.2015.7332431⟩
Communication dans un congrès
hal-01213233v1
|
Towards a Formal Semantics for System Calls in terms of Information FlowTenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. pp.1-4
Communication dans un congrès
hal-01149471v1
|
|
|
Toward a distributed storage system leveraging the DSL infrastructure of an ISP11th IEEE Consumer Communications and Networking Conference, Jan 2014, United States. pp.2
Communication dans un congrès
hal-00924051v1
|
|
A secure two-phase data deduplication scheme6th International Symposium on Cyberspace Safety and Security (CSS), Aug 2014, Paris, France
Communication dans un congrès
hal-01076918v1
|
|
Mistore: A distributed storage system leveraging the DSL infrastructure of an ISPInternational Conference on High Performance Computing & Simulation, HPCS 2014, Jul 2014, Bologne, Italy. pp.260 - 267, ⟨10.1109/HPCSim.2014.6903694⟩
Communication dans un congrès
hal-01076907v1
|
|
Intrusion detection in distributed systems, an approach based on taint markingIEEE ICC2013 - IEEE International Conference on Communications, Jun 2013, Budapest, Hungary
Communication dans un congrès
hal-00840338v1
|
|
Moniteur hybride de flux d'information pour un langage supportant des pointeursSARSSI - 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France
Communication dans un congrès
hal-00909293v1
|
|
Program Transformation for Non-interference Verification on Programs with Pointers28th 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⟩
Communication dans un congrès
hal-00814671v2
|
Detecting Attacks Against Data in Web ApplicationsCRiSIS 2012 - 7th International Conference on Risks and Security of Internet and Systems, Oct 2012, Cork, Ireland. pp.1-8
Communication dans un congrès
hal-00735997v1
|
|
A taint marking approach to confidentiality violation detectionAISC 2012, Jan 2012, Melbourne, Australia. pp.83-90
Communication dans un congrès
hal-00736045v1
|
|
From SSIR to CIDre: a New Security Research Group in Rennes1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands
Communication dans un congrès
hal-00656940v1
|
|
|
Detecting illegal system calls using a data-oriented detection model26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.305-316, ⟨10.1007/978-3-642-21424-0_25⟩
Communication dans un congrès
hal-00657971v1
|
|
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
Communication dans un congrès
inria-00586875v1
|
Mise en œuvre de politiques de protection des flux d'information dans l'environnement AndroidComputer & Electronics Security Applications Rendez-vous (C&ESAR 2011), Nov 2011, Rennes, France
Communication dans un congrès
hal-00656933v1
|
|
|
Information Flow Control for Intrusion Detection derived from MAC Policy2011 IEEE International Conference on Communications (ICC), Jun 2011, Kyoto, Japan. 6 p., ⟨10.1109/icc.2011.5962660⟩
Communication dans un congrès
hal-00647116v1
|
|
Modeling and Evaluating Targeted Attacks in Large Scale Dynamic SystemsProceedings of the 41rst 2011 International Conference on Dependable Systems and Networks (DSN), Jun 2011, Hong-Kong, China. pp.12
Communication dans un congrès
hal-00650095v1
|
Generation et evaluation de mecanismes de detection d'intrusion au niveau applicatifSARSSI 2010, May 2010, Menton, France. pp.NC
Communication dans un congrès
hal-00536661v1
|
|
|
Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer SystemsThe 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Nov 2009, Lyon, France. pp. 773-774
Communication dans un congrès
hal-00420559v1
|
|
Analytical Study of Adversarial Strategies in Cluster-based Overlays2nd International Workshop on Reliability, Availability, and Security, 2009, Hiroshima, Japan. pp.12, ⟨10.1109/PDCAT.2009.62⟩
Communication dans un congrès
hal-00408871v1
|
SIDAN: a tool dedicated to Software Instrumentation for Detecting Attacks on Non-control-data4th International Conference on Risks and Security of Internet and Systems (CRISIS'2009), Oct 2009, Toulouse, France. pp.NC
Communication dans un congrès
hal-00424574v1
|
|
Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems. Brief announcement11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), 2009, Lyon, France
Communication dans un congrès
hal-00789582v1
|
|
A dependable intrusion detection architecture based on agreement servicesEighth International Symposium on Stabilization, Safety, and Security of Distributes Systems, Nov 2006, France. 17 p
Communication dans un congrès
hal-00269302v1
|
Automatic Software Instrumentation for the Detection of Non-control-data Attacks2009
Autre publication scientifique
hal-00420086v1
|
|
Moniteur hybride de flux d'information pour un langage supportant des pointeurs[Rapport de recherche] RR-8326, INRIA. 2013, pp.25
Rapport
hal-00841048v1
|
|
Dependability Evaluation of Cluster-based Systems[Research Report] PI 1947, 2010, pp.16
Rapport
inria-00463468v1
|
|
Performance Analysis of Large Scale Peer-to-Peer Overlays using Markov Chains[Research Report] PI-1963, 2010, pp.18
Rapport
inria-00546039v1
|
|
Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software ComponentsRR-5012, INRIA. 2003
Rapport
inria-00071572v1
|
|
Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework[Research Report] RR-3856, INRIA. 2000
Rapport
inria-00072800v1
|
|
Computing Global Functions in Asynchronous Distributed Systems with Process Crashes[Research Report] RR-3656, INRIA. 1999
Rapport
inria-00073017v1
|