Meredith L. Patterson Upstanding Hackers, Inc. LangSec@SPW May 21, - - PowerPoint PPT Presentation

meredith l patterson
SMART_READER_LITE
LIVE PREVIEW

Meredith L. Patterson Upstanding Hackers, Inc. LangSec@SPW May 21, - - PowerPoint PPT Presentation

Meredith L. Patterson Upstanding Hackers, Inc. LangSec@SPW May 21, 2015 https://github.com/UpstandingHackers/hammer All backends complete Packrat, GLR, LALR, LL(k), regex New combinators! h_endianness h_aligned


slide-1
SLIDE 1

Meredith L. Patterson Upstanding Hackers, Inc. LangSec@SPW May 21, 2015 https://github.com/UpstandingHackers/hammer

slide-2
SLIDE 2

 All backends complete

  • Packrat, GLR, LALR, LL(k), regex

 New combinators!

  • h_endianness
  • h_aligned
  • h_put_value and h_get_value
  • h_permutation
  • h_bind (continuations!)

 Generating functions (enumerative

combinatorics)

https://github.com/UpstandingHackers/hammer

slide-3
SLIDE 3

 Network protocols

  • pcap
  • Ethernet/IP …

 DNP3

  • If you must eat an elephant, make it a big one
  • Long-range data dependencies

 Tie knots!

  • Connecting formal grammars and algebraic

topology

https://github.com/UpstandingHackers/hammer

slide-4
SLIDE 4

 13-part series  https://github.com/sergeybratus/HammerPrimer

https://github.com/UpstandingHackers/hammer

slide-5
SLIDE 5

 ALL* as default backend  More bindings

  • Lua, Haskell, Rust

 Profiling/optimisation  Testing framework for protocol grammars  Attack surface quantification/exploration

  • “More ties than we thought,”

Hirsch/Patterson/Sandberg/Vejdemo-Johansson, PeerJ CS, May 2015

https://github.com/UpstandingHackers/hammer