2257 search results - page 389 / 452 » Secure program partitioning |
SP
2010
IEEE
14 years 22 days ago
2010
IEEE
— Virtualization is being widely adopted in today’s computing systems. Its unique security advantages in isolating and introspecting commodity OSes as virtual machines (VMs) ha...
SIGOPSE
1994
ACM
14 years 11 days ago
1994
ACM
Integrated circuit cards or smart cards are now well-known. Applications such as electronic purses (cash units stored in cards), subscriber identification cards used in cellular te...
ESORICS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
NIPS
2008
13 years 10 months ago
2008
CAPTCHAs are computer-generated tests that humans can pass but current computer systems cannot. CAPTCHAs provide a method for automatically distinguishing a human from a computer ...
CCS
2011
ACM
12 years 8 months ago
2011
ACM
We empirically analyzed sanitizer use in a shipping web application with over 400,000 lines of code and over 23,244 methods, the largest empirical analysis of sanitizer use of whi...