Edward Pierzchalski

According to our database, Edward Pierzchalski authored at least 4 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Compositional Security-Preserving Refinement for Concurrent Imperative Programs.

Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah

Arch. Formal Proofs, 2016

A Dependent Security Type System for Concurrent Imperative Programs.

Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah

Arch. Formal Proofs, 2016

Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference.

Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution).

Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015