1599 search results - page 155 / 320 » Program Analysis for Security and Privacy |
137
click to vote
NORDSEC
2009
Springer
15 years 8 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...
152
click to vote
MICRO
2009
IEEE
15 years 11 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...
132
Voted
ISI
2003
Springer
15 years 9 months 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...
126
click to vote
ESORICS
2007
Springer
15 years 10 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...
133
click to vote
CCS
2010
ACM
15 years 3 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...