# June Andronick

Principal Researcher; Conjoint Senior Lecturer

Sign in to view more

June leads the Trustworthy Systems research group. Her main research interest is in formal verification and certification of software systems, more precisely in formal proof of correctness and security properties of programs using interactive theorem proving, as well as concurrency reasoning, targeting interruptible and multicore systems.

## Papers51 papers

seL4 in Australia: from research to real-world trustworthy systems

Successes in Deployed Verified Software (and Insights on Key Social Factors).

Formally verified software in the real world.

A Formal Approach to Constructing Secure Air Vehicle Software.

COMPLX: A Verification Framework for Concurrent Imperative Programs.

Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency.

An empirical research agenda for understanding formal methods productivity.

Empirical study towards a leading indicator for cost of formal software verification

Automated verification of RPC stub code

Comprehensive formal verification of an OS microkernel

Productivity for proof engineering

Mathematically verified software kernels: Raising the bar for high assurance implementations

**2**|Bibtex

**2**|Bibtex

Towards a verified component platform

Bridging the Gap: Automatic Verified Abstraction of C.

Simulation modeling of a large-scale formal verification process

Large-scale formal verification in practice: a process perspective

Simulation modeling of a large-scale formal verification process

Towards proving security in the presence of large untrusted components

The road to trustworthy systems

From a proven correct microkernel to trustworthy large systems

Certifying an embedded remote method invocation protocol

Formally Proved Anti-tearing Properties of Embedded C Code

New Results - Proof of imperative and object-oriented programs

Formal verification of security properties of smart card embedded source code

Using Coq to Verify Java Card Applet Isolation Properties