Identifiants chercheur

  • IdHAL : ftronel
Nombre de documents

36

Frédéric Tronel


Article dans une revue2 documents

Communication dans un congrès27 documents

  • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valé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. IEEE Press, pp.10-16, 2017, 〈http://www.formalise.org/〉. 〈10.1109/FormaliSE.2017.1〉. 〈hal-01535862〉
  • Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Fré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. Springer, Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 10616, pp.456-468, 2017, Lecture Notes in Computer Science. 〈10.1007/978-3-319-69084-1_34〉. 〈hal-01522360v2〉
  • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. Alessandro Cimatti; Marjan Sirjani. 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy. Springer International Publishing, Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), pp.1-16, 2017, LNCS. 〈http://sefm17.fbk.eu/〉. 〈10.1007/978-3-319-66197-1_1〉. 〈hal-01535949〉
  • Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong. Suivi de flux d'information correct sous Linux. Akram Idani; Nikolai Kosmatov. 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. Actes des 16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), pp.19-26, 2017, 〈http://afadl2017.imag.fr/〉. 〈hal-01535937〉
  • Mounir Assaf, David Naumann, Julien Signoles, Eric Totel, Fré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. ACM, 52 (1), pp.874-887, ACM SIGPLAN Notices - POPL '17. 〈https://popl17.sigplan.org/〉. 〈10.1145/3009837.3009889〉. 〈hal-01618360〉
  • Mounir Assaf, Julien Signoles, Eric Totel, Frédéric Tronel. The Cardinal Abstraction for Quantitative Information Flow. Workshop on Foundations of Computer Security 2016 (FCS 2016), Jun 2016, Lisbon, Portugal. 〈hal-01334604〉
  • Laurent Georget, Frédéric Tronel, Valérie Viet Triem Tong. Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase. 3rd IEEE Working Conference on Software Visualization - VISSOFT 2015, Sep 2015, Bremen, Germany. 2015, Proceedings of the 3rd IEEE Working Conference on Software Visualization (VISSOFT 2015). 〈https://www.lgeorget.eu/code-panel/images/kayrebt_viewer_VISSOFT2015.pdf〉. 〈hal-01213233〉
  • Pierre Meye, Philippe Raïpin-Parvédy, Frédéric Tronel, Emmanuelle 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, 2014. 〈hal-00924051〉
  • Pierre Meye, Philippe Raipin, Frédéric Tronel, Emmanuelle 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, 2014, 〈10.1109/HPCSim.2014.6903694〉. 〈hal-01076907〉
  • Pierre Meye, Philippe Raipin, Frédéric Tronel, Emmanuelle Anceaume. A secure two-phase data deduplication scheme. 6th International Symposium on Cyberspace Safety and Security (CSS), Aug 2014, Paris, France. 〈hal-01076918〉
  • Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Program Transformation for Non-interference Verification on Programs with Pointers. Lech J. Janczewski; Henry B. Wolfe; Sujeet Shenoi. 28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. Springer Berlin Heidelberg, IFIP Advances in Information and Communication Technology, AICT-405, pp.231-244, 2013, Security and Privacy Protection in Information Processing Systems. 〈10.1007/978-3-642-39218-4_18〉. 〈hal-00814671v2〉
  • Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric 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. 2013. 〈hal-00909293〉
  • Christophe Hauser, Frédéric Tronel, Colin Fidge, Ludovic Mé. Intrusion detection in distributed systems, an approach based on taint marking. IEEE ICC2013 - IEEE International Conference on Communications, Jun 2013, Budapest, Hungary. 2013. 〈hal-00840338〉
  • Romaric Ludinard, Eric Totel, Frédéric Tronel, Vincent Nicomette, Mohamed 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, 2012. 〈hal-00735997〉
  • Christophe Hauser, Frédéric Tronel, Jason Reid, Colin Fidge. A taint marking approach to confidentiality violation detection. ACS. AISC 2012, Jan 2012, Melbourne, Australia. Pieprzyk, Josef & Thomborson, Clark (Eds.), 125, pp.83-90, 2012, CRPIT. 〈hal-00736045〉
  • Emmanuelle Anceaume, Christophe Bidan, Sébastien Gambs, Guillaume Hiet, Michel Hurfin, et al.. From SSIR to CIDre: a New Security Research Group in Rennes. 1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands. 〈hal-00656940〉
  • Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Fré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, May 2011, Sainte Maxime, France. 2011. 〈inria-00586875〉
  • Jonathan-Christofer Demay, Frédéric Majorczyk, Eric Totel, Frédéric Tronel. Detecting illegal system calls using a data-oriented detection model. Jan Camenisch; Simone Fischer-Hübner; Yuko Murayama; Armand Portmann; Carlos Rieder. 26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. Springer, IFIP Advances in Information and Communication Technology, AICT-354, pp.305-316, 2011, Future Challenges in Security and Privacy for Academia and Industry. 〈10.1007/978-3-642-21424-0_25〉. 〈hal-00657971〉
  • Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Fré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, 2011. 〈hal-00650095〉
  • Valérie Viet Triem Tong, Radoniaina Andriatsimandefitra, Stéphane Geller, Simon Boche, Fré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. 〈hal-00656933〉
  • Stéphane Geller, Christophe Hauser, Frédéric Tronel, Valérie Viet Triem Tong. Information Flow Control for Intrusion Detection derived from MAC Policy. 2011 IEEE International Conference on Communications (ICC), Jun 2011, Kyoto, Japan. 6 p., 2011, 〈10.1109/icc.2011.5962660〉. 〈hal-00647116〉
  • Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel. Generation et evaluation de mecanismes de detection d'intrusion au niveau applicatif. SARSSI 2010, May 2010, Menton, France. pp.NC, 2010. 〈hal-00536661〉
  • Emmanuelle Anceaume, Romaric Ludinard, Frédéric Tronel, F. Brasiliero, Bruno Sericola. Analytical Study of Adversarial Strategies in Cluster-based Overlays. 2nd International Workshop on Reliability, Availability, and Security, 2009, Hiroshima, Japan. pp.12, 2009, 〈10.1109/PDCAT.2009.62〉. 〈hal-00408871〉
  • Emmanuelle Anceaume, F. Brasiliero, Romaric Ludinard, Bruno Sericola, Fré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. Springer Verlag Lecture Notes in Computer Science (LNCS) series (5873), pp. 773-774, 2009. 〈hal-00420559〉
  • Emmanuelle Anceaume, Romaric Ludinard, Bruno Sericola, Frédéric Tronel, Francisco 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, 2009. 〈hal-00789582〉
  • Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel. SIDAN: a tool dedicated to Software Instrumentation for Detecting Attacks on Non-control-data. 4th International Conference on Risks and Security of Internet and Systems (CRISIS'2009), Oct 2009, Toulouse, France. pp.NC, 2009. 〈hal-00424574〉
  • Michel Hurfin, Jean-Pierre Le Narzul, Frédéric Majorczyk, Ludovic 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., 2006. 〈hal-00269302〉

Autre publication1 document

  • Jonathan-Christofer Demay, Eric Totel, Frédéric Tronel. Automatic Software Instrumentation for the Detection of Non-control-data Attacks. Poster and short paper. 2009. 〈hal-00420086〉

Rapport6 documents

  • Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs. [Rapport de recherche] RR-8326, INRIA. 2013, pp.25. 〈hal-00841048〉
  • Emmanuelle Anceaume, Bruno Sericola, Romaric Ludinard, Frédéric Tronel. Performance Analysis of Large Scale Peer-to-Peer Overlays using Markov Chains. [Research Report] PI-1963, 2010, pp.18. 〈inria-00546039〉
  • Emmanuelle Anceaume, Francisco Brasileiro, Romaric Ludinard, Bruno Sericola, Frédéric Tronel. Dependability Evaluation of Cluster-based Systems. [Research Report] PI 1947, 2010, pp.16. 〈inria-00463468〉
  • Frédéric Tronel, Frédéric Lang, Hubert Garavel. Compositional Verification using CADP of the ScalAgent Deployment Protocol for Software Components. RR-5012, INRIA. 2003. 〈inria-00071572〉
  • Fabiola Greve, Michel Hurfin, Michel Raynal, Frédéric Tronel. Primary Component Asynchronous Group Membership as an Instance of a Generic Agreement Framework. [Research Report] RR-3856, INRIA. 2000. 〈inria-00072800〉
  • Jean-Michel Hélary, Michel Hurfin, Achour Mostefaoui, Michel Raynal, Frédéric Tronel. Computing Global Functions in Asynchronous Distributed Systems with Process Crashes. [Research Report] RR-3656, INRIA. 1999. 〈inria-00073017〉