303 search results - page 50 / 61 » Typing Safe Deallocation |
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we examine the problem of entering sensitive data, such as passwords, from an untrusted machine. By untrusted we mean that it is suspected to be infected with spywar...
SOUPS
2006
ACM
14 years 1 months ago
2006
ACM
We introduce a new anti-phishing solution, the Web Wallet. The Web Wallet is a browser sidebar which users can use to submit their sensitive information online. It detects phishin...
FASE
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
LCPC
2005
Springer
14 years 27 days ago
2005
Springer
Titanium is an explicitly parallel dialect of JavaTM designed for high-performance scientific programming. It offers objectorientation, strong typing, and safe memory management...
ISER
2004
Springer
14 years 23 days ago
2004
Springer
This paper presents a new four-limbed robot, LEMUR IIb (Legged Excursion Mechanical Utility Rover), that can free-climb vertical rock surfaces. This robot was designed to have a nu...