Formally Applied
  •  Archives
  •  About

Archives

28 Jan 2021 BCOVBench: A benchmark suite for binary analysis research
16 Jun 2020 Visualizing program graphs using bcov
26 May 2020 Function identification in stripped binaries revisited
07 Nov 2017 An introduction to approximate computing
25 May 2017 Undefined behavior in the wild
10 May 2017 Floating-point satisfiability as global optimization
04 May 2017 Building this blog

© 2017-2021 Ammar Ben Khadra

Top