2043 search results - page 164 / 409 » Reasoning About Security Models |
100
click to vote
NSPW
2003
ACM
15 years 6 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
116
Voted
IADIS
2004
15 years 2 months ago
2004
Nowadays, wearable devices, such as mobile phones, PDAs, etc. gain widespread popularity for communication and data exchange. Consequently, several approaches investigate the prob...
216
Voted
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
109
Voted
NFM
2011
14 years 8 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
109
Voted
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...