364 search results - page 32 / 73 » Privacy Requirements Implemented with a JavaCard |
110
click to vote
CCS
2009
ACM
15 years 9 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
110
Voted
IEEEARES
2007
IEEE
15 years 8 months ago
2007
IEEE
Identity theft through phishing attacks has become a major concern for Internet users. Typically, phishing attacks aim at luring the user to a faked web site to disclose personal ...
126
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
As computing models change, so too do the demands on storage. Distributed and virtualized systems introduce new vulnerabilities, assumptions, and performance requirements on disks...
104
Voted
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Instruction Set Randomization (ISR) has been proposed as a form of defense against binary code injection into an executing program. One proof-of-concept implementation is Randomiz...
131
click to vote
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...