Steel, Cast Iron and Concrete: Security Engineering for Real World Wireless Sensor Networks. - Frank Stajano; Daniel Cvrcek; Matt Lewis (ACNS, 2008)

Second-Order SAT Solving using Program Synthesis. - Daniel Kroening; Matt Lewis (CoRR, 2014)

Precise verification of C programs. - Matt Lewis (2014)

Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. - Cristina David; Daniel Kroening; Matt Lewis (ESOP, 2015)

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. - Cristina David; Daniel Kroening; Matt Lewis (ESOP, 2015)

Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. - David Landsberg; Hana Chockler; Daniel Kroening; Matt Lewis (FASE, 2015)

Proving Safety with Trace Automata and Bounded Model Checking. - Daniel Kroening; Matt Lewis; Georg Weissenbacher (FM, 2015)

Accelerating Invariant Generation. - Kumar Madhukar; Björn Wachter; Daniel Kroening; Matt Lewis; Mandayam K. Srivas (FMCAD, 2015)

Using Program Synthesis for Program Analysis. - Cristina David; Daniel Kroening; Matt Lewis (LPAR, 2015)

Danger Invariants. - Cristina David; Daniel Kroening; Matt Lewis (CoRR, 2015)

Under-approximating loops in C programs for fast counterexample detection. - Daniel Kroening; Matt Lewis; Georg Weissenbacher (Formal Methods Syst. Des., 2015)

Danger Invariants. - Cristina David; Pascal Kesseli; Daniel Kroening; Matt Lewis (FM, 2016)

Program Synthesis for Program Analysis. - Cristina David; Pascal Kesseli; Daniel Kroening; Matt Lewis (ACM Trans. Program. Lang. Syst., 2018)

Fine-Grained Trackability in Protocol Executions. - Ksenia Budykho; Ioana Boureanu; Stephan Wesemeyer; Daniel Romero; Matt Lewis; Yogaratnam Rahulan; Fortunat Rajaona; Steve Schneider (NDSS, 2023)

From policy to practice: Lessons learned from an open science funding initiative. - Sonya B. Dumanis; Kristen Ratan; Souad McIntosh; Hetal V. Shah; Matt Lewis; Timothy H. Vines; Randy Schekman; Ekemini A. Riley (PLoS Comput. Biol., 2023)