Skip to main content

Ed Pierzchalski
Proof Engineer

Research Interests

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

Contact Details

More contact information is available at the Contact page.

Photo of Ed Pierzchalski




NICTA Papers


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


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.