Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing

About
Privacy
Disclaimer

Graph Chatbot

Related publications (27)

MINERVA: Browser API Fuzzing with Dynamic Mod-Ref Analysis

Mathias Josef Payer, Yu Jiang, Chijin Zhou

Browser APIs are essential to the modern web experience. Due to their large number and complexity, they vastly expand the attack surface of browsers. To detect vulnerabilities in these APIs, fuzzers generate test cases with a large amount of random API inv ...

Assoc Computing Machinery2022

Microresonator Dissipative Kerr Solitons Synchronized to an Optoelectronic Oscillator

Tobias Kippenberg, Wenle Weng, Jijun He

Using phase-modulation-induced potential gradient whose period is synchronized to a microwave opto-electronic oscillator, dissipative Kerr solitons generated in a crystalline optical microresonator are trapped by the soliton tweezing effect, exhibiting a s ...

American Physical Society (APS)2022

Thermal-hydraulic analysis of alternative cable-in-conduit conductors for the European DEMO hybrid central solenoid

Kamil Sedlák, Nikolay Bykovskiy, Roberto Guarino

A hybrid design of the Central Solenoid is under study within the conceptual design phase of the European DEMO fusion reactor. It is based on HTS conductors in the innermost high-field layers, and Nb3Sn and NbTi conductors for field values below 15 T. Sinc ...

2022

Nonlinear Frequency Conversion in the Hybrid Si3N4 - LiNbO3 Integrated Platform

Tobias Kippenberg, Rui Ning Wang, Mikhail Churaev, Viacheslav Snigirev, Junqiu Liu

We demonstrate optical frequency comb generation in hybrid high-Q optical microresonators fabricated using direct wafer bonding of photonic Damascene silicon nitride wafer with thin-film lithium niobate-on-insulator (LNOI). The devices enable direct phase ...

IEEE2021

Nonlinear Frequency Conversion in the Hybrid Silicon Nitride - Lithium Niobate Integrated Platform

Tobias Kippenberg, Rui Ning Wang, Mikhail Churaev, Viacheslav Snigirev, Junqiu Liu

IEEE2021

The COUGHVID crowdsourcing dataset: A corpus for the study of large-scale cough analysis algorithms

David Atienza Alonso, Tomas Teijeiro Campo, Lara Orlandic

Overview Cough audio signal classification has been successfully used to diagnose a variety of respiratory conditions, and there has been significant interest in leveraging Machine Learning (ML) to provide widespread COVID-19 screening. Th ...

Zenodo2021

New Methods for the Integrative Dynamic Modeling of Biomolecular Structures

Sylvain Träger

The true understanding of most cellular functions is only really achievable through the structural determination of their underlying macromolecular assemblies. However, their size, large number of individual components and metastable states make their eluc ...

EPFL2021

Seed Selection for Successful Fuzzing

Mathias Josef Payer

Mutation-based greybox fuzzing-unquestionably the most widely-used fuzzing technique-relies on a set of non-crashing seed inputs (a corpus) to bootstrap the bug-finding process. When evaluating a fuzzer, common approaches for constructing this corpus inclu ...

ASSOC COMPUTING MACHINERY2021

Experimental and Numerical Study on Scour-Protection Methods in a Stilling Basin: Case Study of Chancy-Pougny Dam

Anton Schleiss, Giovanni De Cesare, Erik Bollaert, Sabine Chamoun, Davide Wüthrich

Chancy-Pougny is a run-of-river dam on the Swiss–French border constructed in the early 1920s. Since its commissioning, the operation of the four spillway gates has been responsible for a progressive erosion of the stilling basin. The future scour potentia ...

2021

Size-resolved aerosol pH over Europe during summer

Athanasios Nenes, Spyros Pandis

The dependence of aerosol acidity on particle size, location, and altitude over Europe during a summertime period is investigated using the hybrid version of aerosol dynamics in the chemical transport model PMCAMx. The pH changes more with particle size in ...

Copernicus GmbH2021

Page 2 of 3