Hanna Lachnitt is an author at Stanford University specializing in data security, hardware security, and system software.
Top concepts
EngineeringCryptographyData SecurityFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisSoftware Security
Publications per year
2020–2023
3
3
Axiomatic hardware-software contracts for security
Nicholas Mosier, Hanna Lachnitt, Hamed Nemati et al. · 2022 · 26 citations · Full text
Engineering, Information Security, Axiomatic Hardware-software Contracts +18
Certified Quantum Computation in Isabelle/HOL
Anthony Bordg, Hanna Lachnitt, Yijun He · Journal of Automated Reasoning · 2020 · 23 citations · Full text
Generating and Exploiting Automated Reasoning Proof Certificates
Haniel Barbosa, Clark Barrett, Byron Cook et al. · Communications of the ACM · 2023 · 13 citations
Rows per page
1–3 of 3