Frederic Tronel - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2022

RT-DFI: Optimizing Data-Flow Integrity for Real-Time SystemsNicolas Bellec, Guillaume Hiet, Simon Rokicki, Frederic Tronel, Isabelle Puaut. ecrts 2022: [doi]

2017

Verifying the Reliability of Operating System-Level Information Flow Control Systems in LinuxLaurent Georget, Mathieu Jaume, Frederic Tronel, Guillaume Piolle, Valérie Viet Triem Tong. ICSE 2017: 10-16 [doi]

2014

Mistore: A distributed storage system leveraging the DSL infrastructure of an ISPPierre Meye, Philippe Raipin Parvédy, Frederic Tronel, Emmanuelle Anceaume. hpcs 2014: 260-267 [doi]

2013

Intrusion detection in distributed systems, an approach based on taint markingChristophe Hauser, Frederic Tronel, Colin J. Fidge, Ludovic Mé. icc 2013: 1962-1967 [doi]

2012

Detecting attacks against data in web applicationsRomaric Ludinard, Eric Totel, Frederic Tronel, Vincent Nicomette, Mohamed Kaâniche, Eric Alata, Rim Akrout, Yann Bachy. crisis 2012: 1-8 [doi]

2011

2009

Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer SystemsEmmanuelle Anceaume, Francisco Vilar Brasileiro, Romaric Ludinard, Bruno Sericola, Frederic Tronel. sss 2009: 773-774 [doi]

2006

Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P OverlaysFrançois Bonnet, Frederic Tronel, Spyros Voulgaris. wdag 2006: 560-562 [doi]

2003

Compositional Verification Using CADP of the ScalAgent Deployment Protocol for Software ComponentsFrederic Tronel, Frédéric Lang, Hubert Garavel. fmoods 2003: 244-260 [doi]

2001

2000

1999

1997

A Solution to Atomic Commitment Based on an Extended Consensus ProtocolMichel Hurfin, Frederic Tronel. ftdcs 1997: 98-103 [doi]

Sign in or sign up to see more results.

runs on WebDSL