John Backes

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Topics

Access Control Policies

Mathematical Proofs

Top Venues

Publications

Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. CoRR (2024)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) (2024)
John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Søe Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan
Stratified Abstraction of Access Control Policies. CAV (1) (2020)
John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schäf, Cole Schlesinger, Rima Tanash, Carsten Varming, Michael W. Whalen
One-Click Formal Methods. IEEE Softw. 36 (6) (2019)
John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley
Reachability Analysis for AWS-Based Networks. CAV (2) (2019)
Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart
A Formal Approach to Constructing Secure Air Vehicle Software. Computer 51 (11) (2018)
John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming
Semantic-based Automated Reasoning for AWS Access Policies using SMT. FMCAD (2018)
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
The JKind Model Checker. CAV (2) (2018)
Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. TACAS (2) (2018)
Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. CoRR (2017)
Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani
The JKind Model Checker. CoRR (2017)
John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen
Requirements Analysis of a Quad-Redundant Flight Control System. NFM (2015)
Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer
Towards Realizability Checking of Contracts using Theories. CoRR (2015)
John Backes, Darren D. Cofer, Steven P. Miller, Mike Whalen
Requirements Analysis of a Quad-Redundant Flight Control System. CoRR (2015)
Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer
Towards Realizability Checking of Contracts Using Theories. NFM (2015)
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen
Resolute: an assurance case language for architecture models. HILT (2014)
Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen
Resolute: An Assurance Case Language for Architecture Models. CoRR (2014)