11
Publications
543
Citations
10
H-Index
2008
Active since
Affiliations
John Backes is an author at University of Minnesota specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationAutomated ReasoningComputer EngineeringSoftware AnalysisProgram AnalysisSystems Engineering
Publications per year
2008–2019
11
11
Ghost Talk: Mitigating EMI Signal Injection Attacks against Analog Sensors
Denis Foo Kune, John Backes, Shane S. Clark et al. · 2013 · 264 citations · Full text
Semantic-based Automated Reasoning for AWS Access Policies using SMT
John Backes, Pauline Bolignano, Byron Cook et al. · 2018 · 89 citations
Provisioning (Technology), Engineering, Information Security +23
Andrew Gacek, John Backes, Darren Cofer et al. · 2014 · 42 citations
A Formal Approach to Constructing Secure Air Vehicle Software
Darren Cofer, Andrew Gacek, John Backes et al. · Computer · 2018 · 34 citations
John Backes, Pauline Bolignano, Byron Cook et al. · IEEE Software · 2019 · 29 citations
Rows per page
1–5 of 11