Issues

• HolBA legacy code

  kth-step/HolBA#172 · Filter by author palmskog opened on Mar 11, 2024

• Move tools for SMT interface and symbolic execution from tutorial to main tool directory

  enhancement
  kth-step/HolBA#140 · Filter by author didriklundberg opened on Oct 28, 2020
  2

  

• Unify WP interface

  enhancement
  kth-step/HolBA#139 · Filter by author didriklundberg opened on Oct 28, 2020

• Unify lifter interface

  enhancement
  kth-step/HolBA#138 · Filter by author didriklundberg opened on Oct 28, 2020

• Tidy up dependency inclusions in various files

  kth-step/HolBA#137 · Filter by author andreaslindner opened on Oct 24, 2020

• Fix dependency diagram

  kth-step/HolBA#136 · Filter by author andreaslindner opened on Oct 24, 2020

• Proof procedures for using program composition theorem

  enhancement
  kth-step/HolBA#118 · Filter by author didriklundberg opened on Jun 15, 2020
  

• Standalone, portable specification of BIR syntax and semantics

  kth-step/HolBA#105 · Filter by author palmskog opened on Nov 4, 2019

• Generation of documentation

  kth-step/HolBA#103 · Filter by author palmskog opened on Oct 17, 2019

• Releasing and tagging

  kth-step/HolBA#102 · Filter by author palmskog opened on Oct 17, 2019

• Use composition at ARM level for the example in tutorial

  kth-step/HolBA#100 · Filter by author guancio opened on Oct 2, 2019

• Automation for building and installation

  kth-step/HolBA#99 · Filter by author palmskog opened on Oct 2, 2019
  1

• Scam-V: program generation

  kth-step/HolBA#87 · Filter by author pablobuiras opened on Jun 25, 2019

• Scam-V: Observation refinement

  kth-step/HolBA#86 · Filter by author pablobuiras opened on Jun 25, 2019

• Scam-V: Reorganise modules to couple observation model and side-channel measurement

  kth-step/HolBA#85 · Filter by author pablobuiras opened on Jun 25, 2019
  

• New parser and pretty-printer for BIR expressions and programs

  kth-step/HolBA#84 · Filter by author pablobuiras opened on Jun 25, 2019
  2

  

• Upload posters and slides about HolBA

  doc
  kth-step/HolBA#83 · Filter by author totorigolo opened on Jun 25, 2019
  

• Model memory as a finite map or total memory?

  kth-step/HolBA#80 · Filter by author guancio opened on Jun 24, 2019

• Change handing of memory operations when exporting to SMT

  kth-step/HolBA#79 · Filter by author guancio opened on Jun 24, 2019

• Tautologies and BIR variables

  question
  kth-step/HolBA#77 · Filter by author guancio opened on Jun 5, 2019

• Free variables in WP simplification

  question
  kth-step/HolBA#76 · Filter by author guancio opened on Jun 5, 2019

• Short term verification goals

  question
  kth-step/HolBA#75 · Filter by author guancio opened on Jun 5, 2019
  1

• Composition

  question
  kth-step/HolBA#74 · Filter by author guancio opened on Jun 5, 2019
  

• Simplified toolbox for BinaryAnalysis

  question
  kth-step/HolBA#73 · Filter by author guancio opened on Jun 5, 2019
  1

• Demonstrator

  question
  kth-step/HolBA#72 · Filter by author guancio opened on Jun 5, 2019