1599 search results - page 69 / 320 » Program Analysis for Security and Privacy |
117
Voted
FOSAD
2009
Springer
15 years 7 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
119
Voted
ACSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
The blooming e-commerce is demanding better methods to protect online users' privacy, especially the credit card information that is widely used in online shopping. Holding a...
145
Voted
OOPSLA
1990
Springer
15 years 7 months ago
1990
Springer
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of ...
121
Voted
TRUST
2010
Springer
15 years 8 months ago
2010
Springer
Academic discourse on trust is fractured along disciplinary lines. Security theorists routinely use a definition of trust which, apparently, has little in common with any of the d...
142
click to vote
CSFW
1998
IEEE
15 years 8 months ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...