1599 search results - page 155 / 320 » Program Analysis for Security and Privacy |
185
click to vote
NORDSEC
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia...
204
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent micro-architectural research has proposed various schemes to enhance processors with additional tags to track various properties of a program. Such a technique, which is us...
173
click to vote
ISI
2003
Springer
16 years 2 days ago
2003
Springer
Intelligence analysts face the need for immediate, up-to-date information about individuals of interest. While biographies can be written and stored in text databases, we argue tha...
179
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
193
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Web applications rely heavily on client-side computation to examine and validate form inputs that are supplied by a user (e.g., “credit card expiration date must be valid”). T...