( en | de | ru )

 

Disambiguation of "Tronel, Frederic"

Author of the publication

copydeleteadd this publication to your clipboard
RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems.

, , , , and . ECRTS, volume 231 of LIPIcs, page 18:1-18:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frederic Orde

Frédéric Ruckert

Frédéric Robin

Frédéric Roux

Frederic Folwaczny

 

Other publications of authors with the same name

Mistore: A distributed storage system leveraging the DSL infrastructure of an ISP., , , and . HPCS, page 260-267. IEEE, (2014)On Classes of Problems in Asynchronous Distributed Systems with Process Crashes., , and . ICDCS, page 470-477. IEEE Computer Society, (1999)DAMAS: Control-Data Isolation at Runtime through Dynamic Binary Modification., , , and . EuroS&P Workshops, page 86-95. IEEE, (2021)Preface of the 2nd Workshop on the Security of Software/Hardware Interfaces (SILM 2020)., , and . EuroS&P Workshops, page 681. IEEE, (2020)Intrusion detection in distributed systems, an approach based on taint marking., , , and . ICC, page 1962-1967. IEEE, (2013)Restricted failure detectors: Definition and reduction protocols., and . Inf. Process. Lett., 72 (3-4): 91-97 (1999)A taint marking approach to confidentiality violation detection., , , and . AISC, volume 125 of CRPIT, page 83-90. Australian Computer Society, (2012)From Binary Consensus to Multivalued Consensus in asynchronous message-passing systems, , and . Information Processing Letters, 73 (5-6): 207 - 212 (2000)Program Transformation for Non-interference Verification on Programs with Pointers., , , and . SEC, volume 405 of IFIP Advances in Information and Communication Technology, page 231-244. Springer, (2013)A Solution to Atomic Commitment Based on an Extended Consensus Protocol., and . FTDCS, page 98-103. IEEE Computer Society, (1997)