Events at The University of Manchester
  • University home
  • Events
  • Home
  • Exhibitions
  • Conferences
  • Lectures and seminars
  • Performances
  • Events for prospective students
  • Sustainability events
  • Family events
  • All Events

Computer Science Mercury Talk

Dates:31 March 2021
Times:14:00 - 15:00
What is it:Seminar
Organiser:Department of Computer Science
Who is it for:University staff, Adults, Current University students
Speaker:Kaled Alshmrany
See travel and contact information
Add to your calendar

More information

  • Department of Computer Science

Other events

  • In category "Seminar"
  • In group "(CS) Computer Science seminar series"
  • By Department of Computer Science

Join us for the next Computer Science Mercury Talk (online):

https://zoom.us/j/98440686007

Speaker: Kaled Alshmrany Host: Lucas Cordeiro

Title: FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs

Abstract: We describe and evaluate a novel white-box fuzzer for C programs named FuSeBMC, which combines fuzzing and symbolic execution, and applies Bounded Model Checking (BMC) to find security vulnerabilities in C programs. FuSeBMC explores and analyzes C programs (1) to find execution paths that lead to property violations and (2) to incrementally inject labels to guide the fuzzer and the BMC engine to produce test-cases for code coverage. FuSeBMC successfully participates in Test-Comp’21 and achieves first place in the Cover-Error category and second place in the Overall category.

The link of the paper: https://ssvlab.github.io/lucasccordeiro/papers/fase2021.pdf

Speaker

Kaled Alshmrany

Role: PhD student

Organisation: University of Manchester

Travel and Contact Information

Find event

https://zoom.us/j/98440686007

Contact event

Karon Mee

compsci-acso@manchester.ac.uk

Contact us

  • +44 (0) 161 306 6000

Find us

The University of Manchester
Oxford Rd
Manchester
M13 9PL
UK

Connect with the University

  • Facebook page for The University of Manchester
  • X (formerly Twitter) page for The University of Manchester
  • YouTube page for The University of Manchester
  • Instagram page for The University of Manchester
  • TikTok page for The University of Manchester
  • LinkedIn page for The University of Manchester

  • Privacy /
  • Copyright notice /
  • Accessibility /
  • Freedom of information /
  • Charitable status /
  • Royal Charter Number: RC000797
  • Close menu
  • Home
    • Featured events
    • Today's events
    • The Whitworth events
    • Manchester Museum events
    • Jodrell Bank Discovery Centre events
    • Martin Harris Centre events
    • The John Rylands Library events
    • Exhibitions
    • Conferences
    • Lectures and seminars
    • Performances
    • Events for prospective students
    • Sustainability events
    • Family events
    • All events