E-LIB Suche - Ergebnisse für: Cook, Byron

1

Partitioning Strategies for Distributed SMT Solving:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Wilson, Amalee ; Noetzli, Andres ; Reynolds, Andrew... - p. 199-208 , 2023

Link: https://doi.org/10.34727..

2

Generating and Exploiting Automated Reasoning Proof Certifi..:

Barbosa, Haniel ; Barrett, Clark ; Cook, Byron...
Communications of the ACM. 66 (2023) 10 - p. 86-95 , 2023

Link: https://doi.org/10.1145/..

3

Code‐level model checking in the software development workf..:

Chong, Nathan ; Cook, Byron ; Eidelman, Jonathan...
Software: Practice and Experience. 51 (2021) 4 - p. 772-797 , 2021

Link: https://doi.org/10.1002/..

4

Block public access: trust safety verification of access co..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Bouchet, Malik ; Cook, Byron ; Cutler, Bryant... - p. 281-291 , 2020

Link: https://dl.acm.org/doi/1..

5

Code-level model checking in the software development workf..:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice,

Chong, Nathan ; Cook, Byron ; Kallas, Konstantinos... - p. 11-20 , 2020

Link: https://dl.acm.org/doi/1..

6

Model checking boot code from AWS data centers:

Cook, Byron ; Khazem, Kareem ; Kroening, Daniel...
Formal Methods in System Design. , 2020

Link: https://doi.org/10.1007/..

7

Using model checking tools to triage the severity of securi..:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),

Cook, Byron ; Dobel, Bjorn ; Kroening, Daniel... - p. 185-193 , 2020

Link: https://doi.org/10.34727..

8

Stratified Abstraction of Access Control Policies:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Backes, John ; Berrueco, Ulises ; Bray, Tyler... - p. 165-176 , 2020

Link: https://doi.org/10.1007/..

9

One-Click Formal Methods:

Backes, John ; Bolignano, Pauline ; Cook, Byron...
IEEE Software. 36 (2019) 6 - p. 61-65 , 2019

Link: https://doi.org/10.1109/..

10

Reachability Analysis for AWS-Based Networks:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Backes, John ; Bayless, Sam ; Cook, Byron... - p. 231-241 , 2019

Link: https://doi.org/10.1007/..

11

Continuous Formal Verification of Amazon s2n:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Chudnov, Andrey ; Collins, Nathan ; Cook, Byron... - p. 430-446 , 2018

Link: https://doi.org/10.1007/..

12

Formal Reasoning About the Security of Amazon Web Services:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Cook, Byron - p. 38-47 , 2018

Link: https://doi.org/10.1007/..

13

SideTrail: Verifying Time-Balancing of Cryptosystems:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,

Athanasiou, Konstantinos ; Cook, Byron ; Emmi, Michael... - p. 215-228 , 2018

Link: https://doi.org/10.1007/..

14

Model Checking Boot Code from AWS Data Centers:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Cook, Byron ; Khazem, Kareem ; Kroening, Daniel... - p. 467-486 , 2018

Link: https://doi.org/10.1007/..

15

Automated formal reasoning about amazon web services (keyno..:

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,

Cook, Byron - p. 9 ff. , 2017

Link: https://dl.acm.org/doi/1..