Articles with public access mandates - Daniel MatichukLearn more
Available somewhere: 7
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
Mandates: Australian Research Council
Eisbach: A proof method language for Isabelle
D Matichuk, T Murray, M Wenzel
Journal of Automated Reasoning 56, 261-282, 2016
Mandates: Australian Research Council
Mining the archive of formal proofs
JC Blanchette, M Haslbeck, D Matichuk, T Nipkow
International Conference on Intelligent Computer Mathematics, 3-17, 2015
Mandates: Australian Research Council, German Research Foundation
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
Mandates: Australian Research Council
An Isabelle proof method language
D Matichuk, M Wenzel, T Murray
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014
Mandates: Australian Research Council
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
Mandates: Australian Research Council
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
Mandates: US Department of Defense
Publication and funding information is determined automatically by a computer program