Author

Carsten Varming

Observed name: C. Varming

Institution: Amazon (United States)

Observed institutions: Amazon (United States), Carnegie Mellon University, IT University of Copenhagen

OpenAlex ID: A5090965738

Semantic-based Automated Reasoning for AWS Access Policies using SMT

2018 · John Backes, Pauline Bolignano, et al. · Formal Methods in Computer-Aided Design · 135

PDF

Reachability Analysis for AWS-Based Networks

2019 · John Backes, Sam Bayless, et al. · Lecture notes in computer science · 66

PDF

Some Domain Theory and Denotational Semantics in Coq

2009 · Nick Benton, Andrew Kennedy, et al. · Lecture notes in computer science · 64

Block public access: trust safety verification of access control policies

2020 · Malik Bouchet, Byron Cook, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 35

PDF

One-Click Formal Methods

2019 · John Backes, Pauline Bolignano, et al. · IEEE Software · 30

Stratified Abstraction of Access Control Policies

2020 · John Backes, Ulises Berrueco, et al. · Lecture notes in computer science · 19

PDF

Higher-Order Separation Logic in Isabelle/HOLCF

2008 · Carsten Varming, Lars Birkedal · Electronic Notes in Theoretical Computer Science · 19

PDF

Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages

2010 · Nick Benton, Lars Birkedal, et al. · 9

LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic

2006 · Lars Birkedal, Rasmus Ejlers Møgelberg, et al. · IT University Of Copenhagen (IT University of Copenhagen) · 2

Some Domain Theory and Denotational Semantics in Coq

2009 · Nick Benton, Andrew Kennedy, et al.

Works count: 16

Citation count: 379

H-index: 8

I10-index: 7