Concepedia

Elizabeth I. Leonard

EI

Statistics

Publications

5

Citations

211

H-Index

5

Active since

2004

Affiliations

United States Naval Research Laboratory(Current)

Elizabeth I. Leonard is an author at United States Naval Research Laboratory specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsSystem SoftwareSoftware AnalysisFormal VerificationVerificationData SecurityProgram AnalysisSoftware Security

Publications per year

2004–2014

5

Publications

5

Applying Formal Methods to a Certifiably Secure Software System

Constance Heitmeyer, Myla Archer, Elizabeth I. Leonard et al. · IEEE Transactions on Software Engineering · 2008 · 82 citations

Engineering, Information Security, Verification +20

Formal specification and verification of data separation in a separation kernel for an embedded system

Constance Heitmeyer, Myla Archer, Elizabeth I. Leonard et al. · 2006 · 81 citations

Data Separation, Engineering, Information Security +22

Generating optimized code from SCR specifications

Tom Rothamel, Yanhong A. Liu, Constance Heitmeyer et al. · 2006 · 17 citations

Engineering, Compiler Technology, Software Engineering +21

Analyzing security-enhanced Linux policy specifications

Myla Archer, Elizabeth I. Leonard, Matteo Pradella · 2004 · 16 citations

Engineering, Information Security, Software Engineering +18

Building high assurance human-centric decision systems

Constance Heitmeyer, Marc Pickett, Elizabeth I. Leonard et al. · Automated Software Engineering · 2014 · 15 citations

Artificial Intelligence, Engineering, Automation +12

1–5 of 5