Daniel Matichuk
Daniel Matichuk
PhD Graduate, UNSW
Verified email at unswalumni.com
Title
Cited by
Cited by
Year
seL4: from general purpose to a proof of information flow enforcement
T Murray, D Matichuk, M Brassil, P Gammie, T Bourke, S Seefried, ...
2013 IEEE Symposium on Security and Privacy, 415-429, 2013
2272013
Noninterference for operating system kernels
T Murray, D Matichuk, M Brassil, P Gammie, G Klein
International Conference on Certified Programs and Proofs, 126-142, 2012
642012
Eisbach: A proof method language for Isabelle
D Matichuk, T Murray, M Wenzel
Journal of Automated Reasoning 56 (3), 261-282, 2016
472016
Mining the archive of formal proofs
JC Blanchette, M Haslbeck, D Matichuk, T Nipkow
International Conference on Intelligent Computer Mathematics, 3-17, 2015
452015
An Isabelle proof method language
D Matichuk, M Wenzel, T Murray
International Conference on Interactive Theorem Proving, 390-405, 2014
282014
Empirical study towards a leading indicator for cost of formal software verification
D Matichuk, T Murray, J Andronick, R Jeffery, G Klein, M Staples
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
262015
Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
J Andronick, C Lewis, D Matichuk, C Morgan, C Rizkallah
International Conference on Interactive Theorem Proving, 52-68, 2016
202016
Extensible specifications for automatic re-use of specifications and proofs
D Matichuk, T Murray
International Conference on Software Engineering and Formal Methods, 333-341, 2012
102012
Provably trustworthy systems
G Klein, J Andronick, G Keller, D Matichuk, T Murray, L O'Connor
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
92017
The Eisbach user manual
D Matichuk, M Wenzel, T Murray
Isabelle Community 263, 2015
62015
Finite Machine Word Library
J Beeren, M Fernandez, X Gao, G Klein, R Kolanski, J Lim, C Lewis, ...
Archive of Formal Proofs, 2016
42016
Modular verification scopes via export sets and translucent exports
KRM Leino, D Matichuk
Principled Software Development, 185-202, 2018
32018
Automation for Proof Engineering: Machine-Checked Proofs at Scale
D Matichuk
University of New South Wales, 2018
2018
Automatic Function Annotations for Hoare Logic
D Matichuk
arXiv preprint arXiv:1211.6188, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–14