John D. Backes

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 6

Top Topics

Injection Attacks

Boolean Satisfiability

Detailed Design

Top Venues

IEEE Symposium on Security and Privacy

Publications

Sam Bayless, John D. Backes, D. DaCosta, B. F. Jones, N. Launchbury, P. Trentin, K. Jewell, S. Joshi, M. Q. Zeng, N. Mathews
Debugging Network Reachability with Blocked Paths. CAV (2) (2021)
Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek
From Design Contracts to Component Requirements Verification. CoRR (2016)
John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp
On Implementing Real-time Specification Patterns Using Observers. CoRR (2016)
Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John D. Backes, Arie Gurfinkel, Michael W. Whalen
Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability. CoRR (2016)
Jing Liu, John D. Backes, Darren D. Cofer, Andrew Gacek
From Design Contracts to Component Requirements Verification. NFM (2016)
John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp
On Implementing Real-Time Specification Patterns Using Observers. NFM (2016)
Denis Foo Kune, John D. Backes, Shane S. Clark, Daniel B. Kramer, Matthew R. Reynolds, Kevin Fu, Yongdae Kim, Wenyuan Xu
Ghost Talk: Mitigating EMI Signal Injection Attacks against Analog Sensors. IEEE Symposium on Security and Privacy (2013)
John D. Backes, Marc D. Riedel
Using cubes of non-state variables with property directed reachability. DATE (2013)
John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk
Regression Verification Using Impact Summaries. SPIN (2013)
John D. Backes, Marc D. Riedel
The Synthesis of Cyclic Dependencies with Boolean Satisfiability. ACM Trans. Design Autom. Electr. Syst. 17 (4) (2012)
John D. Backes, Marc D. Riedel
Reduction of interpolants for logic synthesis. ICCAD (2010)
Weikang Qian, John D. Backes, Marc D. Riedel
The Synthesis of Stochastic Circuits for Nanoscale Computation. Int. J. Nanotechnol. Mol. Comput. 1 (4) (2009)
John D. Backes, Brian Fett, Marc D. Riedel
The analysis of cyclic circuits with Boolean satisfiability. ICCAD (2008)