DOI,IST REx ID,Title of publication
10.1007/978-3-540-31984-9_2,4579,Checking memory safety with BLAST