1599 search results - page 53 / 320 » Program Analysis for Security and Privacy |
137
click to vote
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
109
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
107
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
100
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
We examine some known attacks on the PIN verification framework, based on weaknesses of the security API for the tamperresistant Hardware Security Modules used in the network. We s...
100
click to vote
HOST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Outsourcing the fabrication of semiconductor devices to merchant foundries raises some issues concerning the IP protection of the design. Active hardware metering schemes try to...