activity
20182023
most citedVandal: A Scalable Security Analysis Framework for Smart Contracts

123 citations · 160 across the 6 of their papers we have counts for

collaborators

7 papers

cs.LG2023★ 14 cited

Personalized Graph Federated Learning with Differential Privacy

Francois Gauthier, Vinay Chakravarthi Gogineni, Stefan Werner +2

This paper presents a personalized graph federated learning (PGFL) framework in which distributedly connected servers and their respective edge devices collaboratively learn device…

cs.LG2023★ 11 cited

Asynchronous Online Federated Learning with Reduced Communication Requirements

Francois Gauthier, Vinay Chakravarthi Gogineni, Stefan Werner +2

Online federated learning (FL) enables geographically distributed devices to learn a global shared model from locally available streaming data. Most online FL literature considers…

cs.CR2022★ 5 cited

Runtime Prevention of Deserialization Attacks

Francois Gauthier, Sora Bae

Untrusted deserialization exploits, where a serialised object graph is used to achieve denial-of-service or arbitrary code execution, have become so prominent that they were introd…

cs.LG2021

Resource-Aware Asynchronous Online Federated Learning for Nonlinear Regression

Francois Gauthier, Vinay Chakravarthi Gogineni, Stefan Werner +2

Many assumptions in the federated learning literature present a best-case scenario that can not be satisfied in most real-world applications. An asynchronous setting reflects the r…

cs.CR2021

BackREST: A Model-Based Feedback-Driven Greybox Fuzzer for Web Applications

François Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith +3

Following the advent of the American Fuzzy Lop (AFL), fuzzing had a surge in popularity, and modern day fuzzers range from simple blackbox random input generators to complex whiteb…

cs.CR2018★ 7 cited

SAFE-PDF: Robust Detection of JavaScript PDF Malware Using Abstract Interpretation

Alexander Jordan, François Gauthier, Behnaz Hassanshahi +1

The popularity of the PDF format and the rich JavaScript environment that PDF viewers offer make PDF documents an attractive attack vector for malware developers. PDF documents pre…

cs.PL2018★ 123 cited

Vandal: A Scalable Security Analysis Framework for Smart Contracts

Lexi Brent, Anton Jurisevic, Michael Kong +5

The rise of modern blockchains has facilitated the emergence of smart contracts: autonomous programs that live and run on the blockchain. Smart contracts have seen a rapid climb to…