Identifiants chercheur

  • IdHAL : ftronel
Nombre de documents

31

Frédéric Tronel


Article dans une revue2 documents

Communication dans un congrès22 documents

  • 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 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 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. 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. 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>
  • Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Program Transformation for Non-interference Verification on Programs with Pointers. Janczewski, LechJ. and Wolfe, HenryB. and Shenoi, Sujeet. SEC, Jul 2013, Auckland, New Zealand. Springer Berlin Heidelberg, 405, pp.231-244, 2013, Security and Privacy Protection in Information Processing Systems - 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings; IFIP Advances in Information and Communication Technology. <10.1007/978-3-642-39218-4_18>. <hal-00814671>
  • 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, 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>
  • 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>
  • Jonathan-Christofer Demay, Frédéric Majorczyk, Eric Totel, Frédéric Tronel. Detecting illegal system calls using a data-oriented detection model. IFIP SEC'2011, Jun 2011, Lucerne, Switzerland. 12 p., 2011. <hal-00657971>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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>
  • 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, 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>
  • 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>
  • 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>