BibTeX Export

@inproceedings{Authenticus:P-008-5BS,
	title = {{Certifying execution time}},
	author = {V Rodrigues and JP Pedroso and M Florido and SM De Sousa},
	booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	doi = {10.1007/978-3-642-32495-6_7},
	pages = {108-125},
	publisher = {Springer},
	type = {Proceedings Paper},
	volume = {7177 LNCS},
	year = {2012}
}