@Inproceedings{erkok-matthews-csiwwr-09, author = "Levent {Erk\"{o}k} and John Matthews", title = {High assurance programming in {C}ryptol}, booktitle = {CSIIRW '09: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research}, month = apr, year = {2009}, location = {Oak Ridge, Tennessee}, publisher = {ACM}, address = {New York, NY, USA}, }