web.bib

@inproceedings{Cock_11,
  author = {David Cock},
  title = {Exploitation as an inference problem},
  booktitle = {Proceedings of the 4th ACM workshop on Security
                    and artificial intelligence},
  series = {AISec '11},
  year = {2011},
  isbn = {978-1-4503-1003-1},
  location = {Chicago, Illinois, USA},
  pages = {105--106},
  numpages = {2},
  doi = {http://doi.acm.org/10.1145/2046684.2046702},
  acmid = {2046702},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {bayesian networks, side channels},
  format = {pdf},
  url = {http://www.cse.unsw.edu.au/~davec/Cock_11.pdf}
}

@inproceedings{Cock_10,
  publisher = {USENIX},
  author = {David Cock},
  title = {Lyrebird -- Assigning Meanings to Machines},
  booktitle = {Proceedings of the 5th Workshop on Systems
                            Software Verification},
  year = {2010},
  month = {Oct},
  editor = {Gerwin Klein and Ralf Huuck and Bastian Schlich},
  address = {Vancouver, Canada},
  pages = {1--9},
  format = {pdf},
  url = {http://www.cse.unsw.edu.au/~davec/Cock_10.pdf}
}

@article{Klein_EHACDEEKNSTW_10,
  publisher = {ACM},
  author = {Gerwin Klein and June Andronick and Kevin Elphinstone
                            and Gernot Heiser and David Cock and Philip Derrin
                            and Dhammika Elkaduwe and Kai Engelhardt
                            and Rafal Kolanski and Michael Norrish
                            and Thomas Sewell and Harvey Tuch
                            and Simon Winwood},
  journal = {Communications of the ACM},
  title = {{seL4}: Formal Verification of an Operating System
                            Kernel},
  number = {6},
  month = {Jun},
  volume = {53},
  year = {2010},
  pages = {107--115},
  format = {pdf},
  url = {http://www.ertos.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_10.pdf}
}

@inproceedings{Klein_EHACDEEKNSTW_09,
  publisher = {ACM},
  author = {Gerwin Klein and Kevin Elphinstone and Gernot Heiser
                            and June Andronick and David Cock and Philip
                        Derrin and Dhammika Elkaduwe and Kai Engelhardt
                            and Rafal Kolanski and Michael Norrish
                            and Thomas Sewell and Harvey Tuch
                            and Simon Winwood},
  title = {{seL4}: Formal Verification of an {OS} Kernel},
  booktitle = {Proceedings of the 22nd ACM Symposium on Operating
                            Systems Principles},
  address = {Big Sky, MT, USA},
  year = {2009},
  month = {Oct},
  video = {http://www.sigops.org/sosp/sosp09/videos/15_gerwin_klein.mov},
  pages = {207--220},
  format = {pdf},
  url = {http://www.cse.unsw.edu.au/~davec/Klein_EHACDEEKNSTW_09.pdf}
}

@inproceedings{Winwood_KSACN_09,
  publisher = {Springer-Verlag},
  author = {Simon Winwood and Gerwin Klein and Thomas Sewell
                            and June Andronick and David Cock
                            and Michael Norrish},
  title = {Mind the Gap: A Verification Framework for
                            Low-Level {C}},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proceedings of the 22nd International Conference
                            on Theorem Proving in Higher Order Logics},
  year = {2009},
  month = {Aug},
  volume = {5674},
  editor = {Stefan Berghofer and Tobias Nipkow
                            and Christian Urban and Makarius Wenzel},
  address = {Munich, Germany},
  pages = {500--515},
  format = {pdf},
  url = {http://www.cse.unsw.edu.au/~davec/Winwood_KSACN_09.pdf}
}

@inproceedings{Cock_08,
  author = {David Cock},
  series = {{CEUR} Workshop Proceedings},
  booktitle = {Proceedings of the 5th International Verification
                        Workshop},
  title = {Bitfields and Tagged Unions in {C}:
                            Verification through Automatic Generation},
  month = {Aug},
  volume = {372},
  editor = {Bernhard Beckert and Gerwin Klein},
  year = {2008},
  pages = {44--55},
  address = {Sydney, Australia},
  format = {pdf},
  url = {http://www.cse.unsw.edu.au/~davec/Cock_08.pdf}
}

@inproceedings{Cock_KS_08,
  publisher = {Springer-Verlag},
  author = {David Cock and Gerwin Klein and Thomas Sewell},
  title = {Secure Microkernels, State Monads
                            and Scalable Refinement},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proceedings of the 21st International Conference
                            on Theorem Proving in Higher Order Logics},
  year = {2008},
  month = {Aug},
  volume = {5170},
  editor = {Otmane Ait Mohamed and C\'{e}sar Mu{\~{n}}oz
                            and Sofi\`{e}ne Tahar},
  address = {Montreal, Canada},
  pages = {167--182},
  format = {pdf},
  url = {http://www.cse.unsw.edu.au/~davec/Cock_KS_08.pdf}
}

@inproceedings{Derrin_EKCC_06,
  author = {Philip Derrin and Kevin Elphinstone and Gerwin Klein
                            and David Cock and Manuel M. T. Chakravarty},
  booktitle = {Proceedings of the  ACM SIGPLAN Haskell Workshop},
  title = {Running the Manual: An Approach to High-Assurance
                            Microkernel Development},
  month = {Sep},
  year = {2006},
  address = {Portland, OR, USA},
  format = {pdf},
  url = {http://www.ertos.nicta.com.au/publications/papers/Derrin_EKCC_06.pdf}
}

@misc{UGradThesis,
  author = {David Cock},
  title = {The Weyl Algebras},
  year = {2004},
  school = {UNSW},
  format = {pdf},
  url = {http://www.cse.unsw.edu.au/~davec/weyl_algebras.pdf}
}

This file was generated by bibtex2html 1.96.