ECOOP and ISSTA 2021 (series) / ISSTA 2021 (series) / Tool Demonstrations /
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Thu 15 Jul 2021 18:05 - 18:40 at ISSTA Demos - ISSTA Tool Demos (Live Discussion) 1 Chair(s): Michael Pradel
Fri 16 Jul 2021 09:05 - 09:40 at ISSTA Demos - ISSTA Tool Demos (Live Discussion) 3 Chair(s): Michael Pradel
Fri 16 Jul 2021 09:05 - 09:40 at ISSTA Demos - ISSTA Tool Demos (Live Discussion) 3 Chair(s): Michael Pradel
We present a new benchmark (ProFuzzBench) for stateful fuzzing of network protocols. The benchmark includes a suite of representative open-source network servers for popular protocols, and tools to automate experimentation. We discuss challenges and potential directions for future research based on this benchmark.
Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
18:05 - 18:40 | ISSTA Tool Demos (Live Discussion) 1Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart | ||
18:05 35mLive Q&A | RESTest: Automated Black-Box Testing of RESTful Web APIs Tool Demonstrations Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville | ||
18:05 35mLive Q&A | C4: the C Compiler Concurrency Checker Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London | ||
18:05 35mLive Q&A | echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | ||
18:05 35mLive Q&A | SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University | ||
18:05 35mLive Q&A | ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations | ||
Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:05 - 09:40 | ISSTA Tool Demos (Live Discussion) 3Tool Demonstrations at ISSTA Demos Chair(s): Michael Pradel University of Stuttgart | ||
09:05 35mLive Q&A | SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Tool Demonstrations Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University | ||
09:05 35mLive Q&A | TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Tool Demonstrations Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University | ||
09:05 35mLive Q&A | ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations | ||
09:05 35mLive Q&A | C4: the C Compiler Concurrency Checker Tool Demonstrations Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London | ||
09:05 35mLive Q&A | echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | ||
09:05 35mLive Q&A | MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services Tool Demonstrations Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia | ||