One-Click Formal Methods
Backes, John, Bolignano, Pauline, Cook, Byron, Gacek, Andrew, Luckow, Kasper Soe, Rungta, Neha, Schaef, Martin, Schlesinger, Cole, Tanash, Rima, Varming, Carsten, Whalen, Michael
Published in IEEE software (01.11.2019)
Published in IEEE software (01.11.2019)
Get full text
Journal Article
Semantic-based Automated Reasoning for AWS Access Policies using SMT
Backes, John, Bolignano, Pauline, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Luckow, Kasper, Rungta, Neha, Tkachuk, Oksana, Varming, Carsten
Published in 2018 Formal Methods in Computer Aided Design (FMCAD) (01.10.2018)
Published in 2018 Formal Methods in Computer Aided Design (FMCAD) (01.10.2018)
Get full text
Conference Proceeding
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Žikelić, Đorđe, Chang, Bor-Yuh Evan, Bolignano, Pauline, Raimondi, Franco
Year of Publication 02.04.2022
Year of Publication 02.04.2022
Get full text
Journal Article
Automated threat modeling using machine-readable threat models
Cook, John, MacDermid, Todd Granger, Bolignano, Pauline Virginie, Tautschnig, Michael, Tkachuk, Oksana, Rungta, Neha
Year of Publication 05.09.2023
Get full text
Year of Publication 05.09.2023
Patent
Automated threat modeling using machine-readable threat models
Cook, John, MacDermid, Todd Granger, Bolignano, Pauline Virginie, Tautschnig, Michael, Tkachuk, Oksana, Rungta, Neha
Year of Publication 16.08.2022
Get full text
Year of Publication 16.08.2022
Patent
INTENT-BASED GOVERNANCE SERVICE
COOK, John, Byron, VARMING, Carsten, RUNGTA, Neha, BRAY, Tyler, LUCKOW, Kasper, Søe, SCHLESINGER, Cole, GACEK, Andrew, Jude, NEDIC, Andrea, BOLIGNANO, Pauline, Virginie
Year of Publication 22.03.2023
Get full text
Year of Publication 22.03.2023
Patent
INTENT-BASED GOVERNANCE SERVICE
COOK, John, Byron, RUNGTA, Neha, BRAY, Tyler, LUCKOW, Kasper, Søe, SCHLESINGER, Cole, GACEK, Andrew, Jude, NEDIC, Andrea, BOLIGNANO, Pauline, Virginie
Year of Publication 19.01.2022
Get full text
Year of Publication 19.01.2022
Patent
Intent-based governance service
Nedic, Andrea, Bray, Tyler, Cook, John Byron, Gacek, Andrew Jude, Schlesinger, Cole, Bolignano, Pauline Virginie, Rungta, Neha, Varming, Carsten, Luckow, Kasper Søe
Year of Publication 25.10.2022
Get full text
Year of Publication 25.10.2022
Patent
INTENT-BASED GOVERNANCE SERVICE
BOLIGNANO, Pauline, RUNGTA, Neha, GACEK, Andrew, BRAY, Tyler, SCHLESINGER, Cole, COOK, John, LUCKOW, Kasper, NEDIC, Andrea
Year of Publication 08.10.2020
Get full text
Year of Publication 08.10.2020
Patent
Automated threat modeling using machine-readable threat models
Cook, John, MacDermid, Todd Granger, Bolignano, Pauline Virginie, Tautschnig, Michael, Tkachuk, Oksana, Rungta, Neha
Year of Publication 12.05.2020
Get full text
Year of Publication 12.05.2020
Patent
PRE-DEPLOYMENT SECURITY ANALYZER SERVICE FOR VIRTUAL COMPUTING RESOURCES
BOLIGNANO, Pauline, KALYANKRISHNAN, Santosh, VARMING, Carsten, DODGE, Catherine, RUNGTA, Neha, VISWANATHAN, Rajesh, COOK, John, COOKE, Daryl
Year of Publication 12.09.2019
Get full text
Year of Publication 12.09.2019
Patent
INTENT-BASED GOVERNANCE SERVICE
COOK, John Byron, VARMING, Carsten, RUNGTA, Neha, GACEK, Andrew Jude, LUCKOW, Kasper Søe, BRAY, Tyler, SCHLESINGER, Cole, BOLIGNANO, Pauline Virginie, NEDIC, Andrea
Year of Publication 01.10.2020
Get full text
Year of Publication 01.10.2020
Patent
AUTOMATED CODE VERIFICATION SERVICE AND INFRASTRUCTURE THEREFOR
McLAUGHLIN, Sean, COOK, John Byron, TASIRAN, Serdar, DODGE, Catherine, TUTTLE, Mark, LUCKOW, Kasper, NEDIC, Andrea, TAUTSCHNIG, Michael, BOLIGNANO, Pauline, VARMING, Carsten, RUNGTA, Neha, GACEK, Andrew Jude, KAHSAI AZENE, Temesghen, HORTALA, Juan Rogriguez, SCHWARTZ, Narbonnne
Year of Publication 05.03.2020
Get full text
Year of Publication 05.03.2020
Patent
CONSTRAINT SOLVER EXECUTION SERVICE AND INFRASTRUCTURE THEREFOR
McLAUGHLIN, Sean, COOK, John Byron, VARMING, Carsten, DODGE, Catherine, RUNGTA, Neha, GACEK, Andrew Jude, KAHSAI AZENE, Temesghen, HORTALA, Juan Rodriguez, BOLIGNANO, Pauline Virginie, SCHWARTZ-NARBONNE, Daniel, LUCKOW, Kasper Soe
Year of Publication 05.03.2020
Get full text
Year of Publication 05.03.2020
Patent