Concepedia

Liana Hadarean

LH

Statistics

Publications

4

Citations

113

H-Index

4

Active since

2012

Affiliations

New York University(Current)

Amazon (United States)

University of Iowa

Liana Hadarean is an author at New York University specializing in software analysis, formal methods, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationData SecurityLawTrust

Publications per year

2012–2021

4

Publications

4

SMT proof checking using a logical framework

Aaron Stump, Duckki Oe, Andrew Reynolds et al. · Formal Methods in System Design · 2012 · 57 citations

Engineering, Automated Reasoning, Verification +9

Block public access: trust safety verification of access control policies

Malik Bouchet, Byron Cook, Bryant Cutler et al. · 2020 · 22 citations · Full text

Engineering, Information Security, Verification +25

Lazy proofs for DPLL(T)-based SMT solvers

Guy Katz, Clark Barrett, Cesare Tinelli et al. · 2016 · 21 citations

Engineering, Verification, Computer-aided Verification +16

RAPID: checking API usage for the cloud in the cloud

Michael Emmi, Liana Hadarean, Ranjit Jhala et al. · 2021 · 13 citations

1–4 of 4