- João Pedro Craveiro
...matics Engineering from the University of Lisbon, Portugal, and is a Ph.D. candidate in Informatics at the same institution, performing his research work at LaS
1 KB (196 words) - 20:35, 14 December 2014
- Publication:Diniz05dasia
...n this paper it is proposed that the ARINC 653 avionics standard is a good candidate to take the role of the standard operating system interface building block
891 B (129 words) - 08:47, 2 April 2017
- Publication:WAP-WWW2014
...ss false positives. After an initial step that uses taint analysis to flag candidate vulnerabilities, our approach uses data mining to predict the existence of
2 KB (246 words) - 08:08, 5 June 2016
- Publication:IEEETR15
false positives. We combine taint analysis, which finds candidate
2 KB (261 words) - 07:47, 5 June 2016