This is a small collection of papers, presentations, and resources I have consumed and enjoyed or intend to read/reference/whatever down the line. Some items have unorganized sub-lists of related links and references below them, which provide additional context or information for further exploration.

CPS

• Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences. #cps, #fuzzing, #security. Already read.

  • Related simulator code for SWaT
  • Paper surveying related testbeds
  • WADI testbed paper
  • SWaT testbed paper
  • Various information relating to both testbeds

• Jumping the Air-Gap. #cps, #FM, #security. Already read.

• List of Industrial Control System Security Tools. #cps, #ics, #security. To reference.

• Evil Bubbles. #cps, #security. Already read.

Crypt Topics

• A Decade of Lattice Cryptography #lattice, #cryptography. Going to read.

• On Ideal Lattices and Learning with Errors Over Rings. #lattice, #cryptography. Going to read.

Hardware & Trust

• High-resolution non-destructive three-dimensional imaging of integrated circuits #hardware, #verification, #re. Already read.

• A 3-D Split Manufacturing Approach to Trustworthy System Development. #hardware, #manufacturing, #trust. Going to read.

Synthesis

• Neural Guided Constraint Logic Programming for Program Synthesis. #synthesis, #FM, #neuralNets, #machineLearning. Going to read.

• Excellent resource for synthesis and FM tools.
  #synthesis, #verification, #FM. I reference this list frequently.

• Automata-based symbolic string analysis for vulnerability detection. #automata, #vulnerability, #FM. Not really a synthesis paper, but adjascent enough to attack synthesis or attacker synthesis that I think it is not unreasonable to include here. Going to read.

Model Checking

• The Quantitative Zoo: List of Quantitative Modeling Tools. #verification, #FM. Potentially a useful list.