Skip to main content

Ed Pierzchalski

Ed Pierzchalski
Proof Engineer

Research Interests

Ed is a proof engineer working on extending the seL4 proof to more architectures.

Contact Details

Email:Ed.Pierzchalski@data61.csiro.au

More contact information is available at the Contact page.

Photo of Ed Pierzchalski

Projects

Past

NICTA Papers

2016

Abstract PDF Toby Murray, Robert Sison, Ed Pierzchalski and Christine Rizkallah
Compositional verification and refinement of concurrent value-dependent noninterference
IEEE Computer Security Foundations Symposium, pp. 417–431, Lisbon, Portugal, June, 2016

2015

Abstract PDF Franck Cassez, Takashi Matsuoka, Ed Pierzchalski and Nathan Smyth
Perentie: Modular trace refinement and selective value tracking
SV-COMP-2015, pp. 439–442, London, UK, April, 2015

Served by Apache on Linux on seL4.