@inproceedings{Andronick_N_08, address = {Fortaleza, Ceara, Brazil}, author = {June Andronick and Quang-Huy Nguyen}, booktitle = {Proceedings of the 23rd Proceedings of the ACM Symposium on Applied Computing}, month = mar, pages = {352--359}, paperUrl = {https://trustworthy.systems/publications/papers/Andronick_N_08.pdf}, publisher = {ACM}, title = {{Certifying an Embedded Remote Method Invocation Protocol}}, year = {2008} }