Edward Pierzchalski

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 4

Top Topics

Query Refinement

Signature Verification

Imperative Programs

Concurrent Execution

Top Venues

Arch. Formal Proofs

Publications

Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
Compositional Security-Preserving Refinement for Concurrent Imperative Programs. Arch. Formal Proofs 2016 (2016)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
A Dependent Security Type System for Concurrent Imperative Programs. Arch. Formal Proofs 2016 (2016)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. CSF (2016)
Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth
Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). TACAS (2015)