Search Results for author: Patrice Godefroid

Found 6 papers, 1 papers with code

Anomalicious: Automated Detection of Anomalous and Potentially Malicious Commits on GitHub

no code implementations5 Mar 2021 Danielle Gonzalez, Thomas Zimmermann, Patrice Godefroid, Max Schafer

Security is critical to the adoption of open source software (OSS), yet few automated solutions currently exist to help detect and prevent malicious contributions from infecting open source repositories.

Software Engineering

Universal Policies for Software-Defined MDPs

no code implementations21 Dec 2020 Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid

We introduce a new programming paradigm called oracle-guided decision programming in which a program specifies a Markov Decision Process (MDP) and the language provides a universal policy.

Meta-Learning

Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations

no code implementations23 May 2020 Vaggelis Atlidakis, Roxana Geambasu, Patrice Godefroid, Marina Polishchuk, Baishakhi Ray

This paper introduces Pythia, the first fuzzer that augments grammar-based fuzzing with coverage-guided feedback and a learning-based mutation strategy for stateful REST API fuzzing.

valid

REST-ler: Automatic Intelligent REST API Fuzzing

no code implementations26 Jun 2018 Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk

A Swagger specification describes how to access a cloud service through its REST API (e. g., what requests the service can handle and what responses may be expected).

Software Engineering

Deep Reinforcement Fuzzing

no code implementations14 Jan 2018 Konstantin Böttinger, Patrice Godefroid, Rishabh Singh

Fuzzing is the process of finding security vulnerabilities in input-processing code by repeatedly testing the code with modified inputs.

Q-Learning reinforcement-learning +1

Learn&Fuzz: Machine Learning for Input Fuzzing

1 code implementation25 Jan 2017 Patrice Godefroid, Hila Peleg, Rishabh Singh

Fuzzing consists of repeatedly testing an application with modified, or fuzzed, inputs with the goal of finding security vulnerabilities in input-parsing code.

BIG-bench Machine Learning

Cannot find the paper you are looking for? You can Submit a new open access paper.